Links
SDRL: Systems Design Research Lab.
RTG: Real Time Systems Group.
Hybrid systems: Hyrid Systems Group.
CHARON: A modular language for hybrid embedded systems.
Code Generation: Model-based Code Generation from CHARON.
Test Generation: Model-based Test Generation for Hybrid Systems.
MARS: Software for controlling multiple autonomous robots.
MOCHA: Exploiting Modularity in Model Checking.
MoBIES Automotive Open Experimental Platform: University of California, Berkeley.
Boeing MoBIES Open Experimental Platform
|