A framework for embedded system specification under different models of computation in SystemC

This paper presents a heterogeneous specification methodology built on top of the standard SystemC kernel. The methodology enables abstract specification supporting heterogeneity, which in this context entails the ability to describe and connect parts of the system specification under different mode...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2006 43rd ACM/IEEE Design Automation Conference s. 911 - 914
Hlavní autori: Herrera, F., Villar, E.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: New York, NY, USA ACM 24.07.2006
IEEE
Edícia:ACM Conferences
Predmet:
Communication standards
Computational modeling
Computing methodologies > Modeling and simulation > Model development and analysis > Modeling methodologies
Context modeling
Design
Design methodology
Discrete event simulation
Embedded computing
Embedded system
Hardware
Heterogeneous Specification
Kernel
Languages
Libraries
SystemC
Theory of computation > Models of computation
Theory of computation > Semantics and reasoning > Program reasoning > Program specifications
heterogeneous specification
SystemC
ISBN:1595933816, 9781595933812
ISSN:0738-100X
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:This paper presents a heterogeneous specification methodology built on top of the standard SystemC kernel. The methodology enables abstract specification supporting heterogeneity, which in this context entails the ability to describe and connect parts of the system specification under different models of computation (MoCs). A main and distinguishing contribution of the methodology is that the support is provided while maintaining the standard kernel of SystemC unchanged, by means of a set of specification rules and a heterogeneous support library built on top of the SystemC standard library. This is possible thanks to an abstraction technique that can integrate any new MoC that can be abstracted over the underlying discrete-event simulation kernel. Primitives, guidelines and rules of the specification methodology, including those related to heterogeneous support, and the basis of the abstraction technique are described. Experimental results demonstrate the benefits of the methodology.
Bibliografia:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:1595933816
9781595933812
ISSN:0738-100X
DOI:10.1145/1146909.1147140