In the context of component-based design, this paper proposes a framework, for managing embedded system heterogeneity, that enriches an interchange format, the Heterogeneous Intermediate Format (HIF), with the universal model of computation univerCM. The framework supports bottom-up design, system integration, adaptation and reuse by allowing automatic translation of heterogeneous components, described by means of different languages and according to different MoCs, towards a uniform intermediate description based on a rigorous semantics. The goal of the paper is to show how traditional semantics aspects coming from HW description language models, analog models and embedded SW can be effectively captured by univerCM to produce a homogeneous model from heterogeneous components.

A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems

STEFANNI, Francesco;PRAVADELLI, Graziano;FUMMI, Franco;DI GUGLIELMO, Luigi;VINCO, Sara
2012-01-01

Abstract

In the context of component-based design, this paper proposes a framework, for managing embedded system heterogeneity, that enriches an interchange format, the Heterogeneous Intermediate Format (HIF), with the universal model of computation univerCM. The framework supports bottom-up design, system integration, adaptation and reuse by allowing automatic translation of heterogeneous components, described by means of different languages and according to different MoCs, towards a uniform intermediate description based on a rigorous semantics. The goal of the paper is to show how traditional semantics aspects coming from HW description language models, analog models and embedded SW can be effectively captured by univerCM to produce a homogeneous model from heterogeneous components.
2012
9781467326858
Computational model; SystemC; component-based design
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/429759
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact