Model-Based Product-Oriented Certification

Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present process-oriented certification methodologies employed by NASA are becoming prohibitively expensive when applied to systems of such complexity. The process of software certification establishes the level of confidence in a software system in the context of its functional and safety requirements. Providing such certification evidence may require the application of a number of software development, analysis, and validation techniques. We define product-oriented certification as the process of measuring the system's reliability and efficiency based on the analysis of its design (expressed in models) and implementation (expressed in source code). In this work we introduce a framework for model-based product-oriented certification founded on the concept of source code enhancement and analysis. We describe a class...

• Type: Conference
• Year: 2009
• Where: ECBS
• Authors: Damian Dechev, Bjarne Stroustrup
• Keywords: Certification Artifacts, ECBS 2009, Hardware, Present Process-oriented Certification, Product-oriented Certification