logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-09142021-094936


Tipo di tesi
Tesi di laurea magistrale
Autore
SULAS, ROBERTO
URN
etd-09142021-094936
Titolo
C code generation from Discrete-Event actor-oriented models for generic embedded applications
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Prof. Milazzo, Paolo
relatore Prof. Di Natale, Marco
controrelatore Prof. Bruni, Roberto
Parole chiave
  • code generation
  • discrete-event
  • embedded systems
  • model-based design
Data inizio appello
08/10/2021
Consultabilità
Non consultabile
Data di rilascio
08/10/2091
Riassunto
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.
File