Tracking Real-Time Systems Requirements

One of the hard problems in maintaining real-time systems requirements is to keep track of the impact of resource usage on the applications. Often times, it is not sufficient to keep track of upper bounds since some requirements such as jitter are also sensitive to the lower bounds and the resource scheduling algorithm employed. In the case of non-preemptive scheduling, real-time requirements can be missed when resource utilization is decreased as in a CPU upgrade, even though there are no jitter constraints. In this paper, we define the notion of robustness for real-time performance requirments and discuss the tracking of sensitivity of real-time application requirements with respect to resource usage by formal method. We shall draw as an example the performance requirements of the avionics software of the Boeing 777 aircraft.

• Type: Conference
• Year: 2000
• Where: RTCSA
• Authors: Aloysius K. Mok
• Keywords: Embedded Systems, Real-time Systems Requirements, Requirements, Resource Usage, RTCSA 2000