Components for the implementation of fixed priority real-time systems in ADA

Abstract

In recent years fixed-priority scheduling has received a lot of attention. Indeed, it could be said that it has become a mature approach to engineering real-time systems. The Ada language includes the necessary mechanisms for implementing this kind of systems.This paper reports the work done in order to implement in Ada a set of basic components for building fixed-priority real-time systems. These components provide support for periodic and sporadic tasks, fault detection and recovery, intertask communication and mode change. With respect to mode change, an improved implementation approach has been developed, based on a simple protocol.