Article

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

Authors:

E. VillarAuthors Info & Claims

DAC '06: Proceedings of the 43rd annual Design Automation Conference

Pages 911 - 914

https://doi.org/10.1145/1146909.1147140

Published: 24 July 2006 Publication History

Abstract

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.

References

[1]

E. Lee, A. Sangiovanni-Vincentelli. "A Framework for comparing Models of Computation". IEEE Trans. on CAD of ICs and Systems, V.17, N.12, December 1998.

Digital Library

[2]

H.D.Patel, S.K.Shukla. "SystemC kernel extensions for Heterogeneous System Modelling: A framework for Multi-MoC Modelling and Simulation". Kluwer. Aug. 2004.

Digital Library

[3]

Axel Jantsch. "Modeling Embedded Systems and SoC's". Morgan Kaufman Publishers. Elsevier Science. 2004.

Digital Library

[4]

PtolemyII. http://ptolemy.eecs.berkeley.edu/ptolemyII

[5]

J.L.Pino, S.Ha, E.A.Lee, J.T.Buck. "SW Synthesis for DSP using Ptolemy". Journal on VLSI Processing, vol. 9, no.1, pp 7--21. January. 1995.

Digital Library

[6]

I.Sanders. "System Modeling and Design Refinement in ForSyDe". Thesis. KTH Univresity. Stockholm 2003.

[7]

F.Balarin et al. "Metropolis: An Integrated Electronic System Design Environment". IEEE Computer Magaz. 2003.

Digital Library

[8]

T. Grotker, S. Liao, G. Martín, S. Swan. "System Design with SystemC". Kluwer; 2002.

Digital Library

[9]

"SystemC: Methodologies and Applications". Ed. W.Mueller, W. Rosenstiel, J.Ruf. Kluwer. March 2003.

[10]

Synopsys Inc. "Describing Synthesizable RTL in SystemC". Version 1.2. November 2002.

[11]

E.A.Lee, T.M.Park. "Dataflow Process Networks". Proceedings of the IEEE, 1995.

[12]

A.Rose, S.Swan, J.Pierce, J.M.Fernández. "Transaction Level Modeling in SystemC". Av. at www.systemc.org.

[13]

Website. www.systemc-ams.org.

[14]

F.Herrera, P.Sánchez, E,Villar. "Modeling and Design of CSP, KPN and SR Systems with SystemC", in C.Grimm (Ed.) "Languages for System Specification". Kluwer, 2005.

Digital Library

[15]

F.Herrera, P.Sánchez, E,Villar. "Heterogeneous System-Level Specification in SystemC" in P.Boulet (Ed.) "Advances in Design and Specification Languages for SoCs". Kluwer, 2005. See www.teisa.unican.es/HetSC.

[16]

F.Herrera, E.Villar. "Mixing Synchronous Reactive and Untimed Models of Computation in SystemC". In proc. Of Forum of Design Languages. FDL'05. Sept, 2005.

[17]

G. Kahn. "The Semantics of a simple Language for Parallel Programming". Proc. IFIP 74, North-Holland, 1974.

[18]

C.A.R. Hoare. "Communicating Sequential Processes". Communications of the ACM, V.21, N.8, August 1978.

Digital Library

[19]

E.A.Lee, D.G. Messerschmitt "Synchronous Data Flow". Proc. of the IEEE, Vol75, No.9,September, 1987.

[20]

EA. Benveniste & G. Berry. "The Synchronous Approach to Reactive and Real-Time Systems". Proceedings of the IEEE, V.79, N.9, September, 1991.

[21]

H.Posadas, F.Herrera, V.Fernández, P.Sánchez & E.Villar. "Single Source Design Environment for Embedded Systems based on SystemC". Design Automation for Embedded Systems Journal. Springer. Dec. 2004. V.9, N.4. pp.293--312.

[22]

ETSI/EN 301 245, ETSI/EN 301 244 and ETSI/EN 301 250 standards. 1998. Available at www.etsi.com.

Cited By

Posadas HPeñil PNicolás AVillar E(2015)Automatic synthesis of communication and concurrency for exploring component-based system implementations considering UML channel semanticsJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2015.07.00261:8(341-360)Online publication date: 1-Sep-2015
https://dl.acm.org/doi/10.1016/j.sysarc.2015.07.002
Helmstetter CCornet JGalilée BMoy MVivet PMacii E(2013)Fast and accurate TLM simulations using temporal decoupling for FIFO-based communicationsProceedings of the Conference on Design, Automation and Test in Europe10.5555/2485288.2485573(1185-1188)Online publication date: 18-Mar-2013
https://dl.acm.org/doi/10.5555/2485288.2485573
Di Guglielmo LFummi FPravadelli GStefanni FVinco S(2013)UNIVERCMIEEE Transactions on Computers10.1109/TC.2012.15662:2(225-241)Online publication date: 1-Feb-2013
https://dl.acm.org/doi/10.1109/TC.2012.156
Show More Cited By

