Real-time inconsistency detection and positioning method and system for CPS (Cyber-Physical System) requirements
A positioning method and consistent technology, applied in requirements analysis, creating/generating source code, etc., can solve problems such as state explosion, low verification efficiency, and inability to locate requirements sets, and achieve the effect of reducing detection time and improving verification efficiency
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment
[0098] Such as figure 1 As shown, this embodiment takes a real automotive lighting system requirement as an example to describe the method in detail.
[0099] The requirements of the automotive lighting system are described as follows:
[0100]If the switch is turned to AUTO, and the light intensity is at orbelow 70% then the low Beam should stay or turn immediately ON.
[0101] If the switch is turned to AUTO, and the light intensity is above 70% and then the low Beam should stay or turn immediately OFF.
[0102] If the switch is in position AUTO, the low Beam are OFF, and the light intensity falls below 60%, then the lights should turn ON if this condition lasts for 2s.
[0103] If the switch is in position AUTO, the low Beam are ON, and the light intensity is above 70%, then the lights should turn OFF if this condition lasts for 3s.
[0104] If the switch is turned to MANU, the low Beams are OFF, and the low Beam Button is ON, then the low Beams should turn ON for 1s if ...
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