Distributed Ada real-time kernel

Two distinct needs of real-time applications are considered. These are: distribution and hard real-time scheduling mechanisms. Specifically, the authors reject both the notion of modifying the Ada language to achieve needed real-time solutions, and the practice of extensively modifying the Ada compiler and/or vendor-supplied run-time system. Instead, the functionality of distributed Ada real-time kernel is defined. The goal of this kernel is to support effectively the execution of distributed, real-time Ada applications in an embedded computer environment by returning control to the user