More Web Proxy on the site http://driver.im/

research-article

Formal and executable contracts for transaction-level modeling in SystemC

Authors:

Tayeb Bouhadiba,

Florence Maraninchi,

Giovanni FunchalAuthors Info & Claims

EMSOFT '09: Proceedings of the seventh ACM international conference on Embedded software

Pages 97 - 106

https://doi.org/10.1145/1629335.1629349

Published: 12 October 2009 Publication History

Abstract

Transaction-Level Modeling (TLM) for systems-on-a-chip (SoCs) has become a standard in the industry, using SystemC. With SystemC/TLM, it is possible to develop an executable virtual prototype of a hardware platform, so that software developers can start writing code long before the actual chip is available. A hardware model in SystemC/TLM can be very abstract, compared to the detailed RTL model. It is clearly component-based, with guidelines defining how components should be designed for use in any TLM context. However, these guidelines are quite informal for the moment. In this paper, we establish a structural correspondence between functional SystemC/TLM models and a formal component-model for embedded systems called 42, for which we have defined a notion of control contract, and an execution mode for systems made of components' contracts. This is a way of formalizing the principles of functional SystemC/TLM. Moreover, it allows the combined use of SystemC/TLM components with 42 components. Demonstrating that such a combined use is possible is key to the adoption of formal components' definitions in the community of TLM users.

References

[1]

T. Bouhadiba and F. Maraninchi. Contract-based coordination of hardware components for the development of embedded software. In COORDINATION'09, Lisbon, Portugal, June 2009.

Digital Library

[2]

J. Buck, S. Ha, E. Lee, and D. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, 4:155--182, April 1994.

[3]

The Spirit Consortium. IP-XACT 1.4 specification. www.spiritconsortium.org/releases/1.4.

[4]

J. Cornet, F. Maraninchi, and L. Maillet-Contoz. A method for the efficient development of timed and untimed transaction-level models of systems-on-chip. In DATE, Munich, Germany, Mar. 2008.

Digital Library

[5]

F. Ghenassia. Transaction Level Modeling With SystemC: TLM Concepts And Applications for Embedded Systems. Springer-Verlag, 2005.

Digital Library

[6]

P. Herber, J. Fellmuth, and S. Glesner. Model checking SystemC designs using timed automata. In CODES/ISSS '08, pages 131--136, New York, NY, USA, 2008. ACM.

Digital Library

[7]

G. J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, 23(5):279--295,May 1997.

Digital Library

[8]

K. G. Larsen, P. Pettersson, and W. Yi. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1{2):134--152, Oct. 1997.

[9]

F. Maraninchi and T. Bouhadiba. 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems. In ACM GPCE, Salzburg, Austria, Oct. 2007.

Digital Library

[10]

F. Maraninchi, M. Moy, C. Helmstetter, J. Cornet, C. Traulsen, and L. Maillet-Contoz. SystemC/TLM semantics for heterogeneous system-on-chip validation. In NEWCAS/TAISA, Montreal, Canada, June 2008.

[11]

K. L. Mcmillan. The SMV system, Nov. 06 1992.

[12]

M. Moy, F. Maraninchi, and L. Maillet-Contoz. The extraction tool for SystemC descriptions of systems-on-a-chip. In EMSOFT, New-York, USA, Sept. 2005.

Digital Library

[13]

M. Moy, F. Maraninchi, and L. Maillet-Contoz. LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level. Design Automation for Embedded Systems, 10(2--3), Sept. 2006.

[14]

B. Niemann and C. Haubelt. Formalizing TLM with communicating state machines. In Forum on specification&Design Languages (FDL), pages 285--293, 2006.

[15]

Open SystemC Initiative. IEEE 1666 Standard: SystemC Language Reference Manual, 2005. http://www.systemc.org/.

[16]

O. Ponsini and W. Serwe. A schedulerless semantics of TLM models written in SystemC via translation into LOTOS. In 15th international symposium on formal methods, pages 278--293, 2008.

Digital Library

Cited By

Shashidhar SMiniskar NBatchu SKim K(2019)Light Weight and Fast Simulation Methodology in SystemC for TLM based Behavior Modeling of Programmable Processors2019 IEEE International Conference on Electronics, Computing and Communication Technologies (CONECCT)10.1109/CONECCT47791.2019.9012935(1-7)Online publication date: Jul-2019
https://doi.org/10.1109/CONECCT47791.2019.9012935
Marquet KMoy MCarloni LTripakis S(2010)PinaVMProceedings of the tenth ACM international conference on Embedded software10.1145/1879021.1879032(79-88)Online publication date: 24-Oct-2010
https://dl.acm.org/doi/10.1145/1879021.1879032

Index Terms

Formal and executable contracts for transaction-level modeling in SystemC

Recommendations

From VHDL Register Transfer Level to SystemC Transaction Level Modeling: A Comparative Case Study
SBCCI '03: Proceedings of the 16th symposium on Integrated circuits and systems design

Transaction level (TL) modeling is regarded today as the next step in the direction of complex integrated circuits and systems design entry. This means that as this modeling level definition evolves, automated synthesis tools will increasingly support ...
Verification of Transaction-Level SystemC models using RTL Testbenches
MEMOCODE '03: Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design

System architects working on SoC design havetraditionally been hampered by the lack of a coherentemethodology for architecture evaluation and coverificationof hardware and software. SystemC 2.0facilitates the development of Transaction-Level Models(TLMs)...
System-Level Modeling of Dynamically Reconfigurable Hardware with SystemC
IPDPS '03: Proceedings of the 17th International Symposium on Parallel and Distributed Processing

To cope with the increasing demand for higher computational power and flexibility, dynamically re-configurable blocks become an important part inside a system-on-chip. Several methods have been proposed to incorporate their reconfiguration aspects in to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '09: Proceedings of the seventh ACM international conference on Embedded software

October 2009

332 pages

ISBN:9781605586274

DOI:10.1145/1629335

Program Chairs:
Samarjit Chakraborty
TU Munich, Germany
,
Nicolas Halbwachs
Verimag/CNRS, Grenoble, France

Copyright © 2009 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: 12 October 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWeek '09

Sponsor:

ESWeek '09: Fifth Embedded Systems Week

October 12 - 16, 2009

Grenoble, France

Acceptance Rates

EMSOFT '09 Paper Acceptance Rate 33 of 106 submissions, 31%;

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
178
Total Downloads

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

Reflects downloads up to 23 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Shashidhar SMiniskar NBatchu SKim K(2019)Light Weight and Fast Simulation Methodology in SystemC for TLM based Behavior Modeling of Programmable Processors2019 IEEE International Conference on Electronics, Computing and Communication Technologies (CONECCT)10.1109/CONECCT47791.2019.9012935(1-7)Online publication date: Jul-2019
https://doi.org/10.1109/CONECCT47791.2019.9012935
Marquet KMoy MCarloni LTripakis S(2010)PinaVMProceedings of the tenth ACM international conference on Embedded software10.1145/1879021.1879032(79-88)Online publication date: 24-Oct-2010
https://dl.acm.org/doi/10.1145/1879021.1879032

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