SYSTEM AND METHOD FOR MODEL BASED TECHNOLOGY AND PROCESS FOR SAFETY-CRITICAL SOFTWARE DEVELOPMENT

摘要

A method for model-based design of safety-critical software is disclosed. Themethod includes receiving natural-language software requirements, developing aspecification model by implementing either semantic modeling or graphicalmodeling,applying formal requirements analysis to the specification model, autogeneratingrequirements based and robustness test cases from the specification model,developing adesign model based on the specification model, applying test cases to thedesign model,auto-generating source code using the design model, verifying the source codeusing bothtest cases and static analysis technology, and compiling executable objectcode from theverified source code. If a result of the analysis of the softwarespecification or designmodels is not satisfactory then adjusting the specification or design model tocorrect anyinconsistency, and repeating applying the analysis and test cases. A systemforimplementing the model-based design and a non-transitory computer readablemediumare disclosed.