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
01.06.2017
423550 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
NTRS | 2012
|AIAA | 2001
|