A flight software and embedded systems framework
Real-Time Event Frameworks based on active objects & state machines
Simplest kernel for cooperative multithreading
RTOS for Secure, Safe and Real-Time Systems
Real time preemptive embedded multi-thread kernel
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs