Model-based Synthesis of Generators for Embedded Systems

PI: Gabor Karsai

Sponsor: DARPA

This project is about novel model-based technologies for the coordinated, consistent, and verifiable design of complex embedded computing systems. Although primarily targeted at generators embedded system software and hardware development, this work eventually benefits a much wider range of application domains as well. Sponsored by the Model-Based Integration of Embedded Systems (MoBIES) Program of DARPA.

Old project website is available here.