Fig.5
Charles Pecheur
Firgure 5. Structure of kernel specification
Using LOTOS for Specifying the CHORUS Distributed Operating System Kernel
Relevante Bilder
Relevante Artikel
ChorusOSChorusOS ist ein Echtzeitbetriebssystem. Das Design und die Technik ermöglicht das Bauen offener, verteilter und skalierbarer Betriebssysteme. Das Architekturmuster der Softwarearchitektur bildet mit den Kategorien Verteilte Systeme, Adaptive Systeme und Chaos zu Struktur eine Schnittmenge. Die Schnittmenge der drei Kategorien bezeichnet ChorusOS als Kommunikation. Der Nucleus Microkernel stellt, für Systemprogrammierer zugänglich, Echtzeitdienste zur Verfügung. Die modulare Architektur unterstützt die Skalierbarkeit und erlaubt die dynamische Konfiguration des Systems und der Anwendungen. .. weiterlesen