MicroC/OS-II
Das Computerbetriebssystem MicroC/OS-II, auch bekannt unter der Bezeichnung µC/OS II oder uC/OSII, ist ein Echtzeitbetriebssystem für eingebettete Systeme.
Das Betriebssystem wird in dem Buch "MicroC / OS-II" von dem Entwickler (Jean J. Labrosse) beschrieben und liegt auch als Sourcecode bei. Für nichtkommerzielle Projekte ist das Betriebssystem kostenlos. Durch den einfachen und verständlichen Aufbau ist es möglich dieses Betriebssystem in sicherheitsrelevanten Systemen einzusetzen.
Es existieren zwei Erweiterungen für den kommerziellen Bereich:
Die Erweiterung µC/OS-MPU ergänzt den Kernel um die Unterstützung einer hardwareseitig vorhandenen Speicherschutz-Einheit (MPU oder MMU) moderner Mikrocontroller. Damit sind die Speicherbereiche der Prozesse gegeneinander geschützt. Ergänzend zu den bereits existierenden Services wird mit dieser Erweiterung gemeinsamer Speicher (Shared-Memory) für mehrere Prozesse möglich.
Mit der Erweiterung µC/OS-MMU wird aus dem Kernel ein komplettes System welches, ähnlich wie ARINC 653, die Virtualisierung eines Mikrocontrollers für mehrere sicherheitskritischen Anwendungen mit unterschiedlichen Zertifizierungsanforderungen bietet. Voraussetzung ist auch hier eine hardwareseitig vorhandenen Speicherschutz Einheit (MPU oder MMU).