Produkter

RTOS/RTK
AMX
CMX
CSC01 (CANopen Safety Chip)
CsLEOS RTOS

INTEGRITY-178B RTOS

LynxOS-178
Nucleus RTOS
OS-9
OSE RTOS
QNX
(RTEMS, Open source)
Rubus Red/Blue/Green Kernel
Safety Certifiable Firmware
Safety-Critical ARINC 653 platform
SmartKernel
ThreadX RTOS
TTA/TTP
µC/OS-III RTK

Artiklar/Översikter
A Comparison of Partitioning Operating Systems för Integrated Systems.
<B Leiner et al, SAFECOMP 2007, s 342-355.>
Is your RTOS safe and secure? Artikeln som pdf eller länk till artikeln
Market overview: RTOS
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Rebirth of the Computer Industry
Safety Analysis of Computer Resource Management Software
Secure Programming for Linux and Unix
Technical Committee on Real-Time Systems
Windows XP Shows the Direction Microsoft is Going