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.