Formal Design of Ambient Intelligence Applications

被引：28

作者：

Coronato, Antonio ^{[1
,2
]}

De Pietro, Giuseppe ^{[1
]}

机构：

[1] ICAR CNR, Naples, Italy

[2] Italian Natl Res Council CNR, Inst High Performance Comp & Networking ICAR, Rome, Italy

来源：

COMPUTER | 2010年 / 43卷 / 12期

关键词：

Ambient intelligence; AmI technologies; Designing process and tools; Formal methods;

D O I：

10.1109/MC.2010.335

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：60 / 68

页数：9

共 12 条

[1] Mobile ambients [J].

Cardelli, L ;

Gordon, AD .

THEORETICAL COMPUTER SCIENCE, 2000, 240 (01) :177-213

[2] Model checking mobile ambients [J].

Charatonik, W ;

Dal Zilio, S ;

Gordon, AD ;

Mukhopadhyay, S ;

Talbot, JM .

THEORETICAL COMPUTER SCIENCE, 2003, 308 (1-3) :277-331

[3]

Cimatti A, 2002, LECT NOTES COMPUTER, P359, DOI DOI 10.1007/3-540-45657-0_29

[4] Formal Specification of Wireless and Pervasive Healthcare Applications [J].

Coronato, Antonio ;

De Pietro, Giuseppe .

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 10 (01)

[5] Formal ontology, conceptual analysis and knowledge representation [J].

Guarino, N .

INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1995, 43 (5-6) :625-640

[6]

HEITMEYER C, 2004, FORMAL METHODS REAL

[7] Using Formal Specifications to Support Testing [J].

Hierons, Robert M. ;

Bogdanov, Kirill ;

Bowen, Jonathan P. ;

Cleaveland, Rance ;

Derrick, John ;

Dick, Jeremy ;

Gheorghe, Marian ;

Harman, Mark ;

Kapoor, Kalpesh ;

Krause, Paul ;

Luettgen, Gerald ;

Simons, Anthony J. H. ;

Vilkomir, Sergiy ;

Woodward, Martin R. ;

Zedan, Hussein .

ACM COMPUTING SURVEYS, 2009, 41 (02)

[8] Formal verification of component-based designs [J].

Karlsson, Daniel ;

Eles, Petru ;

Peng, Zebo .

DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2007, 11 (01) :49-90

[9]

MARDARE R, 2004, LNCS, V3082, P85

[10]

MILNER R, 2008, LECT NOTES BIGRAPHS

← 1 2 →