The paper summarizes a bottom-up modeling and simulation methodology that starts from heterogeneous models written in heterogeneous languages and it composes them into a homogenous system-level description by exploiting automatic translation and abstraction. This allows the designer to work with his/her favorite design language for representing the heterogeneous behaviors of an embedded system (digital hw, analog hw, software, network, environment, ...), but these heterogeneous low level descriptions can be abstracted into a homogeneous system level model for verification, design space exploration, extra-functional properties validation, etc. This huge heterogeneity is particularly evident in smart systems, to whom the methodology has been effectively applied.

Integrating heterogeneous embedded systems through language translation and abstraction

FUMMI, Franco
2015-01-01

Abstract

The paper summarizes a bottom-up modeling and simulation methodology that starts from heterogeneous models written in heterogeneous languages and it composes them into a homogenous system-level description by exploiting automatic translation and abstraction. This allows the designer to work with his/her favorite design language for representing the heterogeneous behaviors of an embedded system (digital hw, analog hw, software, network, environment, ...), but these heterogeneous low level descriptions can be abstracted into a homogeneous system level model for verification, design space exploration, extra-functional properties validation, etc. This huge heterogeneity is particularly evident in smart systems, to whom the methodology has been effectively applied.
978-1-4673-7178-0
Smart systems, Design and validation
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/937260
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact