1. Formal enforcement of mission assurance properties in cyber-physical systems
- Author
-
Michael A. Capone, Lee W. Lerner, Scott Harper, Michael Farrell, Justin Eng, and Jonathan Graf
- Subjects
0209 industrial biotechnology ,Power station ,Computer science ,Cyber-physical system ,Ranging ,0102 computer and information sciences ,02 engineering and technology ,Computer security ,computer.software_genre ,01 natural sciences ,Grayscale ,020901 industrial engineering & automation ,Intersection ,010201 computation theory & mathematics ,Software deployment ,Enforcement ,computer ,Mission assurance - Abstract
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.
- Published
- 2017
- Full Text
- View/download PDF