A Formal Analysis Method of C Language Real-time System Operation Based on tmsvl
A real-time system and analysis method technology, applied in the field of formal verification, can solve problems such as high difficulty, heavy workload, and error-prone, and achieve the effect of overcoming heavy workload
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment 1
[0046] Embodiment 1 and embodiment 2 correspond to the C language real-time system under the same Windows operating system. The C language real-time system source code file is iplus.c, which has an integer variable i with an initial value of 0, and then every 1 The second increases by 1, and when the final time is 9 seconds, it increases to 9 and ends. Use the TMSVL program to describe the real-time properties of the integer variable i, if the time when the C language real-time system starts is 0 seconds, then the value of the integer variable i in each second and the actual number of seconds are numerically equal to Equally, let the real-time property be n second i value n, n ranges from 0 to 9, including 0 and 9, use the TMSVL program to describe this real-time property and then verify it. Before the assertion is inserted, the source code of the C language real-time system is as follows:
[0047]
[0048] Such as figure 2 As shown, the implementation of embodiment 1 (u...
PUM

Abstract
Description
Claims
Application Information

- R&D
- Intellectual Property
- Life Sciences
- Materials
- Tech Scout
- Unparalleled Data Quality
- Higher Quality Content
- 60% Fewer Hallucinations
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com