SYSGO, führender Anbieter von Softwarelösungen für die anspruchsvollsten Sicherheitsanwendungen der Welt, gab bekannt, dass seine sichere Virtualisierungsplattform PikeOS ausgewählt wurde, um die ARINC 653 Testanwendung zu unterstützen, die auf AIDA, die neue, vom DIANA-Projekt definierte Plattform, portiert wurde. Bei dieser Testanwendung handelt es sich um ein Flight Management System (FMS).
DIANA steht für Distributed, equipment Independent environment for Advanced avioNics Applications. Es ist ein Avionik-F&E-Projekt, das durch das 6. Rahmenprogramm der Europäischen Kommission finanziert und von Skysoft, Portugal, geleitet wird. Ziel des DIANA-Projekts ist die Definition einer fortschrittlichen Plattform, genannt AIDA (Architecture for Independent Distributed Avionics), die die Ausführung objektorientierter Anwendungen über virtuelle Maschinen und sichere Verteilungsdienste unterstützt. Der Entwicklungsprozess für die neue Plattform wird auf dem OMG-Standard Model Driven Engineering (MDE) basieren.
"Wir waren auf der Suche nach einem ARINC-653-kompatiblen RTOS", sagt Tobias Schoofs, DIANA-Projektleiter bei Skysoft. "PikeOS war für uns eine naheliegende Wahl. Es hat nicht nur unser ARINC 653 Part 3 Verification Tool (AVT) erfolgreich durchlaufen, sondern ist durch seine Virtualisierungsfähigkeit auch die ideale Lösung zur Unterstützung zukünftiger Anwendungen. Die Tatsache, dass PikeOS bereits von fünf anderen europäischen Projekten ausgewählt wurde, bestätigt unsere Wahl."
Die Hauptteile der Anwendung werden auf einem PC mit PikeOS gehostet. Kleinere Testanwendungen, wie z.B. redundante Komponenten und Sensoren, werden mit Hilfe von leichtgewichtigen Simulatoren auf anderen PCs gehostet. Der Integrator der Plattform ist Embraer. Hauptentwickler sind Thales, Alenia Sia, Alenia Aeronautica, Aonix und Skysoft. Die Entwicklung wird im Oktober mit Studien zu Designdetails beginnen und die PikeOS-Integration soll bereits im August starten.
PikeOS ist ein bahnbrechendes Produkt, das eine Plattform für eingebettete Systeme bietet, auf der mehrere virtuelle Maschinen gleichzeitig in einer sicheren Umgebung laufen können. Diese sichere Virtualisierungstechnologie ermöglicht es, dass mehrere Betriebssystem-APIs unabhängig und gleichzeitig auf einer Maschine laufen - zum Beispiel eine ARINC-653-Anwendung zusammen mit Linux. Die sichere Virtualisierungs-RTOS-Plattform PikeOS bietet die größte Auswahl an Gastbetriebssystemen oder Laufzeitumgebungen auf dem Markt.
Die PikeOS-Mikrokernel-Architektur ermöglicht den Einsatz in kostensensiblen, ressourcenbeschränkten Geräten ebenso wie in großen, komplexen Systemen. PikeOS ist nach dem DO-178B-Standard zertifizierbar und auch MILS-konform.
Mehr Informationen unter www.sysgo.com/pikeos
Über DIANA
Von der Einführung des DIANA-Konzepts wird eine Reduzierung der Entwicklungskosten und -zeiten erwartet. DIANA integriert vielversprechende Technologien wie CORBA, Java und datenzentrische Kommunikationsmechanismen mit praxiserprobten IMA-Ansätzen. Der Einsatz solcher Technologien in einer Echtzeitumgebung und die Aktualisierung von Standards wie ARINC 653 werden neue Möglichkeiten für die Entwicklung zukünftiger IMA-Architekturen für die nächste Generation von Flugzeugen bieten. Die Mitglieder des DIANA-Konsortiums sind: Skysoft (Portugal), Alenia Aeronautica und Alenia SIA (Italien), Aonix (Frankreich), Technische Universität Budapest (Ungarn), Dassault Aviation (Frankreich), Embraer (Brasilien), NLR (Niederlande), Thales Group (Frankreich), Universität Karlsruhe (Deutschland).
https://cordis.europa.eu/project/id/30985