Modular CNC software for Arduino controller
The goal of the project is the realization of a modular firmware that allows to control a CNC machine with different utensils. For instance, a CNC with a drill, with few changes can become a plotter with a pen or cutting machine to cut cardboard or stickers. In order to do that, we want project a CNC router with a mechanism that allows a fast utensil change and a controlling firmware which can use different utensils changing some configuration parameters.
Helixis is a framework that allows the creation of application software for all types of equipment (PC, Pocket PC, Smartphone, mobile phone, etc..). It is scalable and is ideal for video games and embedded applications in general.
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.