Kernal Facilities Definition, Kernel Version 3.0
Judy Bamberger, Currie Colket, Robert Firth, Daniel Klein, Roger Van Scoy · 1989
Abstract : This document defines the functionality of the Distributed Ada Real-Time Kernel (hereafter called the Kernel). The Kernel is being developed as one artifact of the Distributed Ada Real-Time Kernel Project (hereafter called the project). The goal of the Kernel is to support effectively the execution of the distributed Ada applications in an embedded computer environment. The Kernel provides use's with support for language functionality (i.e., the ability to execute Ada programs in a distributed, real-time environment); it does not provide support for language features (i.e., Ada tasking primitives). As a result, the Kernel specification places certain requirements (restrictions and conventions) on the Ada application programs that use the Kernel. These will become apparent to the reader as the definition of the Kernel is expounded. This document is divided into three parts: (1) Kernel Background: describes the models on which the Kernel is based and outlines the scope of its capabilities; (2) Requirements: describes the functionality and performance required of the Kernel; and (3) Kernel Primitives: describes the mechanisms and primitive capabilities the Kernel provides to implement the requirements. (kr)