Abstract:Embedded systems have been widely applied in real-time automatic control systems, and most of these systems are safety-critical, for example, the engine control systems in an automobile and the avionics in an airplane. It is very important to verify the schedulability of such a real-time embedded system in its early design stages, so as to avoid unexpected loss for the debugging of architecture design problems. However, it has been proved to be a tough challenge to evaluate the schedulability of a Preemptive-Scheduling Real-Time (PSRT) system, especially when the constraints of system resources are taken into consideration. The cache memory built inside the processor is an exclusive-accessing resource shared by all the tasks deployed on the processor. In addition, the Cache-Related Preemption Delay (CRPD) caused by preemptive task scheduling will bring extra time to the execution time for all the tasks. Thus, the CRPD should be taken into consideration when the Worst-Case Execution Time (WCET) of tasks is estimated in a real-time system. A model-based evaluation and verification method of architecture schedulability, which is designed for priority-based PSRT systems, is proposed in this study to make cache resource constrained and CRPD related schedulability evaluation based on the AADL system architecture model. In the first step, the study enhances the property set of AADL storage elements to make it compatible with cache memory properties in a system architecture model. Secondly, the study proposes a set of algorithms to estimate the CRPDs of a task before it is completed; run system schedule simulation and construct the schedule sequence with the constraint of cache resources and CRPDs involved; and make WCET estimation of the tasks in such a CRPD considered, preemptive-scheduling execution sequence. Finally, the methods mentioned above are implemented within a prototype software toolkit, which is designed to make evaluation and verification of system schedulability within CRPD constraints. The toolkit is tested with a use case of aircraft airborne open-architecture intelligent information system. The result shows that, compared with the schedule sequence constructed without cache memory resource constraints, the WCET estimated for most tasks is extended, and the sequence order is changed. In some extreme cases, when CRPD is taken into consideration, some tasks are evaluated to be incompletable. The test shows that the method and algorithms proposed in this study are feasible.

Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling

A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF.

Utilization-Tensity Bound for Real-Time DAG Tasks under Global EDF Scheduling

EDF-Like Scheduling for Self-Suspending Real-Time Tasks

EDF-Based Mixed-Criticality Systems with Weakly-Hard Timing Constraints.

Schedulability Test of Scheduling Hard Real-time Period and Sporadic Tasks Unified with EDF Policy

Tighter Bounds of Speedup Factor of Partitioned EDF for Constrained-Deadline Sporadic Tasks

Segment EDF: A Scheduling Policy with Tight Deterministic Latency under Multi-Hop Networks

Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks

Limited Busy Periods in Response Time Analysis for Tasks under Global EDF Scheduling

Tardiness Bounds for Sporadic Gang Tasks Under Preemptive Global EDF Scheduling

On Schedulability Analysis of AADL Architecture with Storage Resource Constraint

Decomposition-based scheduling for parallel real-time tasks on multiprocessors

An Improved Speedup Factor for Sporadic Tasks with Constrained Deadlines under Dynamic Priority Scheduling

Narrowing the Speedup Factor Gap of Partitioned EDF

Schedulability Test for Soft Real-Time Systems under Multiprocessor Environment by using an Earliest Deadline First Scheduling Algorithm

Efficient Feasibility Analysis for Graph-Based Real-Time Task Systems

Efficient Schedulability Analysis for Mixed-Criticality Systems under Deadline-Based Scheduling

Capacity Credit Evaluation of Generalized Energy Storage Considering Endogenous Uncertainty

Improved Carry-in Workload Estimation for Global Multiprocessor Scheduling.

Efficient feasibility analysis of DAG scheduling with real-time constraints in the presence of faults