System and method for model based technology and process for safety-critical software development

A model, a key technology, applied in model-driven code, software design, software testing/debugging, etc., can solve problems such as inefficiency and difficulty in operating application code

Active Publication Date: 2017-03-22
GENERAL ELECTRIC CO
View PDF10 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Traditional methods of verifying the correctness of operational application code for these devices and systems are difficult and inefficient

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • System and method for model based technology and process for safety-critical software development
  • System and method for model based technology and process for safety-critical software development
  • System and method for model based technology and process for safety-critical software development

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0063] According to embodiments, systems and methods provide a model-based automated design process for development and test generation of safety-critical software. The embodied systems and methods employ domain-specific ontologies and formal verification methods to refine and extend top-level requirements. These systems and methods utilize verifiable specification models (hence the name "model-based") as the basis for automatically generating requirements-based tests before writing software. According to an embodiment, requirements-based tests are generated from a specification model. Design models are used to develop software. The rigor and automation of these steps lead to improved software design and reduced testing effort, saving time and money for developers of safety-critical software.

[0064] By including formal methods and logical models in the embodied process, errors in specification requirements can be identified and requirements can be verified for consistency ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

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.

Description

technical field [0001] The present invention relates to systems and methods of model-based techniques and processes for safety-critical software development. Background technique [0002] The proliferation of microprocessor-controlled devices has resulted in devices with more and more features, but it has also become more dependent on the quality of the software that controls these embedded systems. Many potentially dangerous devices are controlled by embedded software (for example, automobiles, trains, airplanes, oil refineries, chemical plants, nuclear power plants, and medical equipment, etc.). Traditional methods of verifying the correctness of operating application code for these devices and systems are difficult and inefficient. [0003] Safety-critical software systems development addresses the increase in size and complexity of these systems and respects the need to remain safety-critical to the business. There is a range of software engineering methodologies, tool...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/44G06F11/36
CPCG06F8/20G06F8/35G06F8/42G06F11/3604G06F11/3608G06F11/3676G06F8/10G06F11/3684G06F8/30G06F40/20
Inventor T·L·约翰逊A·W·克拉波M·R·杜林A·瓦施K·Y·肖L·帕罗里尼P·马诺里奥斯M·李郁涵S·A·斯塔塞G·R·斯科斯
Owner GENERAL ELECTRIC CO
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap