Multiple Independent Levels of Security

2 articles

Fun with VxWorks MILS 2.1

By Paul Parkinson It’s been a while since my previous blog, as I have been rather preoccupied with responding to a number of RFPs. However, I’ve managed to find some time to work on some demos for VxWorks MILS 2.1, which has been fun. VxWorks MILS 2.1 introduced support for Wind River Linux as a Guest OS (VxWorks Guest OS…

High Assurance Systems Development Using the MILS Architecture

By Paul Parkinson 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…