Title :
Formal Design of Ambient Intelligence Applications
Author :
Coronato, Antonio ; De Pietro, G.
Author_Institution :
CNR, ICAR, Naples, Italy
Abstract :
The design of ambient intelligence applications in critical systems requires rigorous software-engineering-oriented approaches. Drawing on practical experience, the authors propose a set of formal tools and a specification process for AmI design activities and artifacts.
Keywords :
formal specification; software engineering; Ami design activity; ambient intelligence application; critical system; formal design; formal tool; software engineering oriented approach; specification process; Ambient intelligence; Mobile communication; Nuclear medicine; Ontologies; Radiofrequency identification; Real time systems; Testing; AmI technologies; Ambient intelligence; Designing process and tools; Formal methods;
DOI :
10.1109/MC.2010.335
