Open Source middleware platform with FreeRTOS, processor abstraction
Open IoT Framework
MGSyn - Automatic Synthesis for Industrial Automation
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