Design of a real-time parallel kernel using LOTOS

The main goal of this work is to show how the formal description technique (FDT) Language of Temporal Ordering Specification (LOTOS), a standard of the International Standards Organization (ISO), can be useful in the design of real-time systems. This paper concentrates on the specification phase of a development methodology and uses as an example the parallel real-time kernel RTXC/MP developed by Intelligent Systems International and being nowadays commercialized as Virtuoso by Eonic Systems.