Model-Based Product-Oriented Certification

Model-Based Product-Oriented Certification,10.1109/ECBS.2009.15,Damian Dechev,Bjarne Stroustrup

Model-Based Product-Oriented Certification  
BibTex | RIS | RefWorks Download
Future space missions such as the Mars Science Laboratory and Project Constel- lation suggest the engineering of some of the most complex man-rated software sys- tems. 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 certi- fication 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 classification of the certification artifact types, the development and validation tools and techniques, the application domain-specific factors, and the levels of abstrac- tion. We demonstrate the application of our certification platform by analyzing the process of model-based development of the parallel autonomic goals network, a crit- ical component of the Jet Propulsion Laboratory's Mission Data System (MDS). We describe how we identify and satisfy seven critical certification artifacts in the pro- cess of model-driven development and validation of the MDS goal network. In the analysis of this process, we establish the relationship among the seven certification artifacts, the applied development and validation techniques and tools, and the level of abstraction of system design and development.
Conference: Engineering of Computer-Based Systems - ECBS , pp. 295-304, 2009
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.