Formal analysis of pervasive computing systems

• Main Authors: LIU, Yan, ZHANG, Xian, DONG, Jin Song, LIU, Yang, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2012
• Subjects: Pervasive Computing; Formal Modeling; System Verification; Databases and Information Systems; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/6065; https://ink.library.smu.edu.sg/context/sis_research/article/7068/viewcontent/ICECCS_2012.dvi.pdf
• Institution: Singapore Management University

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 nontrivial. In this work, we propose to use formal methods for analyzing pervasiv...