Real-Time Event Frameworks based on active objects & state machines
QFSViewer is a small tool to view system raw image files.
State machine framework for reactive embedded systems
PRTOS is a simple, compact preemptive RTOS for embedded systems
Performs SCOAP and PODEM algorighms on ISCAS89 Netlists.
Cross platform configuration tool for Ciseco XRF radio devices
JBernstein: Exploration techniques for non-linear constraint checking