Building a real‐time kernel: First steps in validating a pure process/ADT model

A model based on simple, unadorned processes and abstract data types has been proposed for the design and implementation of real‐time systems. We describe our generally successful experiences in using this model for the construction of a real‐time operating system kernel containing services for process control, synchronization, time and input‐output. Our work and results focus on the usefulness of the scheme for designing modules at hardware/software interfaces, for predicting deterministic timing behaviour, and for software development.