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

Research

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.