Open Source platform with FreeRTOS, processor abstraction
amforth is an extendible interpreter on microcontrollers
AO RTOS is small real time OS based on Active Object concurrency model
A GUI system for embedded systems.
BASIC-like language interpreter for embedded systems
State machine framework for reactive embedded systems
W-Bus communication library
Synthesizing embedded control software from formal specifications
Technologies for automating food production on various scales
JBernstein: Exploration techniques for non-linear constraint checking
Unified desktop and embedded Serial port API
FW and HW design for a 7-key chording keyboard