VxWorks MILS 2 in der Evaluierungsphase zur Zertifizierung nach EAL6+/NSA

VxWorks MILS 2, Wind Rivers Umsetzung des Sicherheitskonzeptes MILS (Multiple Independent Levels of Security), befindet sich im Verfahren zur Zertifizierung nach Common Criteria (ISO/IEC 15408) Evaluation Assurance Level 6+/NSA High Robustness. VxWorks MILS 2 nutzt die Technologie von Wind Rivers Betriebssystem VxWorks 653. Eingesetzt wird VxWorks 653 in mehr als einhundert Software-Systemen im Bereich Luft- und Raumfahrt, darunter im Common Core System der Boeing 787 Dreamliner und im Betankungssystem des Airbus A330 Multi-Role Tanker Transport. Mit der Zertifizierung nach EAL6+/NSA High Robustness kann VxWorks MILS 2 von den Herstellern in der Luft- und Raumfahrt für Systeme eingesetzt werden, die Daten aus drei oder mehr Sicherheitsbereichen simultan verarbeiten und die Informationen, auch von verschiedenen Partnern, im Hinblick auf ihre Sicherheitsstufe klassifizieren sollen. Die Systemarchitektur MILS hilft dabei, die umfangreichen Anforderungen an sicherheitskritische Anwendungen für Systeme der nationalen Sicherheit, für Netzwerke oder Industriesteuerungen unter einen Hut zu bringen. Ein MILS-Betriebssystem teilt einen Prozessor gewissermaßen unter mehreren Softwarekomponenten auf, wobei Ressourcen-Zuteilung, Datenfluss, Fehleranalyse strengen Regeln unterworfen sind. Zu den Funktionsmerkmalen von VxWorks MILS 2 gehört eine 2-Level-Architektur für höhere Systemleistung - Systeme auf VxWorks MILS 2 benötigen weniger Rechenleistung als auf vergleichbaren Systemen bei identischem Funktionsumfang. Modulare XML-Konfigurationsdaten und Security-Regeln verringern den Aufwand für Änderungen, da sie die Zertifizierungsprozesse beschleunigen. Eigenständige Build-, Link-, Load- und Configuration-Funktionen ermöglichen die vollständige Isolierung von Anwendungen nicht nur während der Ausführung, sondern während des gesamten Lebenszyklus'. Das beschleunigt die Entwicklung und erleichtert es, die Systeme immer auf dem neuesten Stand zu halten. Für die Evaluierung von VxWorks MILS 2 entsprechend Common Criteria EAL6+ arbeitet Wind River mit den Experten für Software-Sicherheit CygnaCom Solutions als Common Criteria-Testlabor und der Universität von Idaho für die nach EAL6+ erforderlichen formalen Test-Verfahren zusammen. Unternehmen mit Bedarf an Security nach MILS wenden sich für einen Vorab-Zugang zu VxWorks MILS 2 an Wind River. Die Zertifizierungszeit hängt von den kundenspezifischen "Targets of Evaluation" ab.