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.

SCAD: Controlled Memory Allocation Analysis and Detection

Concretely Mapped Symbolic Memory Locations for Memory Error Detection

A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety

Cmad:A C Memory Access Errors Detector Based on Semantics Abstraction

Goshawk: Hunting Memory Corruptions Via Structure-Aware and Object-Centric Memory Operation Synopsis

A Dynamic Detection Method To C/C Plus Plus Programs Memory Vulnerabilities Based On Pointer Analysis

A Dynamic Detection Method to C/C++ Programs Memory Vulnerabilities Based on Pointer Analysis

A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety

Simber: Eliminating Redundant Memory Bound Checks Via Statistical Inference

On Schedulability Analysis of AADL Architecture with Storage Resource Constraint

Software Vulnerability Detection Method Based on the Lexical and Syntax Analysis

Saturation Memory Access: Mitigating Memory Spatial Errors without Terminating Programs.

Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path

SMA: Eliminate Memory Spatial Errors via Saturation Memory Access

A Projection-Based Approach for Memory Leak Detection

Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS

MACE: high-coverage and robust memory analysis for commodity operating systems.

Memory errors prevention technology for C/C++ program based on probability.

Automatically Validating Static Memory Leak Warnings for C / C + + Programs

CAMP: Compiler and Allocator-based Heap Memory Protection

TsmartGP: a tool for finding memory defects with pointer analysis