Premium
Building a real‐time kernel: First steps in validating a pure process/ADT model
Author(s) -
Callison H. Rebecca,
Shaw Alan C.
Publication year - 1991
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380210402
Subject(s) - computer science , kernel (algebra) , process (computing) , synchronization (alternating current) , software , simple (philosophy) , focus (optics) , real time operating system , time synchronization , real time computing , scheme (mathematics) , real time data , embedded system , operating system , computer network , mathematical analysis , channel (broadcasting) , philosophy , physics , mathematics , epistemology , combinatorics , optics
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.