This report summarizes the discussions from the 1990 STARS/Users Workshop.
This 1990 document presents the background, rationale, and conceptual goals of the SEI's DARK Project.
This 1989 document presents the algorithms and data structures needed to implement the functionality defined in the Kernel Facilities Definition.
This document contains the detailed design description of the Kernel. The overall system architecture and the rationale for it are presented as relevant to both the application (i.e., the external view of the Kernel) and the Kernel maintainer (i.e., the i
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.
This 1987 paper addresses two distinct needs of real-time applications: distribution and hard real-time scheduling mechanisms.