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 : https://apps.dtic.mil/dtic/tr/fulltext/u2/1041179.pdf


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