A flight software and embedded systems framework
Framework for CAN communication interfaces including code generator
Real-Time Event Frameworks based on active objects & state machines
An analysis tool showing the structure of a C program
PRTOS is a simple, compact preemptive RTOS for embedded systems