Overview
Wind River® customers who are responsible for defense, networking, industrial, and other infrastructure systems worldwide are demanding ever increasing functionality in addition to secure and safe operation with very high assurance of protection from inadvertent or intentional errors or threats. These systems also must often operate with reduced size, weight, and power (SWaP) requirements. To meet these challenging demands, a system architecture called Multiple Independent Levels of Security, or MILS, can be used to partition a single processor among multiple software components. MILS enables time and space resource allocation, information flow control, and fault isolation, all strictly enforced so that the MILS-based system will conform to security policies defined by security architects and system integrators.
Wind River has leveraged its experience with the industry-leading Wind River VxWorks® 653 Platform for safety-certified integrated modular avionics (IMA) systems to create the VxWorks MILS separation kernel, which meets the security functional and security assurance requirements in the "U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness" (SKPP), version 1.03. Wind River VxWorks MILS Platform provides the ideal high performance and scalable software foundation on which to build multilevel secure (MLS), cross-domain solution (CDS), and other security-critical systems.
Designed to meet the stringent security functional and security assurance requirements of Common Criteria EAL6+, VxWorks MILS Platform is ready for use in systems that may require high assurance system-level evaluation. Common Criteria—based security evaluation evidence and DO-178C DAL A safety certification evidence will be available for VxWorks MILS Platform to support system-level evaluation or certification and accreditation (C&A) processes.
Features
- Secure, Type 1 hypervisor–based separation kernel compliant to SKPP v1.03
- Powerful two-level scheduling architecture
- VxWorks Guest OS
- Wind River Linux Guest OS (optional, add-on product)
- High Assurance Environment
- General Network Stack
- High Assurance Network Stack (optional, add-on product)
- Wind River Workbench development suite
- Configuration and build partitioning tools
- DO-297/ED-124 development process support
- Complementary technologies from the Wind River partner ecosystem
Architectures, Board Support Packages, and Optional Components
Supported Target Architectures
- PowerPC 86xx
- PowerPC 85xx
Supported Commercial Off-the-Shelf (COTS) Board Support Packages
- BSP for Curtiss-Wright VPX6-185 (PowerPC MPC8641D)
- BSP for Wind River SBC8548 (PowerPC MPC8548)
Optional Components for VxWorks MILS Platform
- High Assurance Network Stack
- Wind River Linux Guest OS
- Wind River Workbench On-Chip Debugging
- Wind River ICE 2
- Wind River Probe
Partner Complementary Technologies
The world-class Wind River partner ecosystem ensures tight integration between our core technologies and those of the premier hardware and software companies we've chosen to build out our solutions. Our partners help extend the capabilities of Wind River development and run-time platforms by offering out-of-the-box integration and support for key technologies in the aerospace and defense market. Our customer support team is trained to troubleshoot partner technologies in use with Wind River products, making ours the most comprehensive and best-supported partner ecosystem in the industry.
Affiliations
Wind River supports the use of open industry standards. Because we believe the world is changing too fast to lock our customers into proprietary technologies, we've built our solution on open standards, expertly integrated and intelligently applied.


Wind River VxWorks MILS Platform Product Overview