http://www.cnr.it/ontology/cnr/individuo/prodotto/ID204083

Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications (Articolo in rivista)

Type

Label

Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications (Articolo in rivista) (literal)

Anno

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

Alternative label

Antonio Coronato, Giuseppe De Pietro (2011)
Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications
in IEEE transactions on software engineering
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

Rivista

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

Titolo

Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications (literal)

Abstract

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. (literal)

Prodotto di