Kernel User's Manual Version 1.0
Abstract
This manual describes the models underlying the Kernel and its concept of operations, presents the primitives available to the application program, and provides a number of abstractions that may readily be built on top of Kernel primitives. The Kernel is a body of code that implements real-time facilities which can be invoked by applications written in Ada for execution on a distributed target. The requirements for the Kernel, both behavior and performance, are provided in the Kernel Facilities Definition, and its design will be provided in the forthcoming Kernel Architecture Model. The Kernel was built at the Software Engineering Institute by the Distributed Ada Real-Time Kernel (DARK) Project. Ada is now being mandated for a large number of DoD development projects as the sole programming language to be used for developing software. Many of these projects are trying to build distributed real-time systems. Many project managers and contractors are anxious to support this effort, to reap the advantages of Ada, and to use the newer techniques of software engineering that Ada can support. This tradition, however has not always been smooth; some serious problems have been encountered.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1989
- Accession Number
- ADA207414
Entities
People
- Daniel Klein
- David Stinchcomb
- Judy Bamberger
- Robert Firth
- Tim Coddington
Organizations
- Carnegie Mellon University