Thumbnail Image
Publication

A Roadmap to Pervasive Systems Verification

Konur, Savas
; 
Fisher, M.
Publication Date
2015-05-01
End of Embargo
Supervisor
Keywords
Pervasive systems, Formal verification, Context-based systems
Rights
© 2015 Cambridge University Press. Reproduced with the permission of the publisher and in accordance with the publisher's self-archiving policy.
cb
Peer-Reviewed
Yes
Open Access status
openAccess
Accepted for publication
Institution
Department
Awarded
Embargo end date
Collections
Engineering and Digital Technology Publications
Show all metadata
Files
Suppressed - first copy sent
Adobe PDF, 895.85 KB
Thumbnail Image
ker15 author's copy.pdf
Adobe PDF, 851.76 KB
Additional title
Abstract
The complexity of pervasive systems arises from the many different aspects that such systems possess. A typical pervasive system may be autonomous, distributed, concurrent and context-based, and may involve humans and robotic devices working together. If we wish to formally verify the behaviour of such systems, the formal methods for pervasive systems will surely also be complex. In this paper, we move towards being able to formally verify pervasive systems and outline our approach wherein we distinguish four distinct dimensions within pervasive system behaviour and utilise different, but appropriate, formal techniques for verifying each one.
URI
http://hdl.handle.net/10454/8709
Version
Accepted manuscript
Citation
Konur S and Fisher M (2015) A Roadmap to Pervasive Systems Verification. The Knowledge Engineering Review, 30 (03): 324-341.
Link to publisher’s version
Link to published version
Link to Version of Record
https://doi.org/10.1017/S0269888914000228
Type
Article
Qualification name
Notes