Time requirement modeling and verification method based on problem frame method
A time requirement and problem framework technology, applied in the field of time requirement modeling and verification, can solve problems such as inappropriate use and not based on functional requirements
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment
[0057] In order to describe each step of the present invention in detail, this embodiment selects an automobile anti-lock braking system (ABS) as an example for description.
[0058] ABS contains 4 sensors (Sensor ifl, ifr, irl, irr) and 4 actuators (Actuator ofl, ofr, orr, orl). The sensor senses the rotational speed of the wheel and the actuator represents the braking pressure applied to the wheel. The execution of ABS is triggered by R, and the values of the four sensors of ABS arrive within a certain delay (also called input synchronization), and the input synchronization delay is 0.5ms.
[0059] Embodiments of the present invention are described below in conjunction with the accompanying drawings:
[0060] Step 1) Build clocks for each problem domain in the problem graph
[0061] figure 1 The problem graph of the ABS system is given, a clock is declared for each problem domain in the problem graph, and a clock label is established for each problem domain in the prob...
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