• code generation
• model-based design
• discrete-event
• embedded systems

Model-based design is an effective technique for designing cyber-physical systems. This approach relies on the use of models to represent the system elements and their relationship.
A Discrete-Event System (DES) is a discrete-state, event-driven system in which its state evolution depends entirely on the occurrence of asynchronous discrete events over time.
Ptolemy II is an open-source actor-oriented modeling and simulation tool which allows the use of different models of computation.
Acceleo is an open-source template-based model-driven code generator originally developed by Obeo and now part of the Eclipse Foundation. It allows the creation of custom templates and Java services for transforming models, provided the relative metamodel.
We developed Discrete-Event specific templates and Java services for generating embedded C code from Discrete-Event models created using Ptolemy II. This was accomplished through techniques for efficiently grouping the elements of the models and dealing with models which contain feedback loops.