Developing Security-Critical Applications for MLS

In the aerospace and defense industry there is a growing demand to support high levels of security (Common Criteria EAL4 through EAL7) on critical systems while reducing size, weight, and power (SWaP). To address this demand, there are now commercial-off-the-shelf (COTS) operating system foundations that enable both single level secure (SLS) and multilevel secure (MLS) solutions that speed time-to-market and enable the support of multiple security domains on a single silicon platform.

However, one of the most challenging components of these solutions is the development of secure applications in these platforms. There is now an open standard, formally defined computer programming language, SPARK, that is designed to support this critical software development process and meet certification requirements of high security software used in applications and systems where predictable and highly reliable operation is essential.

Join Wind River and AdaCore in this web seminar that unveils the power of COTS solutions and open languages that enable the creation of robust, high security application software for critical systems.