Towards formal modelling and verification of pervasive computing systems

• المؤلفون الرئيسيون: LIU, Yan, ZHANG, Xian, LIU, Yang, DONG, Jin Song, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2014
• الموضوعات: Model Check; Linear Temporal Logic; Liveness Property; Ambient Assist Live; Linear Temporal Logic Formula; Software Engineering
• الوصول للمادة أونلاين: 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

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...