-
公开(公告)号：US20160335115A1
公开(公告)日：2016-11-17
申请号：US14712707
申请日：2015-05-14
Applicant: General Electric Company
Inventor： Gregory Reed Sykes , Kevin Jones , Hongwei Liao , Panagiotis Manolios
IPC: G06F9/46
CPC classification number: G06F9/46 , G06F9/4887
Abstract: A system and method of multi-level scheduling analysis for a general processing module of a real-time operating system. The method includes identifying any processes within respective partitions of the general processing module, for each identified process, determining if the process is local-time centric or global-time centric. The method converts global-time centric process to a local-time centric process, applies a single-level scheduling analysis technique to the processes of respective partitions, and transforms local-time based response times to global-time based response times. The method performs scheduling and response time analyses on one or more of the identified processes of respective partitions. The method can be performed on a synchronous and/or asynchronous system, and on a hierarchical scheduling system that includes a top level scheduler having a static-cyclic schedule and/or a general static schedule. A system and non-transitory computer-readable medium are also disclosed.
Abstract translation: 一种用于实时操作系统的通用处理模块的多级调度分析的系统和方法。 该方法包括识别通用处理模块的各分区内对于每个识别的过程的任何过程，确定该过程是以本地时间为中心还是以全球时间为中心。 该方法将以全球时间为中心的流程转换为本地时间流程，将单级调度分析技术应用于各个分区的流程，并将基于本地时间的响应时间转换为全球时间响应时间。 该方法对相应分区的所识别的一个或多个进程执行调度和响应时间分析。 该方法可以在同步和/或异步系统以及包括具有静态循环调度和/或一般静态调度的顶级调度器的分层调度系统上执行。 还公开了一种系统和非暂时计算机可读介质。
-
公开(公告)号：US10437713B2
公开(公告)日：2019-10-08
申请号：US16014694
申请日：2018-06-21
Applicant: General Electric Company
Inventor： Panagiotis Manolios , Meng Li , Italo Romani De Oliveira , Augusto Marasca De Conto , Han Yu , Daniel Russell , Sundeep Roy
Abstract: A system for equivalence class analysis-based automated requirements-based test case generation includes a control processor, a data store containing textual design requirements, a textual converter unit structured to convert the textual design requirements to a machine-readable version of design requirements, a requirement partition unit configured to partition the machine-readable design requirements into one or more sets of related design requirements, an equivalence class partition unit configured to process the machine-readable design requirements and input/output variables into a set of equivalence classes, an equivalence class analyzer unit structured to analyze the set of equivalence classes to generate equivalence class tests and identify uncovered input space, and a boundary class analyzer unit structured to identify boundaries of the equivalence classes and generate boundary value tests and robustness tests. A method for equivalence class analysis-based automated requirements-based test case generation implementable on the system, and a non-transitory computer readable medium are also disclosed.
-
公开(公告)号：US09983902B2
公开(公告)日：2018-05-29
申请号：US14712707
申请日：2015-05-14
Applicant: General Electric Company
Inventor： Gregory Reed Sykes , Kevin Jones , Hongwei Liao , Panagiotis Manolios
CPC classification number: G06F9/46 , G06F9/4887
Abstract: A system and method of multi-level scheduling analysis for a general processing module of a real-time operating system. The method includes identifying any processes within respective partitions of the general processing module, for each identified process, determining if the process is local-time centric or global-time centric. The method converts global-time centric process to a local-time centric process, applies a single-level scheduling analysis technique to the processes of respective partitions, and transforms local-time based response times to global-time based response times. The method performs scheduling and response time analyses on one or more of the identified processes of respective partitions. The method can be performed on a synchronous and/or asynchronous system, and on a hierarchical scheduling system that includes a top level scheduler having a static-cyclic schedule and/or a general static schedule. A system and non-transitory computer-readable medium are also disclosed.
-
公开(公告)号：US10025696B2
公开(公告)日：2018-07-17
申请号：US15019725
申请日：2016-02-09
Applicant: General Electric Company
Inventor： Panagiotis Manolios , Meng Li , Italo Oliveira , Augusto Marasca De Conto
Abstract: A system for equivalence class analysis-based automated requirements-based test case generation includes a control processor, a data store containing textual design requirements, a textual converter unit structured to convert the textual design requirements to a machine-readable version of design requirements, a requirement partition unit configured to partition the machine-readable design requirements into one or more sets of related design requirements, an equivalence class partition unit configured to process the machine-readable design requirements and input/output variables into a set of equivalence classes, an equivalence class analyzer unit structured to analyze the set of equivalence classes to generate equivalence class tests and identify uncovered input space, and a boundary class analyzer unit structured to identify boundaries of the equivalence classes and generate boundary value tests and robustness tests. A method for equivalence class analysis-based automated requirements-based test case generation implementable on the system, and a non-transitory computer readable medium are also disclosed.
-
公开(公告)号：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
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.
-
Patent Agency Ranking
公开(公告)号：US09639450B2
公开(公告)日：2017-05-02
申请号：US14742028
申请日：2015-06-17
Applicant: General Electric Company
Inventor： Panagiotis Manolios
CPC classification number: G06F11/3608 , G06F8/10 , G06F8/20 , G06F17/504
Abstract: According to some embodiments, a system and method are provided for analyzing formal system requirements for software and hardware components in a software and hardware component specification model comprising receiving at least one requirement defined using a formal notation; determining if each of the requirements is self-conflicting via execution of a self-conflicting module; determining if two or more requirements conflict with each other via execution of a set-conflicting module after execution of the self-conflicting module; identifying each requirement involved in a conflict and how the one or more requirements conflicts via execution of an error localization module; receiving an updated requirement; repetitively analyzing each updated requirement with the self-conflicting module and the set-conflicting module; and generating an indication that requirements analysis is complete for the one or more requirements and the one or more requirements is validated for use in software design. Numerous other aspects are provided.
-
7.发明申请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
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: 公开了一种基于安全关键软件的基于模型设计的方法。 该方法包括接收自然语言软件需求，通过实现语义建模或图形建模开发规范模型，对规范模型应用形式需求分析，从规范模型中自动生成需求和鲁棒性测试用例，开发基于设计模型 在规范模型上，将测试用例应用于设计模型，使用设计模型自动生成源代码，使用测试用例和静态分析技术验证源代码，并从验证的源代码编译可执行对象代码。 如果软件规范或设计模型的分析结果不令人满意，则调整规范或设计模型以纠正任何不一致，并重复应用分析和测试用例。 公开了一种用于实现基于模型的设计和非暂时计算机可读介质的系统。
-
8.发明授权公开(公告)号：US10346140B2
公开(公告)日：2019-07-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
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.
-
公开(公告)号：US20160371167A1
公开(公告)日：2016-12-22
申请号：US14742028
申请日：2015-06-17
Applicant: General Electric Company
Inventor： Panagiotis Manolios
CPC classification number: G06F11/3608 , G06F8/10 , G06F8/20 , G06F17/504
Abstract: According to some embodiments, a system and method are provided comprising a communication device operative to communicate with a user to obtain one or more requirements, wherein each requirement is defined using a formal notation; a requirements analysis module to receive the one or more requirements, store the one or more requirements, and analyze each requirement individually and two or more requirements in conjunction to determine whether a conflict exists in the one or more requirements; an error localization module to identify each requirement involved in the conflict and indicates how the one or more requirement conflicts; a memory for storing program instructions; at least one requirements analysis processor, coupled to the memory, and in communication with requirements analysis module and the error localization module and operative to execute program instructions to: analyze each requirement individually to determine if the requirement is self-conflicting by executing a self-conflicting module of the requirements analysis module; generate an error explanation by executing the error localization module in response to the self-conflicting module determining the requirement self-conflicts; receive a first updated requirement from a user in response to the self-conflicting module determining the requirement is self-conflicting; repetitively analyze each updated requirement to determine if the requirement self-conflicts until the self-conflicting module determines the requirement is not self-conflicting; analyze two or more requirements in conjunction to determine if two or more requirements conflict by executing a set-conflicting module of the requirements analysis module after it is determined each requirement is not self-conflicting; generate an error explanation by executing the error localization module in response to the set-conflicting module determining two or more requirements conflict; receive a second updated requirement from a user in response to the set-conflicting module determining two or more requirements conflict; and repetitively analyze each updated requirement with the set-conflicting module to determine if the two or more requirements conflict until the set-conflicting module determines the two or more requirement are not self-conflicting; generate an indication that requirements analysis is complete for the one or more requirements and the one or more requirements is validated for use in software design. Numerous other aspects are provided.
-
公开(公告)号：US20160170714A1
公开(公告)日：2016-06-16
申请号：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
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.
Abstract translation: 根据一些实施例，系统包括可操作以与用户通信以获得与语义模块的规范模型相关联的一个或多个需求的通信设备; 用于接收所述一个或多个需求的语义模块，存储所述一个或多个需求并将所述一个或多个需求转换成语义模型; 接收语义模型的规范模块，存储语义模型，翻译语义模型并生成规范模型; 用于存储程序指令的存储器; 耦合到所述存储器并与所述规范模块和所述语义模块通信的至少一个规范模型平台处理器，并且可操作以执行程序指令：通过执行所述语义模块将所述一个或多个需求转换成语义模型; 通过执行规范模块将语义模型转化为图形模型; 并通过执行规范模块修改图形模型，生成规范模型; 并生成一种人机可读和计算机可读的用于软件设计的规范模型。 提供了许多其他方面。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.015 seconds)
