Issue No.04 - July-Aug. (2012 vol.38)
A. Coronato , Inst. of High Performance Comput. & Networking (ICAR), Naples, Italy
G. De Pietro , Inst. of High Performance Comput. & Networking (ICAR), Naples, Italy
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2011.67
Ambient Intelligence technologies have not yet been widely adopted in safety critical scenarios. This principally has been due to fact that acceptable degrees of dependability have not been reached for the applications that rely on such technologies. However, the new critical application domains, like Ambient Assisted Living and Smart Hospitals, which are currently emerging, are increasing the need for methodologies and tools that can improve the reliability of the final systems. This paper presents a middleware architecture for safety critical Ambient Intelligence applications which provides the developer with services for runtime verification. It is now possible to continuously monitor and check the running system against correctness properties defined at design time. Moreover, a visual tool which allows the formal design of several of the characteristics of an Ambient Intelligence application and the automatic generation of setting up parameters and code for the middleware infrastructure is also presented.
ubiquitous computing, middleware, safety-critical software, software prototyping, pervasive computing, rapid prototyping, ambient intelligence applications, safety critical scenarios, new critical application domains, ambient assisted living, smart hospitals, middleware architecture, runtime verification, visual tool, formal design, automatic generation, Calculus, Runtime, Middleware, Ambient intelligence, Monitoring, Biomembranes, Mobile communication, designing tools, Safety critical ambient intelligence systems, middleware infrastructures
A. Coronato, G. De Pietro, "Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications", IEEE Transactions on Software Engineering, vol.38, no. 4, pp. 975-991, July-Aug. 2012, doi:10.1109/TSE.2011.67