Abstract: | 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. |