A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Towards the Verification of Pervasive Systems
2010
Electronic Communications of the EASST
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
doi:10.14279/tuj.eceasst.22.315
dblp:journals/eceasst/ArapinisCDFGKMRRSUY09
fatcat:jbe7meuvt5eu7drjoqcnszbqt4