Use this resource - and many more! - in your textbook!
AcademicPub holds over eight million pieces of educational content for you to mix-and-match your way.
Design of a real-time parallel kernel using LOTOS
1997 / IEEE / 0-8186-8096-2
This item was taken from the IEEE Conference ' 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.
Operating System Kernels
Real-time Parallel Kernel Design
Formal Description Technique
Language Of Temporal Ordering Specification
Intelligent Systems International
International Standards Organization
Real Time Systems