Towards formal modelling and verification of pervasive computing systems

• Main Authors: LIU, Yan, ZHANG, Xian, LIU, Yang, DONG, Jin Song, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2014
• Subjects: Model Check; Linear Temporal Logic; Liveness Property; Ambient Assist Live; Linear Temporal Logic Formula; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4981; https://ink.library.smu.edu.sg/context/sis_research/article/5984/viewcontent/10.1007_978_3_662_44871_7.pdf
• Institution: Singapore Management University

Smart systems equipped with emerging pervasive computing technologies enable people with limitations to live in their homes independently. However, lack of guarantees for correctness prevent such system to be widely used. Analysing the system with regard to correctness requirements is a challenging...