Verifying Critical Cyber-Physical Systems After Deployment

Colin O'Halloran
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
more » ... tem requirements, when they become known, by performing an automated refinement check of its composed components abstracted from the actual implementation.
doi:10.14279/tuj.eceasst.72.1027 dblp:journals/eceasst/OHalloran15 fatcat:seqrunodxvdebcf3o63il2i5ri