Abstract | ||
---|---|---|
Pervasive computing systems are heterogenous and complex as they usually involve human activities, various sensors and actuators as well as middleware for system controlling. Therefore, analyzing such systems is highly non-trivial. In this work, we propose to use formal methods for analyzing pervasive computing systems. Firstly, a formal modeling framework is proposed to cover main characteristics of pervasive computing systems (e.g., context-awareness, concurrent communications, layered architectures). Secondly, we identify the safety requirements (e.g., free of deadlock and conflicts etc.) and propose their specifications as safety and liveness properties. Finally, we demonstrate our ideas using a case study of a smart nursing home system. Experimental results show the effectiveness of our approach in exploring system behaviors and revealing system design flaws such as information inconsistency and conflicting reminder services. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/ICECCS.2012.19 | international conference on engineering of complex computer systems |
Keywords | Field | DocType |
System Verification,Pervasive Computing,formal modeling framework,conflicting reminder services,system behavior,pervasive computing system,system design flaws,pervasive computing systems,Formal Modeling,safety requirements,case study,liveness properties,ubiquitous computing,concurrent communication,revealing system design flaw,formal analysis,concurrent communications,actuators,smart nursing home system,safety properties,information inconsistency,middleware,sensors,safety requirement,human activities,conflicting reminder service,formal method,context-awareness,system behaviors,layered architectures,formal specification | Middleware,Computer science,Deadlock,Systems design,Real-time computing,Formal specification,Context-aware pervasive systems,Ubiquitous computing,Formal methods,Liveness | Conference |
ISBN | Citations | PageRank |
978-1-4673-2156-3 | 7 | 0.51 |
References | Authors | |
15 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yan Liu | 1 | 2551 | 189.16 |
Xian Zhang | 2 | 112 | 18.22 |
Jin Song Dong | 3 | 120 | 9.88 |
Yang Liu | 4 | 2194 | 188.81 |
Jun Sun | 5 | 1407 | 120.35 |
Jit Biswas | 6 | 344 | 48.04 |
Mounir Mokhtari | 7 | 401 | 54.38 |