Open Source middleware platform with FreeRTOS, processor abstraction
Open IoT Framework
Synthesizing embedded control software from formal specifications
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
Arduino Based Driver for Advatel Ledboard
JBernstein: Exploration techniques for non-linear constraint checking
Open Source Hardware For Industrial Automation
FW and HW design for a 7-key chording keyboard
Alternative PE to rescue, hack or troubleshoot your machine or network