Index Terms

A framework for embedded system specification under different models of computation in SystemC
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Modeling methodologies
2. Theory of computation
  1. Models of computation
  2. Semantics and reasoning
    1. Program reasoning
      1. Program specifications

Recommendations

A framework for heterogeneous specification and design of electronic embedded systems in SystemC

This work proposes a methodology which enables heterogeneous specification of complex, electronic systems in SystemC supporting the integration of components under different models of computation (MoCs). This feature is necessary in order to deal with ...
Co-simulation framework of SystemC SoC virtual prototype and custom logic (abstract only)
FPGA '13: Proceedings of the ACM/SIGDA international symposium on Field programmable gate arrays

To address the increasing demand of System-on-Chip (SoC) for high performance applications and IP programmability, specialized SoC with custom logic is developed in a single chip or multi-chip system. Like any other SoC platforms, early software ...
Co-Modeling of Embedded Networks Using SystemC and SDL

Today, SDL and SystemC are two very popular languages for embedded systems modeling. SDL has specific advanced features that make it good for reflection of the multi-object systems and interactions between modules. It is also good for system model ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '06: Proceedings of the 43rd annual Design Automation Conference

July 2006

1166 pages

ISBN:1595933816

DOI:10.1145/1146909

General Chair:
Ellen M. Sentovich
Cadence Berkeley Labs, Berkeley, CA

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 July 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

DAC06

Sponsor:

DAC06: The 43rd Annual Design Automation Conference 2006

July 24 - 28, 2006

CA, San Francisco, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

28
Total Citations
View Citations
430
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Posadas HPeñil PNicolás AVillar E(2015)Automatic synthesis of communication and concurrency for exploring component-based system implementations considering UML channel semanticsJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2015.07.00261:8(341-360)Online publication date: 1-Sep-2015
https://dl.acm.org/doi/10.1016/j.sysarc.2015.07.002
Helmstetter CCornet JGalilée BMoy MVivet PMacii E(2013)Fast and accurate TLM simulations using temporal decoupling for FIFO-based communicationsProceedings of the Conference on Design, Automation and Test in Europe10.5555/2485288.2485573(1185-1188)Online publication date: 18-Mar-2013
https://dl.acm.org/doi/10.5555/2485288.2485573
Di Guglielmo LFummi FPravadelli GStefanni FVinco S(2013)UNIVERCMIEEE Transactions on Computers10.1109/TC.2012.15662:2(225-241)Online publication date: 1-Feb-2013
https://dl.acm.org/doi/10.1109/TC.2012.156
Becker MDefo GFummi FMueller WPravadelli GVinco SRosenstiel WMacii E(2012)MOUSSEProceedings of the Conference on Design, Automation and Test in Europe10.5555/2492708.2492782(296-299)Online publication date: 12-Mar-2012
https://dl.acm.org/doi/10.5555/2492708.2492782
Peñil PPosadas HNicolás AVillar EOber I(2012)Automatic synthesis from UML/MARTE models using channel semanticsProceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems10.1145/2432631.2432640(49-54)Online publication date: 30-Sep-2012
https://dl.acm.org/doi/10.1145/2432631.2432640
Di Guglielmo LFummi FPravadelli GStefanni FVinco S(2012)A formal support for homogeneous simulation of heterogeneous embedded systems7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)10.1109/SIES.2012.6356587(211-219)Online publication date: Jun-2012
https://doi.org/10.1109/SIES.2012.6356587
Derler PLee EVincentelli A(2012)Modeling Cyber–Physical SystemsProceedings of the IEEE10.1109/JPROC.2011.2160929100:1(13-28)Online publication date: Jan-2012
https://doi.org/10.1109/JPROC.2011.2160929
Becker MDefo GFummi FMueller WPravadelli GVinco S(2012)MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.1109/DATE.2012.6176482(296-299)Online publication date: Mar-2012
https://doi.org/10.1109/DATE.2012.6176482
Kim DCha KHong DChoi SChae S(2011)A programmable video platform and its application mapping framework using the target application's systemC modelsEURASIP Journal on Embedded Systems10.1155/2011/3735092011(1-20)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1155/2011/373509
Lee EChakraborty SJerraya ABaruah SFischmeister S(2011)Heterogeneous actor modelingProceedings of the ninth ACM international conference on Embedded software10.1145/2038642.2038646(3-12)Online publication date: 9-Oct-2011
https://dl.acm.org/doi/10.1145/2038642.2038646
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents