The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (2010 vol.43)
pp: 60-68
Antonio Coronato , ICAR-CNR
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.
INDEX TERMS
Ambient intelligence, Formal methods, Designing process and tools, AmI technologies
CITATION
Antonio Coronato, "Formal Design of Ambient Intelligence Applications", Computer, vol.43, no. 12, pp. 60-68, December 2010, doi:10.1109/MC.2010.335
REFERENCES
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.
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool