LynuxWorks stellt die erste Komplettlösung für ein DO-178B-zertifizierbares Echtzeit-Betriebssystem vor

READ THIS PRESS RELEASE IN ENGLISH

Das neue LynxOS-178-Paket hilft Unternehmen bei der Erfüllung der strengen Zertifizierungsanforderungen

San José, Kalif.—11. März 2003—LynuxWorks™, Inc. präsentiert mit LynxOS-178 ein kommerziell verfügbares Echtzeit-Betriebssystem (Real-Time Operating System; RTOS), das den strengen DO-178B Level A Standard für sicherheitskritische Systeme erfüllt. LynxOS-178 ist das Resultat einer Partnerschaft zwischen Rockwell Collins und LynuxWorks. Rockwell Collins stattete das ursprüngliche LynxOS-Produkt mit einer Reihe von Ergänzungen aus und schuf das Rockwell Collins Virtual Machine Operating System (VMOS). VMOS wurde anschließend gemäß DO-178B zertifiziert, und inzwischen sind das Betriebssystem und die Zertifizierungs-Artefakte bei LynuxWorks lieferbar, um Herstellern sicherheitskritischer Produkte für die Wehrtechnik und Aerospace-Industrie bei der Senkung ihrer Kosten und der Verkürzung ihrer Markteinführungszeit zu helfen.

Die Dr. Inder Singh, CEO von LynuxWorks, bemerkt: “Diese bahnbrechende Lösung wird einen risikoarmen Weg zur DO-178B-Zertifizierung ebnen und die Markteinführung sicherheitskritischer Systeme beschleunigen. Zwar gibt es durchaus auch andere Betriebssysteme für die DO-178B-Zertifizierung, doch haben wir es hier mit dem einzigen kommerziell angebotenen Betriebssystem zu tun, das sämtliche Artefakte und Komponenten für die Zertifizierung gemäß FAA DO-178B Level A mitbringt. Darüber hinaus bietet LynxOS-178 noch einzigartige Features und Fähigkeiten, durch die das Produkt auch für einen erweiterten Kreis von Herstellern interessant wird, welche Systeme nach sehr strengen Sicherheits und Zuverlässigkeits-Standards entwickeln müssen.”

Hauptvorteile von LynxOS-178

Unterstützung für sicherheitskritische Performance-Features

Ausgereifter, stabiler und vollständig zertifizierbarer Kernel – Die Basis von LynxOS-178 ist LynxOS, ein Embedded-Betriebssystem, das seine Tauglichkeit seit dem Jahr 1988 in Millionen von Einsätzen beweisen musste. Das Betriebssystem LynxOS-178 wiederum bildet die Grundlage für eine Vielzahl sicherheitskritischer Systeme, die gemäß DO-178B zertifiziert wurden. Dazu zählen der Bombardier Challenger 300 (primäres Flug-Display), das KC-135 (verschiedene Module) und weitere Anwendungen.

Feste zeitliche und räumliche Ressourcenaufteilung – LynxOS-178 implementiert einen ARINC 653-gemäßen zeitlichen Partitionierungs-Algorithmus, der jeder Partition eine fest vorgegebene Verarbeitungszeit zuteilt und das System somit deterministisch sicher macht. Außerdem unterstützt das System die RTCA DO-255-gemäße System-Partitionierung, die die Voraussetzungen dafür schafft, mehrere unterschiedlich kritische Applikationen innerhalb der einzelnen Partitionen vollkommen isoliert voneinander durch ein und dieselbe Hardware-Ressource verarbeiten zu lassen. LynxOS-178 unterstützt die feste Speicher-Partitionierung auf der Basis einer Prozessor-MMU. Kompletter MMU-Support bietet die Zuverlässigkeits-Vorteile von geschütztem Speicher kombiniert mit den Performance-Vorteilen hardwaremäßig zugewiesener virtueller Adressen zur festen Aufteilung zwischen den virtuellen Maschinen. Mit LynxOS-178 ist auch der geschützte Betrieb einer jeden Task innerhalb ihres eigenen Bereichs möglich, um kompromisslose Zuverlässigkeit innerhalb einer fest aufgeteilten virtuellen Maschine zu erreichen und die Voraussetzungen für eine einfachere Applikations-Zertifizierung zu schaffen. Konkurrierenden Lösungen fehlt diese zusätzliche Granularitäts-Ebene.

Markteinführungszeit-Vorteile

POSIX-basierte Schnittstellen – Durch die Unterstützung der allgemein bekannten POSIX-Schnittstellen fällt der Zeit und Kostenaufwand für die Ausbildung von Programmierpersonal praktisch völlig weg. Andere Produkte auf der Basis weniger bekannter oder proprietärer Schnittstellen bringen für Unternehmen größere Probleme mit sich, was das Management des Programmier-Personals und die Programmpflege betrifft. Auch die Entwickler sparen Zeit und Kosten durch die Programmierung und Pflege von Programmen auf der Basis der offenen POSIX-Standards.

