文章基本信息

标题：Tightly coupled verification of pervasive systems
本地全文：下载
作者：Muffy Calder ; Phil Gray ; Chris Unsworth 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2010
卷号：22
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：We consider the problem of verifying context-aware, pervasive, interactive systems when the interaction involves both system configuration and system use. Verification of configurable systems is more tightly coupled to design when the verification process involves reasoning about configurable formal models. The approach is illustrated with a case study: using the model checker SPIN and a SAT solver to reason about a configurable model of an activity monitor from the MATCH homecare infrastructure. Parts of the models are generated automatically from actual log files.