Just released by Lynuxworks is LynxSecure 2.0, a new next-generation separation kernel and embedded hypervisor for high assurance systems.
LynxSecure provides a standards-based, secure, multi-domain computational platform that serves as a trusted foundation for applications with low, medium and high assurance requirements that are all running concurrently on a single system. It allows legacy applications to run unmodified, enabling systems to be modernized with increased information sharing and security.
According to Arun Subbarao, vice president of engineering at LynuxWorks, LynxSecure was designed to minimize lifecycle costs (initial and tech refresh) of high assurance evaluation, certification and accreditation by using automated tools and the correct-by-construction methodology for formal methods and artifacts.
