Chapter

Autonomic Communication

pp 231-247

Date:

Programming and Validation Techniques for Reliable Goal-driven Autonomic Software

  • Damian DechevAffiliated withTexas A&M University, College Station Email author 
  • , Nicolas RouquetteAffiliated withJet Propulsion Laboratory, NASA/California Institute of Technology
  • , Peter PirkelbauerAffiliated withTexas A&M University, College Station
  • , Bjarne StroustrupAffiliated withTexas A&M University, College Station

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Future space missions such as theMars 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 themost critical notions in an autonomous space system. In thiswork 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.