Cyber-Physical Systems improve efficiency, accuracy, and access in systems ranging from household appliances to power stations to airplanes. They also bring new risks at the intersection of physical, information, and mission assurance. This paper presents CP-SMARTS, a framework providing a means for propagating CPS assurances from planning to deployment.
Formal enforcement of mission assurance properties in cyber-physical systems
2017-06-01
423550 byte
Conference paper
Electronic Resource
English
NTRS | 2012
|AIAA | 2001
|