#!/usr/local/bin/php MoBIES: University of Pennsylvania

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

(internal use only)


Maintained by
Insup, Oleg, Valya
July 20, 2000


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