#!/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


CHARON: A modular language for hybrid embedded systems. Click here to browse through the CHARON grammar.

Code Generation: Model-based Code Generation from CHARON.

Test Generation: Model-based Test Generation fro Hybrid Systems.