PI: Gabor Karsai
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.