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
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com