Research Article
Verification and Semantic Parallelization of Goal-driven Autonomous Software
@INPROCEEDINGS{10.4108/ICST.AUTONOMICS2008.4354, author={Damian Dechev and Nicolas Rouquette and Peter Pirkelbauer and Bjarne Stroustrup}, title={Verification and Semantic Parallelization of Goal-driven Autonomous Software}, proceedings={2nd International ICST Conference on Autonomic Computing and Communication Systems}, publisher={ICST}, proceedings_a={AUTONOMICS}, year={2010}, month={5}, keywords={nonblocking synchronization C++ semantic parallelization autonomous space software}, doi={10.4108/ICST.AUTONOMICS2008.4354} }- Damian Dechev
Nicolas Rouquette
Peter Pirkelbauer
Bjarne Stroustrup
Year: 2010
Verification and Semantic Parallelization of Goal-driven Autonomous Software
AUTONOMICS
ICST
DOI: 10.4108/ICST.AUTONOMICS2008.4354
Abstract
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex man-rated autonomous software systems. According to some recent estimates, the certification cost for mission-critical software exceeds its development cost. The current process-oriented methodologies do not reach the level of detail of providing guidelines for the development and validation of concurrent software. Time and concurrency are the most critical notions in an autonomous space system. In this work we present the design and implementation of a first concurrency and time centered framework for verification and semantic parallelization of real-time C++ within the JPL Mission Data System Framework (MDS). The end goal of the industrial project that motivated our work is to provide certification artifacts and accelerated testing of the complex software interactions in autonomous flight systems. As a case study we demonstrate the verification and semantic parallelization of the MDS Goal Networks.