High Assurance Systems Development Using the MILS Architecture
When I'm discussing VxWorks MILS with Wind River customers, I often find that in addition to wanting hear about the capabilities and features of the platform, they are also interested in the rationale for the MILS architecture and the implementation approach for the VxWorks MILS separation kernel.
So, I've recently written a technical white paper "High Assurance Systems Development using the MILS Architecture" with my colleague Arlen Baker. This provides a technical deep-dive on the implementation approach taken for the VxWorks MILS separation kernel, and discusses how MILS technologies can be used to develop sophisticated Cross Domain Solutions (CDS) and Multi-Level Secure (MLS) systems, such as MILS-based gateways.
Wind River Blog
The Wind River Blog is made up of a variety of voices: executives, technologists and industry enthusiasts. We hope to foster conversations and encourage the sharing of insights regarding the evolving landscape of intelligent, connected systems with our ecosystem of customers, partners and colleagues.
Get our RSS feed