KEYNOTE PAPER - A PERFORMANCE ANALYSIS OF A HARD REAL-TIME SYSTEM

This paper analyses the performance of an Attitude and Orbital Control System for the Olympus Satellite. The system was designed using HRT-H OOD and implemented in Ada 83 augmented with some of the facilities of Ada 9X. The program consisted of multiple tasks communicating via pro tected shared data areas, A worst-case execution time analysis tool wa s used to estimate the execution time of each task, and Deadline Monot onic schedulability analysis was used to predict the system performanc e, taking into account all kernel overheads. An instrumented version w as also produced to gather statistics on the actual run-time performan ce.