Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Timothy Coddington
December 1989 - Technical Report Version Description and Installation Guide

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.

December 1989 - Technical Report Dark Porting and Extension Guide Kernel Version 3.0

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

July 1988 - Technical Report Kernel Facilities Definition

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.

November 1987 - Technical Report Prototype Real-Time Monitor: User's Manual

Topics: Performance and Dependability

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

July 1987 - Technical Report Distributed ADA Real-Time Kernel

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