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 im Buch "MicroC / OS-II" des Entwicklers (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.
µC/OS-II ist vielfach bewährt in Anwendungen in sicherheitskritischen Bereichen und mehrfach zertifiziert nach den jeweiligen Normen aus Luftfahrt (DO178-B), Medizin (FDA-510k) und Industrie (ISO68501).
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 vorhandene Speicherschutz-Einheit (MPU oder MMU).