The olympus attitude and orbital control system A case study in hard real-time system design and implementation [chapter]

A. Burns, A. J. Wellings, C. M. Bailey, E. Fyfe
1993 Lecture Notes in Computer Science  
This paper describes the details of, and the experiences gained from, a case study undertaken by the authors on the design and re-implementation of the Olympus Satellite's Attitude and Orbital Control Systems (AOCS). The goal of the study was to demonstrate that real-time systems can be implemented using Ada and its tasking facilities. The system was designed using HRT-HOOD, analysed using Deadline Monotonic Scheduling Analysis, and implemented on a M68020-based system using a modified York
more » ... iler and run-time support system (the modifications are compatible with those proposed for Ada 9X). Our results indicate that systems can be designed to have the flexibility given by multi-tasking solutions, and yet still obtain the same levels of guarantees as those given by cyclic executives.
doi:10.1007/3-540-56802-6_3 fatcat:5lfv3h74yzforkuotpy3qq23z4