RTOS im Weltall RTEMS für Raumfahrt qualifiziert

Die europäische Raumfahrtbehörde ESA hat das quelloffene Echtzeitbetriebssystem RTEMS in der SMP (Symmetric Multiprocessing) Konfiguration für Criticality Category C und D zertifiziert. Damit können jetzt auch sicherheitskritische Funktionen auf modernen Multicore-Prozessoren, die auf RTEMS setzen, ausgeführt werden. Bisher stand dafür nur eine stark reduzierte, mittlerweile veraltete, Single-Core Version zur Verfügung.

Anbieter zum Thema

MHP Management- und IT-Beratung GmbH

Parasoft® Deutschland GmbH

RTI Real-Time Innovations

embedded brains GmbH

Die Qualifizierung wurde durchgeführt für die im Raumfahrt-Bereich weit verbreiteten Cobham-Gaisler Prozessoren mit SPARC-Architektur (GR740 und GR712RC) und die in der Raumfahrt hauptsächlich genutzten Funktionen. Weitere Zertifizierungen von Prozessoren mit ARM und RISC-V Architektur sowie eine Erweiterung des Funktions- und Schnittstellenumfangs sind bereits in der Vorbereitung.

Als nächstes ist eine Qualifizierung für Kategorie A und B ist anvisiert. Dann könnten sogar sicherheitskritische Funktionen bei bemannten Missionen auf Basis von RTEMS arbeiten. Die Dokumentation und die Tests dafür sind bereits angelegt, die dazu nötige unabhängige Überprüfung ist im Gange.

Das Real-Time Operating System for Multiprocessor Systems (RTEMS) ist ein Open-Source-Echtzeitbetriebssystem für überwiegend displaylose, echtzeitfähige eingebettete Systeme. Dieses RTOS wird wegen seines geringen Ressourcenbedarfs gerne in der Raumfahrt eingesetzt. Doch auch in anderen Branchen, in denen es auf hohe Leistung und Zuverlässigkeit ankommt, werden seine Vorteile geschätzt. Mit der Qualifizierung in der Raumfahrt eröffnen sich auch für andere Domänen, wie Bahntechnik oder Medizin- und Automobilsektor, neue Perspektiven.

Flexibilität durch weitgehend automatisierten Zertifizierungsprozess

Sicherheitszertifizierungen gehören in vielen Branchen seit langem zum Standard. Diese treiben allerdings die Kosten für solchermaßen evaluierte Software stark nach oben, da Testung und Dokumentation oft um ein Vielfaches aufwändiger sind als das reine Schreiben des Codes. Und sie reduzieren die Flexibilität, da immer eine Konfiguration als Ganzes getestet wird.

Neuartig bei der Zertifizierung von RTEMS ist, dass sie weitgehend automatisiert abläuft - von der Dokumentation, über die Testung bis hin zur Zusammenfassung der Evaluation. So kann die Vielzahl von Zielsystemen, Schnittstellen und Treibern von RTEMS auf ökonomische Weise zertifiziert werden. Schon in der Basis-Version beinhaltet dies über 2.000 Testprozeduren und mehr als 10.000 Seiten Ergebnisse und Dokumentation.

Die initiale Förderung durch die ESA ermöglicht, dass nicht nur der Code, sondern auch die Basis-Zertifizierung Teil des Open-Source-Projekts werden. Für die Zertifizierung weitergehender Konfigurationen, zum Beispiel mit noch nicht unterstützten Multicore-Prozessoren, stehen die Experten der embedded brains GmbH zur Verfügung, die das Qualification Data Package konzipiert und entwickelt haben.

Über RTEMS

Das quelloffene RTEMS wird kostenlos lizenziert (nach eigenen RTEMS-Lizenzbestimmungen), den damit erstellten Anwendungen werden in der Regel keine Einschränkungen hinsichtlich ihrer Nutzung auferlegt. Dennoch kann die Einarbeitung etwas trickreich sein. In Europa unterstützt unter anderem embedded brains aus Puchgheim bei München RTEMS Kunden in ganz Europa und bietet benutzerspezifische Konzeptentwicklung, Entwicklungsunterstützung, Portierung, und Treiber- und Softwareentwicklung für RTEMS an. Als Mitglied im Steering Committee von RTEMS weiß Thomas Dörfler, dass die Ansprüche der Kunden stetig wachsen und es essenziell ist, die kontinuierliche Weiterentwicklung aktiv zu begleiten.

(ID:47937739)