LynuxWorks has announced the immediate availability of LynxSecure 2.0, a 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.

LynxSecure was designed from the ground up 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. Automation provides schedule, cost and risk advantages over traditional brute force approaches to formal methods used by other embedded software developers. LynxSecure's use of automated formal methods allows technology insertions to occur seamlessly, which reduces the time to achieve a Common Criteria Evaluation Assurance Level 7 (EAL-7) evaluation and subsequent re-evaluations.

LynxSecure 2.0 virtualizes the underlying hardware to enable multiple, heterogeneous operating systems (OS) to coexist on the same platform, making it the ideal platform for today and tomorrow's advanced hardware architectures. LynxSecure is optimized to take full advantage of Intel's Virtualization technology.

Traditional systems require a separate processor and system, one for each deployed OS environment and supported applications. The ability of LynxSecure to consolidate heterogeneous OS environments enables developers to engage a diverse array of applications on a single processor, which reduces hardware costs and allows for easier reuse of legacy software. In addition, LynxSecure supports a lightweight Application Run-Time environment that can be used for creating secure applications without an intervening OS which can be evaluated to the required assurance level up to EAL-7.

LynxSecure, with its small code size, maintains hard real-time characteristics and determinism for real-time applications. The software is the first separation kernel & hypervisor to bring multi-core processor support to the high assurance world, providing scalability from deeply embedded applications up to workstations and servers.