RTOS, secure virtualization technology for real-time systems, DO-178B and hypervisor for the most demanding embedded operating system applications...

Ground Control System: Operating-System Requirements for Command and ControlOperating system applications for avionics and military ground control systems

Embedded OS from LynuxWorks: who uses a LynuxWorks embedded OS or secure virtualization?

A ground control system has unique operating-system requirements and security needs. Fulfill these requirements by combining the LynxOS-178 real-time operating system for DO-178B certification with the LynxSecure separation kernel and hypervisor.

A ground control system is often implemented on large Intel®-processor blade-based multi-core systems, with DAL safety-critical code coexisting alongside non-secure graphics, third-party and COTS software applications.

When building a ground control system on an Intel multicore environment, the LynxSecure separation kernel and hypervisor provides brick-wall partitions between the LynxOS-178 RTOS and other installed operating systems. This way, the various needed secure, non-secure and DO-178B code, such as DAL applications, can all run together separately and securely. All DO-178B code is isolated within a single core that could even be moved off-board, if deemed necessary for certification purposes.

LynxSecure embedded hypervisor and separation kernel

LynxSecure Separation Kernel and Hypervisor

LynxSecure conforms to the Multiple Independent Levels of Security/Safety (MILS) architecture, with strict adherence to data isolation, damage limitation and information flow policies identified in this architecture. Partitions and information-flow policies are defined by the kernel's configuration. This provides a robust foundation for the creation of multi-level secure systems.

LynxSecure provides a scalable solution ranging from deeply embedded systems to high-end workstations and servers for the design of applications in embedded avionics products, weapons systems, C4ISR data systems as well as critical infrastructure control systems. Read more about secure virtualization with LynxSecure.

LynxOS-178 RTOS

LynxOS-178 RTOS for DO-178B certification

In addition to a proven track record on Intel® hardware, LynxOS-178 supports Linux® and POSIX® APIs, as well as safety-critical ARINC 653 partitioning. Many of today's ground control application components run on a Linux operating system, which is compatible for use with the LynxOS-178 RTOS.

LynxOS-178 is the only DO-178B operating system to have been awarded an RSC (Reusable Software Component) designation from the FAA. System developers can reuse operating system artifacts without recertifying and testing the entire operating system. Learn more about DO-178B RSC here.

Future Airborne Capability Environment (FACE™) Consortium

LynuxWorks™ is a member of the Future Airborne Capability Environment (FACE) Consortium, managed by The Open Group, whose goal is to provide a common airborne computing environment for the Navy and other military branches. The FACE Consortium is an industry-government collaboration consisting of 39 members, including the U.S. Navy Air Combat Electronics Program Office, the U.S. Army Aviation and Missile Research and Engineering Center, and several leading industry defense contractors and avionics suppliers.

A LynuxWorks embedded OS is featured in this LynxSecure embedded system application:
Who else uses a LynuxWorks embedded operating system?

LynxSecure advantages

  • Optimal security and safety—the only operating system designed to support both CC EAL-7 and DO-178B level A
  • Real time—time-space partitioned separation kernel for superior determinism and performance
  • Hypervisor and virtualization technology— supports multiple heterogeneous, both para-virtualized and fully virtualized, operating system environments on the same physical hardware including Intel® VT
  • Highly scalable—supports Symmetric MultiProcessing (SMP) and 64-bit addressing for high-end scalability
  • Support for open standards—100% binary compatibility for Linux- or POSIX-based software applications allows them to migrate to a highly robust, secure environment
  • Faster time to market—enables developers to begin early development for secure applications
 
LynxSecure Separation Kernel and Embedded Hypervisor LynxOS-SE Embedded RTOS Luminosity Eclipse-based IDE
LynxOS Embedded RTOS RTOS: LynxOS-178 for software certification

 

SpyKer Embedded-System Trace Tool

Industry Solutions

Migration

Industry Standards

Embedded Systems Technology

RTOS Training for Embedded Systems

Training at LynuxWorks

LynuxWorks Support

Embedded Systems

LynxOS RTOS Support

Embedded System Consulting

Contact Us

About LynuxWorks

Press Room

Newsletter and Announcements

Careers

Partners

Site Map

Board Support Packages (BSPs)

BSP Device Drivers

BSP Targets by Operating System

BSP Targets by Form Factor

Third-party I/O Devices and Hardware

SynergyWorks: LynuxWorks partners


What is SynergyWorks?

Third-party add-ons for LynuxWorks operating systems

Copyright © LynuxWorks™, Inc. All rights reserved. Reproduction in whole or in part in any form or medium without express written permission of LynuxWorks is prohibited.