Key points are not available for this paper at this time.
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.
Building similarity graph...
Analyzing shared references across papers
Loading...
Antonio Coronato
Indian Council of Agricultural Research
Giuseppe De Pietro
Institute for High Performance Computing and Networking
IEEE Transactions on Software Engineering
National Research Council
Institute for High Performance Computing and Networking
Building similarity graph...
Analyzing shared references across papers
Loading...
Coronato et al. (Wed,) studied this question.
synapsesocial.com/papers/6a18445f3275b64d0e6fb77d — DOI: https://doi.org/10.1109/tse.2011.67
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: