Digital Library

This 1989 document characterizes a specific version of the Distributed ADA Real-Time Kernel (DARK) software artifact and supplies documentation for its installation and use.

This 1989 document describes the modifications made to DARK software when porting it from its original execution environment to a VAX/VMS system.

This document defines the conceptual design of the Kernel by specifying the underlying models, assumptions, and 2) restrictions that govern the design and implementation of the Kernel.

Topics: Performance and Dependability

This 1987 report defines the user interface to the prototype real-time monitor (RTM).

This 1987 paper addresses two distinct needs of real-time applications: distribution and hard real-time scheduling mechanisms.