Client mode firmware for TrendNET TEW-652BRP V2
Firmware to run the TrendNET TEW-652BRP version 2.x wireless router in client mode. Based on GPL firmware provided by TrendNET and modified to change the operating mode of the router from Access Point to wireless client.
EJDB - Embedded JSON Database engine
EJDB is an embedded JSON database engine. It aims to be a fast MongoDB-like NoSQL library that can be embedded into C/C++ applications. It features collection-level write locking, collection level transactions, string token matching queries, and a Node.js binding.
Secondary bootloader for LPC1226 and similar
Firmware using RAM located Interrupt pointers AES encryped Firmware
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. A step-by-step tutorial is available within the software package.