The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 09, 2019
Filed:
Aug. 05, 2015
General Electric Company, Schenectady, NY (US);
Timothy Lee Johnson, Niskayuna, NY (US);
Andrew Walter Crapo, Dousman, WI (US);
Michael Richard Durling, Niskayuna, NY (US);
Alexander Walsch, Bayern, DE;
Kit Yan Siu, Niskayuna, NY (US);
Luca Parolini, Bayern, DE;
Panagiotis Manolios, Sharon, MA (US);
Meng Li, Niskayuna, NY (US);
Han Yu, Niskayuna, NY (US);
Scott Alan Stacey, Dayton, OH (US);
Gregory Reed Sykes, Grand Rapids, MI (US);
General Electric Company, Schenectady, NY (US);
Abstract
A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.