This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Formal Design of Ambient Intelligence Applications
December 2010 (vol. 43 no. 12)
pp. 60-68
Antonio Coronato, ICAR-CNR
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.

1. G.K. Saha, "Software Fault Avoidance Issues," Ubiquity, vol. 7, no. 46, 2006, article no. 5.
2. D. Karlsson, P. Eles, and Z. Peng, "Formal Verification of Component-Based Designs," Design Automation for Embedded Systems, vol. 11, no. 1, 2007, pp. 49-90.
3. A. Ranganathan and R.H. Campbell, "Provably Correct Pervasive Computing Environments," Proc. 2008 6th Ann. IEEE Int'l Conf. Pervasive Computing and Comm. (PerCom 08), IEEE CS Press, 2008, pp. 160-169.
4. N. Guarino, "Formal Ontology, Conceptual Analysis, and Knowledge Representation," Int'l J. Human-Computer Studies, vol. 43, nos. 5-6, 1995, pp. 625-640.
5. C. Heitmeyer and D. Mandrioli, Formal Methods for Real-Time Computing, John Wiley & Sons, 2004.
6. L. Cardelli and A.D. Gordon, "Mobile Ambients," Theoretical Computer Science, vol. 240, no. 1, 2000, pp. 177-213.
7. R. Milner, "Lecture Notes on Bigraphs: A Model for Mobile Agents," 2008; www.cl.cam.ac.uk/archive/rm135Bigraphs-Notes.pdf .
8. R.M. Hierons et al., "Using Formal Specifications to Support Testing," ACM Computing Surveys, vol. 41, no. 2, 2009, article no. 9.
9. W. Charatonik et al., "Model Checking Mobile Ambients," Theoretical Computer Science, vol. 308, nos. 1-3, 2003, pp. 277-331.
10. R. Mardare et al., "Model Checking Biological Systems Described Using Ambient Calculus," Computational Methods in Systems Biology: Int'l Conf. CMSB 2004, Revised Selected Papers, LNCS 3082, Springer, 2004, pp. 85-103.
11. E.M. Cimatti et al., "NuSMV 2: An OpenSource Tool for Symbolic Model Checking," Proc. 14th Int'l Conf. Computer Aided Verification (CAV 02), LNCS 2404, Springer, 2002, pp. 359-364.
12. A. Coronato and G. De Pietro, "Formal Specification of Wireless and Pervasive Healthcare Applications," ACM Trans. Embedded Computing Systems, vol. 10, no. 1, 2010, article no. 12.

Index Terms:
Ambient intelligence, Formal methods, Designing process and tools, AmI technologies
Citation:
Antonio Coronato, Giuseppe De Pietro, "Formal Design of Ambient Intelligence Applications," Computer, vol. 43, no. 12, pp. 60-68, Dec. 2010, doi:10.1109/MC.2010.335
Usage of this product signifies your acceptance of the Terms of Use.