MILS hilft dabei, die Anforderungen an sicherheitskritische Anwendungen für Systeme der Luft- und Raumfahrt oder der nationalen Sicherheit 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. Zur VxWorks MILS 2-Plattfom sollen folgende Komponenten gehören:
- der VxWorks MILS-Separierungskernel, der im Hinblick auf Konformität mit dem NIAP-validierten U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness, Version 1.03, entwickelt wurde,
- Wind River High-Asssurance Environment für Kundenanwendungen im Hochsicherheitsbereich wie partitionierte Guards und Downgrader,
- das partitionierte Echtzeit-Betriebssystem Wind River VxWorks, das die direkte Übernahme vorhandener VxWorks-Anwendungen erlaubt,
- in der Industrie genutzte Stacks wie IPv4, UDP und TCP,
- eine breite Palette spezifischer Treiber und Middleware von Partnern sowie
- die Eclipse-basierte Entwicklungsumgebung Wind River Workbench.
Die Evaluierung von Wind River VxWorks MILS 2 Platform erfolgt entsprechend Evaluation Assurance Level 6+ / High Robustness unter den internationalen "Common Criteria for Information Technology Security Evaluation".