LynxSecure 2.0

LynuxWorks, Inc.

Flag/report this product
A next-generation separation kernel and embedded hypervisor for high-assurance systems


  • Provides a standards-based, secure, multidomain 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
  • Allows legacy applications to run unmodified, enabling systems to be modernized with increased information sharing and security
  • Designed from the ground up to minimize life-cycle 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 dramatic schedule, cost, and risk advantages over traditional approaches to formal methods used by other embedded software developers
  • Automated formal methods allow technology insertions to occur seamlessly, which significantly reduces the time to achieve a Common Criteria Evaluation Assurance Level 7 (EAL7) evaluation and subsequent reevaluations
  • Virtualizes the underlying hardware to enable multiple, heterogeneous OSs to coexist on the same platform
  • Optimized to take full advantage of Intel's virtualization technology
  • As opposed to providing emulation layers to execute guest OSs, which can slow system performance, the LynxSecure Type-1 hypervisor provides platform virtualization to the guest OS and near-hative performance
  • Supports a lightweight Application RunTime environment that can be used for creating secure applications without an intervening OS, which can be evaluated to the required assurance level up to EAL7
  • Brings multicore processor support to the high-assurance world, providing scalability from deeply embedded applications up to workstations and servers
  • Designed to run on any 32-bit or 64-bit processor with a memory management unit (MMU) and provides 100 percent application binary compatibility between a stand-alone OS and its virtualized version
  • Conforms to the MILS standard and certifiable to DO-178B level A
  • Support for open standards: POSIX, Linux ABI, and ARINC
  • Assignment capabilities that allow devices to be assigned to specific guest operating systems
  • Configuration tool for platform configuration and security policy definition
  • Virtual networking between guest operating systems

See also:

Go Back

Flag/report this product