论文信息 - Formal Design of Ambient Intelligence Applications

Formal Design of Ambient Intelligence Applications

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.

Giuseppe De Pietro | Antonio Coronato | G. Pietro | A. Coronato | G. De Pietro

[1] Roy H. Campbell,et al. Provably Correct Pervasive Computing Environments , 2008, 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom).

[2] Dino Mandrioli,et al. Formal Methods for Real-Time Computing , 1996 .

[3] Giuseppe De Pietro,et al. Formal specification of wireless and pervasive healthcare applications , 2010, TECS.

[4] Rance Cleaveland,et al. Using formal specifications to support testing , 2009, CSUR.

[5] Corrado Priami,et al. Model Checking Biological Systems Described Using Ambient Calculus , 2004, CMSB.

[6] Goutam Kumar Saha,et al. Software fault avoidance issues , 2006, UBIQ.

[7] Robin Milner. Lecture notes on Bigraphs : a Model for Mobile Agents , 2009 .

[8] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.

[9] Supratik Mukhopadhyay,et al. Model checking mobile ambients , 2003, Theor. Comput. Sci..

[10] Nicola Guarino,et al. Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[11] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[12] Petru Eles,et al. Formal verification of component-based designs , 2007, Des. Autom. Embed. Syst..