Design of a real-time parallel kernel using LOTOS

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: De Farias, C.R.G., De Souza, W.L., Moron, C.E.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Commercialization
Formal specifications
Intelligent systems
ISO standards
Kernel
Machine intelligence
Natural languages
Real time systems
Standards organizations
System testing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
DOI:10.1109/WPDRTS.1997.637977