DTA

Digital Theses Archive

 

Tesi etd-06062017-123112

Type of thesis
Dottorato
Author
PERILLO, DAVID
URN
etd-06062017-123112
Title
Modelling and Simulation of Embedded Systems with Formal Languages and Virtual Platforms
Scientific disciplinary sector
ING-INF/05
Course
INGEGNERIA - Ph.D. Programme in Emerging Digital Technologies (EDT)
Committee
relatore Prof. DI NATALE, MARCO
Presidente BERRY, FRANCOIS
Membro DUBOIS, JULIEN
Membro PAGANO, PAOLO
Membro CUCINOTTA, TOMMASO
Membro GARDEL VICENTE, ALFREDO
Keywords
  • arcadia
  • design-space exploration
  • model driven architecture
  • model-based system engineering
  • qemu
  • simics
  • sysml
  • virtual system platform
Exam session start date
;
Availability
completa
Abstract
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:<br>• to assess the language constructs required to describe complex HW/SW architectures;<br>• to realize a joint co-design and co-verification workflow for real-time embedded systems;<br>• to enhance system-level Design Space Exploration (DSE) by means of a purposedly developed design and simulation framework.<br>The proposed workflow is implemented by a Model Driven Architecture (MDA) framework composed of metamodels, automatic model<br>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.
Files