A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Verifying Critical Cyber-Physical Systems After Deployment
2015
Electronic Communications of the EASST
Cyber-Physical Systems (CPS) are increasingly novel hardware and software compositions creating smart, autonomously acting devices, enabling efficient end-to-end workflows and new forms of user-machine interaction. The heterogeneous, evolving and distributed nature of CPS means that there is little chance of performing a top down development or anticipating all critical requirements such devices will need to satisfy individually and collectively. This paper describes an approach to verifying
doi:10.14279/tuj.eceasst.72.1027
dblp:journals/eceasst/OHalloran15
fatcat:seqrunodxvdebcf3o63il2i5ri