2nd International ICST Conference on Autonomic Computing and Communication Systems

Research Article

Verification and Semantic Parallelization of Goal-driven Autonomous Software

Download135 downloads
  • @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
Damian Dechev1,*, Nicolas Rouquette2,*, Peter Pirkelbauer1,*, Bjarne Stroustrup1,*
  • 1: Texas A&M University, College Station, TX 77843-3112
  • 2: Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Drive, M/S 301-270, Pasadena, CA
*Contact email: dechev@tamu.edu, nicolas.rouquette@jpl.nasa.gov, peter.pirkelbauer@tamu.edu, bs@cs.tamu.edu

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.