Highlighting its continued leadership in aerospace and defence software, LynuxWorks has announced the availability of LynxSecwe 2.0, a separation kernel and embedded hypervisor for high-assurance systems.
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. With its extremely small code size, LynxSecure maintains hard real-time characteristics and determinism for real-time applications. The software is the first separation kernel and hypervisor to bring multi-core processor support to the high assurance world.