Task Scheduling Plan Validation for Overlapping Time Budgets

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

In automotive systems, determining the exact worst-case execution time of high-criticality tasks is challenging, leading to potential errors when their execution time exceeds predefined timing protection budgets, which can compromise system safety.

Innovation Solution

A method for creating a task scheduling plan that checks for overlapping budget durations across tasks with higher or equal priority levels, ensuring that each target time interval has sufficient budget to prevent errors by adjusting or transferring tasks as needed.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If the execution time budget of high-criticality tasks is strictly enforced, then system safety is improved, but the complexity of determining and validating the scheduling plan increases

Engineering Contradiction:
Improvesystem safetyVSAvoidscheduling plan validation complexity
Core Design Contradiction:
ReliabilityVSDevice complexity

Solution Approach 1:

The patent applies preliminary action by performing a validation check of the task scheduling plan before actual execution. The system determines whether the sum of execution time budgets of all tasks exceeds the total duration of time intervals, and identifies overlapping periods in advance. This allows the system to detect potential timing violations before they occur during runtime, thereby ensuring system safety without compromising real-time performance.

Inventive Principle:
Principle #10Preliminary action

2Reliability

If the task scheduling plan is validated before execution, then runtime errors are reduced, but the time and computational resources required for validation increase

Engineering Contradiction:
Improveruntime error reductionVSAvoidvalidation time
Core Design Contradiction:
ReliabilityVSLoss of time

Solution Approach 1:

The patent implements partial validation by focusing only on the critical aspect of timing budget overlap rather than进行全面 validation of all task parameters. The system checks whether the sum of execution time budgets exceeds the total interval duration and identifies overlapping periods, which are the essential conditions for runtime errors. This selective validation approach reduces computational overhead while maintaining effectiveness in preventing timing violations.

Inventive Principle:
Principle #16Partial or excessive action

3Productivity

If tasks with different criticality levels are integrated on the same processing unit, then resource utilization is improved, but the risk of error propagation increases

Engineering Contradiction:
Improveresource utilizationVSAvoiderror propagation risk
Core Design Contradiction:
ProductivityVSReliability

Solution Approach 1:

The patent applies local quality by assigning different validation strictness levels to tasks based on their criticality. High-criticality tasks receive more stringent timing budget validation, while low-criticality tasks have relaxed requirements. This differentiated approach allows the system to integrate tasks of different criticality levels on the same processing unit while maintaining appropriate safety margins for critical functions, thus preventing error propagation without sacrificing resource utilization.

Inventive Principle:
Principle #3Local quality

Data Source

PatentUS20240289174A1Method And System For Executing Tasks On A Processing Unit
Publication Date: 2024.08.29 APTIV TECHNOLOGIES AG
  • US20240289174A1 patent drawing
  • US20240289174A1 patent drawing
  • US20240289174A1 patent drawing

AI summary

A method includes providing a task scheduling plan to a system. The plan includes, for each task of a plurality of tasks, a plurality of time intervals and, for each time interval, a budget value. The method includes determining, by the system, each target time interval that is at least partially overlapped by one or more time intervals with higher or equal task priority level. The method includes for each determined target time interval, determining a duration of budget overlapping based on the budget values of the one or more time intervals, and checking if the target time interval is equal or greater than the budget value of the target time interval increased by the determined duration of budget overlapping. The method includes, in response to the checking being successful, determining that the task scheduling plan is valid and transmitting the valid task scheduling plan to an execution system.