Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Semi-formal requirements verification system and method for vehicle controller software based on smt

A vehicle-mounted controller and formalized requirements technology, which is applied in the semi-formalized requirements verification system field of rail transit vehicle-mounted controller software, can solve problems such as lack of norms and standards, insufficient inspection, and failure to achieve verification results, so as to save manpower and time, improve work efficiency, and facilitate system analysis

Active Publication Date: 2021-05-14
CASCO SIGNAL
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

At present, high-confidence embedded software mostly uses semi-formal description methods such as state machines, truth tables, sequence diagrams, and flow charts, but the corresponding requirements verification methods are mainly document review and prototype demonstration technologies. The experience and sense of responsibility of the personnel are extremely high
[0004] And this method of manually verifying requirements has the following deficiencies: (1) Due to manual inspection, there may be cases where the inspection is not in place, omissions occur, and even the expected verification effect cannot be achieved
(2) The essence of manual verification is still empirical behavior, which has extremely high requirements on the ability of verification personnel. At the same time, there is a lack of unified norms and standards, and there is limited room for improvement in terms of quality and efficiency.

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
  • Semi-formal requirements verification system and method for vehicle controller software based on smt
  • Semi-formal requirements verification system and method for vehicle controller software based on smt

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0026] The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the drawings in the embodiments of the present invention. Obviously, the described embodiments are part of the embodiments of the present invention, not all of them. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts shall fall within the protection scope of the present invention.

[0027] In this embodiment, the SMT-based rail transit on-board controller software semi-formal requirements verification system is applied to the verification of the train backsliding monitoring function module of the on-board software requirements.

[0028] like figure 1 As shown, it is a schematic structural diagram of the SMT-based rail transit on-board controller software semi-formal requirements verification system of the present invention. In this e...

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

The present invention relates to a semi-formal requirement verification system and method for vehicle controller software based on SMT. Conjunctive normal form recognized by the SMT solver is input; the constraint condition establishment module M2 is used to extract, summarize and establish constraints for software functions according to the upper-level system requirements and system design; the requirement verification module M3 is used to convert the format The final input software requirements are solved according to the constraints to verify the correctness of the software requirements and the consistency with the superior requirements and design. Compared with the prior art, the present invention has the advantages of accurately and efficiently verifying semi-formalized software requirements by using formalized theoretical tools.

Description

technical field [0001] The invention relates to a semi-formal requirement verification system for rail transit vehicle-mounted controller software, in particular to a semi-formalized requirement verification system and method for vehicle-mounted controller software based on SMT (Satisfiability Model Theory). Background technique [0002] With the rapid development of my country's rail transit industry, the functional requirements of on-board controller software are becoming more and more complex, which brings great pressure to the related software quality assurance work. Industrial data shows that about 50% of product defects are caused by insufficient quality requirements, and about 80% of rework workload can be traced back to requirement defects, especially for high-reliability embedded software such as rail transit on-board controllers , the defects of its requirements specifications will cause immeasurable property losses and casualties; on the other hand, the omissions ...

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 Patents(China)
IPC IPC(8): G06F11/36
CPCG06F11/3616
Inventor 陈晓轩陈硕豪熊坤鹏刘锦峰
Owner CASCO SIGNAL
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products