Whitepapers

Separation Kernels Enable Rapid Development of Trustworthy Systems

iotSecuring the Internet of Things Just Got Easier

Coming Together of Safety and (Cyber) Security Changes Demands in RTOS Market

Now Any Embedded System Can Be Hi-Reliability

The Rise of the Type Zero Hypervisor

Can Sensitive Data for Tactical Military Environments Be Protected in the Cloud?

Lynx Software Technologies Patented Technology Speeds Handling of Hardware Events

Building on 2011 – the Year that Secure Computing Came of Age

Building in RTOS Support for Safety- & Security-Critical Systems

Enhancing Application Performance on Multicore Systems

Hardware Virtualization Puts a New Spin on Secure Systems: Virtualization for Secure Systems

CAAS Upgrades Will Include New Version of LynxOS-178 Operating System in Partitioned Memory

Medical: Creating a Secure Open Platform for Health Information

Using a Separation Kernel to Add Military-Grade Security to Legacy Systems

Virtualization: Keeping Embedded Software Safe and Secure in an Unsafe World

Secure Virtualization Combines Traditional Desktop OSs and Embedded RTOSs in Military Embedded Systems

DO-178B Provides Certification Safety Net

Designing Safety-Critical Avionics Software Using Open Standards

The Good News and the Bad News: Your New Chip Has Multiple Cores

Two Different Realms: RTOS Support for Safety-Critical vs. Security-Critical Systems

Virtualization Makes Better Use of Open-Source OSes and Apps

Secure Virtualization Technology Can Extend the Life of Legacy Systems

Virtual Machines: Intel’s CPU Extensions Transform Virtualization

Separation Kernel for a Secure Real-Time Operating System

Advances in Virtualization Aid Information Assurance

Considerations in Designing Multicore Systems

LynuxWorks Patented Technology Speeds Handling of Hardware Events

Using the Microprocessor MMU for Software Protection in Real-Time Systems