Archive For November, 2010

2 articles

Military Aerospace & Electronics Show UK

I am looking forward to attending the UK's Military, Aerospace & Electronics Show, which will take place on 30th November. This year's conference programme has a strong emphasis on open systems architectures, but there is also an increasing focus on Information Security. To complement these themes, there will be a live demonstration of the VxWorks MILS separation kernel on the…

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…