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. |
Year | Venue | Keywords |
---|---|---|
2008 | Autonomics | certification cost,certification artifact,concurrent software,complex software interaction,mds goal networks,mission-critical software,semantic parallelization,autonomous space system,goal-driven autonomous software,autonomous flight system,complex man-rated autonomous software,c,real time,software systems,level of detail,space missions |
Field | DocType | Citations |
Computer science,Concurrency,Parallel computing,Software system,Software,Software construction,Software verification and validation,Certification,Software development,Distributed computing,Software verification | Conference | 4 |
PageRank | References | Authors |
0.42 | 8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Damian Dechev | 1 | 81 | 22.87 |
Nicolas Rouquette | 2 | 54 | 6.40 |
Peter Pirkelbauer | 3 | 52 | 9.37 |
Bjarne Stroustrup | 4 | 362 | 96.58 |