Please use this identifier to cite or link to this item: https://doi.org/10.1109/ICECCS.2012.19
Title: Formal analysis of pervasive computing systems
Authors: Liu, Y.
Zhang, X.
Dong, J.S. 
Liu, Y. 
Sun, J.
Biswas, J.
Mokhtari, M.
Keywords: Formal Modeling
Pervasive Computing
System Verification
Issue Date: 2012
Source: Liu, Y., Zhang, X., Dong, J.S., Liu, Y., Sun, J., Biswas, J., Mokhtari, M. (2012). Formal analysis of pervasive computing systems. Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012 : 169-178. ScholarBank@NUS Repository. https://doi.org/10.1109/ICECCS.2012.19
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. © 2012 C.E.S.A.M.E.S.
Source Title: Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012
URI: http://scholarbank.nus.edu.sg/handle/10635/43168
ISBN: 9782954181004
DOI: 10.1109/ICECCS.2012.19
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

9
checked on Dec 14, 2017

Page view(s)

54
checked on Dec 10, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.