MicroC/OS-II
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 Quelltext 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 (DO-178B), Medizin (FDA-510k) und Industrie (ISO68501).
Erweiterungen
Es existieren Erweiterungen für den kommerziellen Bereich:
µC/OS-MMU
μC/OS-MMU dient der Abgrenzung von Anwendungen in embedded Systemen. Es ist auch bekannt unter μC/TimeSpaceOS oder uC/OS-MMU. Mit dieser Erweiterung 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).