DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD1041179
Title:
High-Assurance Spiral
Corporate Author:
Carnegie Mellon University Pittsburgh United States
Report Date:
2017-11-01
Abstract:
Cyber-physical systems CPS ranging from critical infrastructures such as power plants, to modern semi autonomous vehicles are systems that use software to control physical processes that interact in intricate manners. This makes verification of the software complex and unwieldy. In this report, an approach towards taming part of the complexity is described. The approach utilizes intrinsic multi-modal redundancies to detect brewing problems, provides formal guarantees for control algorithms, and automates the software production to implement these algorithmic ideas with guarantees about the correctness of the resulting implementations.
Descriptive Note:
Technical Report,01 Aug 2012,01 May 2017
Pages:
0045
Distribution Statement:
Approved For Public Release;
Contract Number:
FA8750-12-2-0291
File Size:
2.72MB
