Verifying critical cyber-physical systems after deployment

Journal article

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 system requirements, when they become known, by performing an automated refinement check of its composed components abstracted from the actual implementation. This work was sponsored by the Charles Stark Draper Laboratories under the DARPA HACMS project.

Authors: O'Halloran, C

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: European Association of Software Science and Technology
• Journal: Electronic Communications of the EASST
• Volume: 72
• Publication date: 2015-11-26
• Edition: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)
• DOI: 10.14279/tuj.eceasst.72.1027
• ISSN: 1863-2122
• Keywords: Cyber-Physical Systems; Safety; Verification; Internet of Things; Validation; Security; Autonomy