The VxWorks MILS Platform from Wind River complies with the Separation Kernel Protection Profile (SKPP), which means this secure separation kernel is ready for use in security-critical systems that may require system-level high assurance evaluation or certification and accreditation (C&A). It partitions a single processor among multiple software components, with time and space resource allocation, information flow control, and fault isolation, all strictly enforced to conform to security policies defined by security architects and system integrators, Wind River says. Also, it can host a range of guest operating systems and provides high-performance, standards-based management and high scalability for Intel and PowerPC architecture processors, according to the company.
The multiple independent levels of security (MILS) architecture enables the reduction of size, weight, and power (SWaP) through hardware consolidation and streamlines multi-supplier development and deployment with support for DO-297 role-based processes. For security-critical avionics systems, Wind River plans to enhance the VxWorks MILS Platform to conform with the Future Airborne Capability Environment (FACE) technical standard. Furthermore, Wind River says that the Type 1, hypervisor-based platform will have high-assurance security evaluation evidence based on the Common Criteria and DO-178C DAL A avionics safety certification evidence available.
Wind River is presenting VxWorks MILS Platform 3.0 at Design West 2013, booth 926 in the Intelligent Systems Zone. The platform is available now, and a multicore-enabled version is currently available as an early access release. For details, go to www.windriver.com/products/platforms/vxworks-mils/.