中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

6 records (took 0.013 seconds)

    SYSTEM AND METHOD FOR MODEL BASED TECHNOLOGY AND PROCESS FOR SAFETY-CRITICAL SOFTWARE DEVELOPMENT
    1.
    发明申请
    SYSTEM AND METHOD FOR MODEL BASED TECHNOLOGY AND PROCESS FOR SAFETY-CRITICAL SOFTWARE DEVELOPMENT 审中-公开
    基于模型的技术和安全关键软件开发过程的系统与方法

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

    Systems and methods for arbitrary software logic modeling
    2.
    发明授权
    Systems and methods for arbitrary software logic modeling 有权

    公开(公告)号：US10402173B2

    公开(公告)日：2019-09-03

    申请号：US15441626

    申请日：2017-02-24

    Applicant: General Electric Company

    Inventor： Liling Ren ,  Han Yu ,  Gregory Reed Sykes ,  Michael Richard Durling ,  Kit Yan Siu ,  Scott Alan Stacey

    IPC: G06F8/20 ,  G06F8/34 ,  G06F8/35 ,  G06F8/30 ,  G06F9/44 ,  G06F9/455

    Abstract: According to some embodiments, an Arbitrary Software Logic Modeling (“ASLM”) data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.

    System and method for coverage-based automated test case augmentation for design models
    5.
    发明授权
    System and method for coverage-based automated test case augmentation for design models 有权

    公开(公告)号：US09792204B2

    公开(公告)日：2017-10-17

    申请号：US15013391

    申请日：2016-02-02

    Applicant: General Electric Company

    Inventor： Meng Li ,  Michael Richard Durling ,  Jian Dai ,  Scott Alan Stacey

    IPC: G06F9/44 ,  G06F11/36

    CPC classification number: G06F11/3684 ,  G06F11/3676

    Abstract: A method for automated test case augmentation includes receiving, at an automated test augmentation system, a design model and model coverage gap information from a model-based development tool, translating the model coverage gap information into machine-readable mathematical test objective expressions, developing a set of test objective operators by translating the machine-readable mathematical test objective expressions, localizing target operators for the identified coverage gaps within the design model, attaching the test objective operators to target operators of the design model to create a test model, augmenting the test model by propagating test objectives at the target operators to a test node operator of the design model, and executing, by a test generator, the augmented test model to obtain the test cases to cover the coverage gaps and the causes for the model coverage gaps. A system for implementing the model-based design and a non-transitory computer readable medium are also disclosed.

Patent Agency Ranking