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.

System-level Architectural Exploration Using Allocation-on-demand Technique

A Fast Method for Reconfigurable Architecture Design Space Exploration

Scheduling with Resource Allocation for System-Level Synthesis

A Dynamic Resource Allocation Optimization for SMT Processors

Effective and efficient microprocessor design space exploration using unlabeled design configurations

A SoC Design Exploration Algorithm Based on Branch-and-Bound and List Scheduling

SoC Design Exploration Algorithm Intertwining Module Selection,Resource Sharing and Scheduling

Multi-way Hardware-Software Partitioning Algorithm Based on Abstract Architecture Template

An Architecture-Based Multi-Objective Optimization Approach to Testing Resource Allocation

On Schedulability Analysis of AADL Architecture with Storage Resource Constraint

Dynamic Application Allocation with Resource Balancing on NoC Based Many-Core Embedded Systems.

An Architecture Template Based Soc Transaction Level Modeling And Simulation Method

Design Space Exploration of Embedded SoC Architectures for Real-Time Optimal Control

A Design Space Exploration Method For On-Chip Memory System Based On Task Scheduling

Microarchitecture Design Space Exploration Via Pareto-Driven Active Learning.

Mapping Applications on Coarse-Grained Reconfigurable Systems Using Architecture Template Modeling.

Reliability Allocation And Research Of System Based On Improved Ant Algorithm And Tabu Search

Simultaneous Allocation and Floorplan Algorithm

Exploiting Contention and Congestion Aware Switch Allocation in Network-on-chips.

On a complex-real-time-system oriented task allocation policy

Efficient algorithms for acceptable design exploration.