Provided by: Institute of Electrical & Electronic Engineers
Date Added: Jan 2012
Real-time embedded systems are becoming ever more complex. The authors are reaching the stage where even if static Response-Time Analysis (RTA) was feasible from a cost and technical perspective, the results of such an analysis are overly pessimistic. This makes them less useful to the practitioner. In addition, the temporal validation and verification of such systems in some applications, e.g., aeronautics, requires the probability of obtaining a worst-case response time larger than a given value in order to support dependable system functions.