Accession Number : AD1041179

Title :   High-Assurance Spiral

Descriptive Note : Technical Report,01 Aug 2012,01 May 2017

Corporate Author : Carnegie Mellon University Pittsburgh United States

Personal Author(s) : Franchetti,Franz ; Low,Tze M

Full Text :

Report Date : 01 Nov 2017

Pagination or Media Count : 45

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.

Descriptors :   robotics , global positioning systems , algorithms , change detection , computer programs , differential equations , collision avoidance , unmanned ground vehicles , sensor fusion

Subject Categories : Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE