A roadmap to pervasive systems verification

被引：2
作者：
Konur, Savas [1 ]
Fisher, Michael [2 ]
机构：
[1] Univ Sheffield Regent Court, Dept Comp Sci, Sheffield S1 4DP, S Yorkshire, England
[2] Univ Liverpool, Dept Comp Sci, Liverpool L69 3BX, Merseyside, England
来源：
KNOWLEDGE ENGINEERING REVIEW | 2015年 / 30卷 / 03期
基金：
英国工程与自然科学研究理事会;
关键词：
MODEL CHECKING;
D O I：
10.1017/S0269888914000228
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The complexity of pervasive systems arises from the many different aspects that such systems possess. A typical pervasive system may be autonomous, distributed, concurrent and context based, and may involve humans and robotic devices working together. If we wish to formally verify the behaviour of such systems, the formal methods for pervasive systems will surely also be complex. In this paper, we move towards being able to formally verify pervasive systems and outline our approach wherein we distinguish four distinct dimensions within pervasive system behaviour and utilize different, but appropriate, formal techniques for verifying each one.
引用
收藏
页码：324 / 341
页数：18
相关论文
共 58 条
[1]  
[Anonymous], 2003, P 7 INT S ART INT
[2]  
[Anonymous], 2002, An Introduction to MultiAgent Systems
[3]  
[Anonymous], 2003, Studies in logic and the foundations of mathematics
[4]  
[Anonymous], 1991, P INT C PRINC KNOWL
[5]  
[Anonymous], 2004, WORKSH ADV CONT MOD
[6]  
Arapinis M., 2009, FORMAL METHODS INTER, V22, P1
[7]   Introduction to Special Section on Formal Methods in Pervasive Computing [J].
Bakhouya, Mohamed ;
Campbell, Roy ;
Coronato, Antonio ;
De Pietro, Giuseppe ;
Ranganathan, Anand .
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2012, 7 (01)
[8]  
BIRKEDAL L, 2006, P INT WORKSH COMB TH, P653
[9]  
Bordini Rafael H., 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, P69, DOI 10.1109/ASE.2008.17
[10]  
Bordini R.H., 2009, Multi-Agent Programming: Languages, Tools and Applications
123456