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 / Francesco, Stefanni; Graziano, Pravadelli; Franco, Fummi; Luigi Di, Guglielmo; Vinco, Sara. - (2012), pp. 211-219. (Intervento presentato al convegno IEEE International Symposium on Industrial Embedded Systems tenutosi a Karlsruhe, Germany nel 20-22 June) [10.1109/SIES.2012.6356587].

A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems

VINCO, SARA
2012

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
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

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/11583/2529490
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo