Title: Application of the fault-tolerant deadline mechanism to a satellite on-board computer system
Subjects: PATH PASCAL (Computer program language), Real-time data processing, Fault-tolerant computing, Artificial satellites, Attitude control systems