Real-Time System Mode Segmentation for Timing Correctness
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Conventional methods for developing real-time systems, especially distributed embedded systems, are error-prone and expensive due to difficulties in ensuring timely execution and sufficient bandwidth, which is critical for safety-critical applications like automotive and avionics systems.
Innovation Solution
A computer-based method for automatically constructing real-time systems by defining modes, synchronous tasks with logical execution times, and assigning time slots, along with integrating asynchronous events and prioritization, to ensure timely and efficient task execution and resource utilization.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Ease of operation
If conventional software development methods are used for real-time systems, then flexibility and ease of development are improved, but timing correctness and system reliability deteriorate
Solution Approach 1:
The system is segmented into distinct operational modes, where each mode represents a specific operational context with defined tasks and timing requirements. This segmentation allows the complex real-time system to be divided into manageable mode-specific configurations, making development easier while maintaining timing correctness through mode-aware scheduling
Solution Approach 2:
The invention changes the parameter of task scheduling from static to mode-dependent dynamic scheduling. By introducing mode as a parameter that affects task execution timing and priority, the system can adapt scheduling parameters based on operational context, ensuring timing correctness across different operating conditions while maintaining development flexibility through parameterized configurations
2Adaptability or versatility
If the system supports multiple operational modes with changing bandwidth demands, then adaptability is improved, but ensuring sufficient bandwidth for all mode combinations increases complexity
Solution Approach 1:
The system performs preliminary analysis of all possible mode combinations and their bandwidth requirements during the configuration phase. By pre-calculating and storing timing information for each mode combination, the system avoids the complexity of real-time bandwidth analysis while supporting multiple operational modes with guaranteed bandwidth allocation
3Reliability
If manual verification of timing requirements is performed, then system correctness can be checked, but development time and costs increase
Solution Approach 1:
The system performs self-verification of timing requirements through automated generation and checking of timing information during the configuration process. The configuration tool automatically verifies that timing requirements are met for all mode combinations without requiring manual intervention, thus maintaining system correctness while reducing development time and costs
Data Source
AI summary
As one example of the present invention a method for constructing a real-time system is disclosed. The real-time system includes at least one module, each module having at least one mode. The method comprises: defining a mode period for each mode for a repeated execution of the respective mode by the corresponding module; for each mode, defining one or more synchronous tasks to be executed by the real-time system, whereby each synchronous task is associated with a logical execution time during which the task execution has to be completed; defining an integer number of time-slots for the mode period of each mode; assigning to each task at least one time slot during which the task is to be executed.