MoBIES Project
DIVES: Design, Implementation, and Validation Of Embedded Software
 

:
(internal use only)

 

Maintained by
Insup, Oleg, Valya
July 20, 2000

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