Towards the verification of pervasive systems

Arapinis, M. et al. (2009) Towards the verification of pervasive systems. Electronic Communications of the EASST, 22,

Full text not currently available from Enlighten.

Publisher's URL: http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/33

Abstract

Pervasive systems, that is roughly speaking systems that can interact with their environment, are increasingly common. In such systems, there are many dimensions to assess: security and reliability, safety and liveness, real-time response, etc. So far modelling and formalizing attempts have been very piecemeal approaches. This paper describes our analysis of a pervasive case study (MATCH, a homecare application) and our proposal for formal (particularly verification) approaches. Our goal is to see to what extent current state of the art formal methods are capable of coping with the verification demand introduced by pervasive systems, and to point out their limitations.

Item Type:Articles
Keywords:Pervasive systems, modelling, formalizing, verification
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy and Gray, Mr Philip and Unsworth, Dr Chris and Miller, Dr Alice
Authors: Arapinis, M., Calder, M., Denis, L., Fisher, M., Gray, P., Konur, S., Miller, A., Ritter, E., Ryan, M., Schewe, S., Unsworth, C., and Yasmin, R.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Electronic Communications of the EASST
Publisher:European Association of Software Science and Technology (E A S S T)
ISSN:1863-2122

University Staff: Request a correction | Enlighten Editors: Update this record