公开(公告)号：US09747079B2

公开(公告)日：2017-08-29

申请号：US14570513

申请日：2014-12-15

Applicant: General Electric Company

Inventor： Kit Yan Siu ,  Andrew Walter Crapo ,  Michael Richard Durling ,  Luca Parolini ,  Panagiotis Manolios ,  Han Yu ,  Scott Stacey

IPC: G06F9/44 ,  G06Q10/06

CPC classification number: G06F8/20 ,  G06F8/10 ,  G06Q10/06

Abstract: According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate the specification model; and generate a specification model that is human-readable and computer-readable for use in software design. Numerous other aspects are provided.

公开(公告)号：US20170039039A1

公开(公告)日：2017-02-09

申请号：US14819167

申请日：2015-08-05

Applicant: General Electric Company

Inventor： Timothy Lee Johnson ,  Andrew Walter Crapo ,  Michael Richard Durling ,  Alexander Walsch ,  Kit Yan Siu ,  Luca Parolini ,  Panagiotis Manolios ,  Meng Li ,  Han Yu ,  Scott Alan Stacey ,  Gregory Reed Sykes

IPC: G06F9/44 ,  G06F9/45 ,  G06F11/36

CPC classification number: G06F8/35 ,  G06F8/20 ,  G06F11/3604 ,  G06F11/3608

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.

Abstract translation: 公开了一种基于安全关键软件的基于模型设计的方法。 该方法包括接收自然语言软件需求，通过实现语义建模或图形建模开发规范模型，对规范模型应用形式需求分析，从规范模型中自动生成需求和鲁棒性测试用例，开发基于设计模型 在规范模型上，将测试用例应用于设计模型，使用设计模型自动生成源代码，使用测试用例和静态分析技术验证源代码，并从验证的源代码编译可执行对象代码。 如果软件规范或设计模型的分析结果不令人满意，则调整规范或设计模型以纠正任何不一致，并重复应用分析和测试用例。 公开了一种用于实现基于模型的设计和非暂时计算机可读介质的系统。