I have just attended The Open Group meeting in Munich. The Open Group look after standards such as POSIX and as such Wind River are a member of the Real Time and Embedded Systems Forum.

This week as part of the Real Time Group we were looking at “Dependability through Assuredness” and had some great presentations on formal methods and security. We (or rather my boss Rob Hoffman) presented on the MILS architecture. If you want to see a demo of this technology then visit MILCOM 2008

Continue Reading ››