Betriebssystem PikeOS for MPU hebt ab in den Weltraum

Von Margit Kuther 2 min Lesedauer

Anbieter zum Thema

Thales Alenia Space will Sysgos Echtzeitbetriebssystem (RTOS) PikeOS for MPU in seiner neuen Telekommunikations-Satellitenproduktlinie Space Inspire (SPI) einsetzen.

Ab in den Weltraum: Sysgos Echtzeitbetriebssystem PikeOS for MPU wird Teil der Telekommunikationssatelliten von Space Inspire.(Bild:  Sysgo)
Ab in den Weltraum: Sysgos Echtzeitbetriebssystem PikeOS for MPU wird Teil der Telekommunikationssatelliten von Space Inspire.
(Bild: Sysgo)

Thales Alenia Space hat sich für PikeOS for MPU aufgrund seiner cybersicheren, auf Multiple Independent Levels of Security (MILS) und ECSS Level B qualifizierten Basis und seiner Leistung bei der Ausführung von Anwendungen mit gemischter Kritikalität entschieden.

PikeOS for MPU ist für Anwendungsbereiche mit hohen Anforderungen an funktionale Sicherheit qualifiziert und geht auf PikeOS zurück, das seine Codebasis mit PikeOS für MPU teilt. Der PikeOS-Separationskernel (5.1.3) ist weit verbreitet und sicherheitszertifiziert für verschiedene Industriezweige wie Avionik, Automotive, Bahn und Medizin. Zudem ist es Security-zertifiziert bezüglich der Common Criteria auf Stufe EAL5+. Mit seiner Toolchain (u.a. ECLIPSE-basiertes CODEO) bietet es eine bequeme Möglichkeit, die Zeit für die Erstellung von Anwendungen und damit von eingebetteten Systemen zu verkürzen und so zur Senkung der Entwicklungskosten beizutragen.

Space Inspire ist ein softwaredefinierter Telekommunikationssatellit, dessen Stärken in seiner Flexibilität und Vielseitigkeit liegen. SPI will für vollständige Rekonfiguration in der Umlaufbahn, unübertroffene Mission-Performance, umfangreiche Hosting-Kapazitäten, intelligenten Betrieb und Cybersicherheit durch Design stehen. Sysgos Hypervisor und RTOS für Prozessoren mit Memory Protection Unit (MPU) soll die sichere Basis zur Orchestrierung dieser Funktionalitäten auf dem ARM-Cortex-R52-basierenden Multiprocessorsystem-on-a-Chip (MPSoC) DAHLIA bilden.

DAHLIA ist ein Konsortium aus Raumfahrt- und Embedded-Tech-Unternehmen (Airbus Defence and Space, ISD, NanoXplore, STMicroelectronics, Thales Alenia Space). Ziel des Konsortiums ist es, hochleistungsfähige Mikroprozessor-System-on-Chip (SoC) mit europäischem geistigem Eigentum zur Verfügung zu stellen, um eine schnellere und kosteneffiziente Entwicklung von Produkten für verschiedene Anwendungsbereiche in der Raumfahrt zu ermöglichen. Der gewählte NG-Ultra MPSoC basiert auf der 28-nm-FDSOI-Technologie von STMicroelectronics mit Multi-Core-ARM-Prozessoren und eFPGA für Flexibilität, um leistungsfähige und zuverlässige Echtzeitanwendungen zu entwickeln, bei denen die Ausführung gemischt-kritischer Anwendungen garantiert werden muss und bei denen die Ressourcen zeitlich und räumlich den laufenden Anwendungen zugewiesen werden.

Der Vorteil von PikeOS for MPU ist, dass der Code in ähnlicher Weise wie PikeOS zertifiziert werden kann. Zukünftige Zertifizierungen von PikeOS für MPU-basierten Lösungen können daher auf Artefakten von PikeOS (Separation Kernel v. 5.1.3.) aufbauen, die gegen CC EAL 5+, SIL 4, DAL A und ASIL D vorzertifiziert sind.(mk)

(ID:48987805)

Jetzt Newsletter abonnieren

Verpassen Sie nicht unsere besten Inhalte

Mit Klick auf „Newsletter abonnieren“ erkläre ich mich mit der Verarbeitung und Nutzung meiner Daten gemäß Einwilligungserklärung (bitte aufklappen für Details) einverstanden und akzeptiere die Nutzungsbedingungen. Weitere Informationen finde ich in unserer Datenschutzerklärung. Die Einwilligungserklärung bezieht sich u. a. auf die Zusendung von redaktionellen Newslettern per E-Mail und auf den Datenabgleich zu Marketingzwecken mit ausgewählten Werbepartnern (z. B. LinkedIn, Google, Meta).

Aufklappen für Details zu Ihrer Einwilligung