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

fYear

1997

fDate

1-3 Apr 1997

Firstpage

177

Lastpage

181

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Real-Time Systems, 1997. Proceedings of the Joint Workshop on

Conference_Location

Geneva

Print_ISBN

0-8186-8096-2

Type

conf

DOI

10.1109/WPDRTS.1997.637977

Filename

637977