RTOS, Embedded Linux, Real-Time Operating System and DO-178B: LynuxWorks

OS Security
Secure operating system and architecture

USAF C/KC-135 Upgrades are powered by the LynxOS-178 secure operating system and earned DO-178 certification
Security: USAF C/KC-135 Upgrades
are powered by the LynxOS-178 secure operating system and earned DO-178 certification

The events of September 11, 2001 and its aftermath have created a heightened awareness of security loopholes in every aspect of homeland security. The security of an embedded device depends heavily on its operating system (OS) for a secure environment for its applications.

LynuxWorks delivers

Security white papers

Today's aerospace and defense system developers trust LynuxWorks for the uncompromising security and reliability that their applications require. It's no wonder that our flagship LynxOS® real-time operating system is currently at work in more than one million mission-critical embedded applications.

New LynxSecure provides the latest, most secure system architecture

LynuxWorks™ understands the importance of a secure embedded OS. The new LynxSecure separation kernel from LynuxWorks is the only operating system that supports both Common Criteria EAL-7 and DO-178B level A.

LynxSecure expands on the proven real-time capabilities and system security of the LynxOS® real-time operating system (RTOS) by adding time-space partitioning and operating-system virtualization.

The LynxSecure separation kernel supports multiple levels of security on a single processor, in conformance with the Multiple Independent Levels of Security (MILS) architecture. The MILS architecture demonstrates component layering (kernel, middleware and application) such that security policy definition is separated from policy enforcement.

Within the robust LynxSecure environment, multiple secure and non-secure operating systems can perform simultaneously—with no compromise of security, reliability or data.

Open standards and POSIX

As part of our long-standing commitment to open standards, LynuxWorks operating systems are POSIX®-based and Linux®-compatible. Since the LynuxWorks separation kernel will be open standards-based, POSIX-based OSes will be able to run in a secure partition. The EAL-7 separation kernel will eliminate the timely and costly system evaluation process that the government and military are currently performing on each operating system, by ensuring that current Linux, Solaris™, HP-RT, HPUX and UNIX® applications can be easily migrated to the EAL-7 secure environment.

Understanding Common Criteria and EAL levels

The evaluation of security software through the Common Criteria standard defines "evaluation assurance levels" (EAL 1-7) that indicate the process rigor associated with the development of an information technology product, as shown below:

The level of assurance rigor increases from EAL1 (lowest) to EAL7 (highest). Assurance to EAL7 involves formal verification of the software product using mathematical models and theorem proving. A software product developed according to a protection profile is certified to a specific EAL level by a US government-approved Common Criteria Testing Lab (CCTL).

The secure Multiple Independent Levels of Security (MILS) architecture demonstrates component layering (kernel, middleware and application)

RTOS and embedded operating systems

Embedded operating systems and development tools

Corporate

Industry solutions

OS Support

OS Training

SynergyWorks: LynuxWorks partners

contact us
ISO9001:2000 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. 20 years of embedded excellence