Zügigere Zertifizierung von Upgrades und Ergänzungen – Die Unterstützung für ein mountbares Dateisystem und dynamische Gerätetreiber erleichtert die Zertifizierung von Upgrades und Ergänzungen. Applikationen und Treiber müssen nicht in das Betriebssystem gelinkt werden, sondern lassen sich isolieren, was den Re-Zertifizierungsaufwand für das Gesamt-Betriebssystem verringert, wenn nur eine Applikation oder ein Treiber der Modifikation bedarf. Bei konkurrierenden Lösungen ohne dieses Feature muss dagegen das gesamte System mit sämtlichen Applikationen, Kernels und Bibliotheken neu verifiziert oder zertifiziert werden, wenn Upgrades oder Ergänzungen vorgenommen werden.

Artefakte – Zu LynxOS-178 gehört ein ‚Artifacts Package‘ für Kernel und Anwender-Bibliothek mit voller DO-178B-gemäßer Zurückverfolgbarkeit vom Lastenheft über das Design und den Code bis zu den Tests und Testergebnissen.

Risikoarme DO-178B-Zertifizierung verringert die Kosten und beschleunigt die Markteinführung

Durch die kommerzielle Verfügbarkeit von LynxOS-178 können Entwickler ihre Produkte schneller auf den Markt bringen, da sie auf fertig zertifizierte Software und Artefakte zurückgreifen können. LynxOS-178 wird den Vorgaben der DO-178B-Spezifikation in vollem Umfang gerecht und ermöglicht es dem Entwickler, die technischen Vorgaben bei der Produktion von Software für Systeme in Luftfahrzeugen zu erfüllen. Insgesamt bietet LynxOS-178 dem Entwickler einen großen Nutzen, da er sicherheitskritische Systeme zügig auf den Markt bringen kann.

In den vergangenen Jahren haben die Hersteller sicherheitskritischer Systeme in der Medizin und Nukleartechnik, im Bereich der Kommunikations-Infrastruktur und auf anderen Gebieten den Wert von Software erkannt, die nach diesem hohen Standard entwickelt wurde. Allerdings waren die Kosten für eine DO-178B-gemäße Implementierung in vielen Fällen übermäßig hoch. Dies ändert sich jetzt durch die kommerzielle Verfügbarkeit von LynxOS-178, die die Nutzung dieses hohen Software-Qualitätsniveaus möglich macht.

Die Software-Zertifizierung stellt eine der entscheidendsten Komponenten eines verlässlichen und sicheren Betriebssystems dar. Die Einführung von LynxOS-178 stellt somit den ersten Schritt auf dem Weg zu einem sicheren Kernel dar, der dem zusehends wachsenden Bedarf an sicherer und sicherheitsbewusster Computertechnik gerecht wird. Das Unternehmen beabsichtigt die Einführung eines nach den Common Critera EAL7 (Evaluation Assurance Level) zertifizierten Echtzeit-Betriebssystems gemäß dem internationalen Standard für die Entwicklung ultrasicherer Software, die Systemen Schutz vor Risiken wie etwa Cyber-Terrorismus bietet.

Verfügbarkeit

Abgesehen vom LynxOS-178-Kernel schließt die Lösung auch ein komplettes Artifacts Package für den Kernel und die Anwender-Bibliothek ein, die nach DO-178B vorgeschriebene Dokumentation, Code-Coverage-Testsequenzen und Analysen für eine 100% Modified Condition/Decision Coverage von Kernel und Bibliotheken, eine komplette Auswahl an standardkonformen Entwicklungswerkzeugen und Support umfasst. In Kürze wird das Unternehmen auch den ersten kommerziell angeboten, zertifizierbaren TCP/IP-Stack einführen.

Über LynuxWorks

LynuxWorks gehört zu den führenden Herstellern im Embedded-Software-Markt und bietet Betriebssysteme, Produkte für die Softwareentwicklung sowie Beratungsdienstleistungen für die weltweit erfolgreichsten Unternehmen aus Kommunikation, Aerospace/Verteidigung sowie Consumer-Elektronik. Das 1988 gegründete Unternehmen ist ein Gründungsmitglied der RTOS-Branche (Real Time Operating Systems = Echtzeitbetriebssysteme) sowie ein führender Teilnehmer des Embedded Linux Consortium (ELC). Die Unternehmenszentrale befindet sich in San José, Kalifornien.

Die Produktpalette von LynuxWorks umfasst das quelloffene BlueCat® Linux und das skalierbare, Linux-kompatible Echtzeitbetriebssystem LynxOS. Führende Unternehmen in der ganzen Welt setzen Produkte von LynuxWorks ein, unter anderem: 3Com, Alcatel, Boeing, Ericsson, Hewlett Packard, Jet Propulsion Laboratory, Lockheed Martin, Lucent Technologies, Marconi, Mitsubishi, Motorola, NEC USA, Raytheon, TRW und Xerox.

LynuxWorks ist ein Warenzeichen und LynxOS und BlueCat sind eingetragene Warenzeichen von LynuxWorks, Inc. Alle anderen Markennamen und Warenzeichen in dieser Pressemitteilung sind Eigentum ihrer jeweiligen Besitzer. Linux ist ein eingetragenes Warenzeichen von Linus Torvalds.

Nähere Informationen erhalten Sie von:

Hamid Mirab Managing Director EMEA LynuxWorks Ltd. United Kingdom +44 208-906-9506

Viviane Baltzer WICKPR & partners Leopoldstrasse 206 D-80804 München +49 (0) 89 306688-66

Belegexemplar erbeten an WICKPR & partners