Show simple item record

dc.contributor.authorKonur, Savas
dc.contributor.authorFisher, M.
dc.date.accessioned2016-07-27T11:41:33Z
dc.date.available2016-07-27T11:41:33Z
dc.date.issued2015-05-01
dc.identifier.citationKonur S and Fisher M (2015) A Roadmap to Pervasive Systems Verification. The Knowledge Engineering Review, 30 (03): 324-341.en_US
dc.identifier.urihttp://hdl.handle.net/10454/8709
dc.descriptionyesen_US
dc.description.abstractThe 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.en_US
dc.description.sponsorshipEPSRCen_US
dc.language.isoenen_US
dc.relation.isreferencedbyhttp://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9672878&fileId=S0269888914000228en_US
dc.rights© 2015 Cambridge University Press. Reproduced with the permission of the publisher and in accordance with the publisher's self-archiving policy.en_US
dc.subjectPervasive systems; Formal verification; Context-based systemsen_US
dc.titleA Roadmap to Pervasive Systems Verificationen_US
dc.status.refereedYesen_US
dc.typeArticleen_US
dc.type.versionAccepted Manuscripten_US


Item file(s)

Thumbnail
Name:
ker15.pdf
Size:
895.8Kb
Format:
PDF
Description:
Suppressed - first copy sent
Thumbnail
Name:
ker15 author's copy.pdf
Size:
851.7Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record