Title :
Design of a real-time parallel kernel using LOTOS
Author :
De Farias, Clvéer Ricardo Guareis ; De Souza, Wanderley Lopes ; Moron, Célio Estevan
Author_Institution :
Dept. de Comput., Univ. Fed. de Sao Carlos, Brazil
Abstract :
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
Keywords :
ISO standards; formal specification; multiprogramming; operating system kernels; parallel programming; real-time systems; software standards; specification languages; Eonic Systems; ISO; Intelligent Systems International; International Standards Organization; LOTOS; Language of Temporal Ordering Specification; RTXC/MP; Virtuoso; development methodology; formal description technique; multitasking kernel; real-time parallel kernel design; standardization; standards; Commercialization; Formal specifications; ISO standards; Intelligent systems; Kernel; Machine intelligence; Natural languages; Real time systems; Standards organizations; System testing;
Conference_Titel :
Parallel and Distributed Real-Time Systems, 1997. Proceedings of the Joint Workshop on
Conference_Location :
Geneva
Print_ISBN :
0-8186-8096-2
DOI :
10.1109/WPDRTS.1997.637977
