Tesi etd-06062017-123112
Link copiato negli appunti
Tipo di tesi
Dottorato
Autore
PERILLO, DAVID
URN
etd-06062017-123112
Titolo
Modelling and Simulation of Embedded Systems with Formal Languages and Virtual Platforms
Settore scientifico disciplinare
ING-INF/05
Corso di studi
INGEGNERIA - Ph.D. Programme in Emerging Digital Technologies (EDT)
Commissione
relatore Prof. DI NATALE, MARCO
Presidente BERRY, FRANCOIS
Membro DUBOIS, JULIEN
Membro PAGANO, PAOLO
Membro CUCINOTTA, TOMMASO
Membro GARDEL VICENTE, ALFREDO
Presidente BERRY, FRANCOIS
Membro DUBOIS, JULIEN
Membro PAGANO, PAOLO
Membro CUCINOTTA, TOMMASO
Membro GARDEL VICENTE, ALFREDO
Parole chiave
- arcadia
- design-space exploration
- model driven architecture
- model-based system engineering
- qemu
- simics
- sysml
- virtual system platform
Data inizio appello
12/07/2017;
Disponibilità
completa
Riassunto analitico
The purpose of this Thesis is to boost the industrial adoption of MBSE by providing a measurable and profitable Return On Investment (ROI), and by narrowing the existing gap between structural and simulation models. The goals of this research are:
• to assess the language constructs required to describe complex HW/SW architectures;
• to realize a joint co-design and co-verification workflow for real-time embedded systems;
• to enhance system-level Design Space Exploration (DSE) by means of a purposedly developed design and simulation framework.
The proposed workflow is implemented by a Model Driven Architecture (MDA) framework composed of metamodels, automatic model
transformations and full-system simulation tools. The system simulation has been realized both with the WindRiver Simics and with the QEmu open-source Instruction-Set Simulator (ISS). The DSE is performed with a Platform Based Design (PBD) approach, which is a consolidated design methodology for Electronic System Level (ESL) design. The formal languages used to perform the MBSE workflow are SysML, enhanced by the MARTE profile, and Arcadia, which is an emerging implementation of the SysML standard enriched with Electronic-Systems Design (ESD) constructs.
• to assess the language constructs required to describe complex HW/SW architectures;
• to realize a joint co-design and co-verification workflow for real-time embedded systems;
• to enhance system-level Design Space Exploration (DSE) by means of a purposedly developed design and simulation framework.
The proposed workflow is implemented by a Model Driven Architecture (MDA) framework composed of metamodels, automatic model
transformations and full-system simulation tools. The system simulation has been realized both with the WindRiver Simics and with the QEmu open-source Instruction-Set Simulator (ISS). The DSE is performed with a Platform Based Design (PBD) approach, which is a consolidated design methodology for Electronic System Level (ESL) design. The formal languages used to perform the MBSE workflow are SysML, enhanced by the MARTE profile, and Arcadia, which is an emerging implementation of the SysML standard enriched with Electronic-Systems Design (ESD) constructs.
File
| Nome file | Dimensione |
|---|---|
| PhdThesisPerillo.pdf | 2.16 Mb |
Contatta l'autore |
|