Verification and Semantic Parallelization of Goal-driven Autonomous Software

Download Now Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 267.3 KB