Article

POSIX modeling in SystemC

Authors:

Hector Posadas,

Jesús Ádamez,

Pablo Sánchez,

Eugenio Villar,

Francisco BlascoAuthors Info & Claims

ASP-DAC '06: Proceedings of the 2006 Asia and South Pacific Design Automation Conference

Pages 485 - 490

https://doi.org/10.1145/1118299.1118418

Published: 24 January 2006 Publication History

Abstract

Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires taking into account the impact of the underlying RTOS. As a consequence, RTOS modeling is becoming an active research area. SystemC provides a framework for multiprocessing, HW/SW co-simulation at several abstraction levels. In this paper, a SystemC library for POSIX modeling and simulation is presented. By using the library, the SystemC specification using POSIX functions is converted automatically into a timed simulation estimating the execution time of the application SW running on the POSIX platform. The library works directly on the source code. Therefore, it provides an early and fast estimation of the performance of the system as a consequence of the architectural mapping decisions. Although accuracy is lower than when using lower-level techniques, it supports high-level design-space exploration as simulation time is significantly less than RT (ISS) simulation.

References

[1]

ITRS. International Technology Roadmap for Semiconductors: 2003 Edition. http://public.itrs.net.

[2]

A.A. Jerraya, S. Yoo, D. Verkest and N. When: "Embedded Software for SoC", Springer, 2003.

Digital Library

[3]

A. Sangiovanni-Vincentelli and G. Martin: "Platform-based design and software design methodology for embedded systems", IEEE Design and Test of Computers. November-December, 2001, 23--33.

Digital Library

[4]

P. Puschner and C. Koza: "Calculating the maximum execution time of real-time programs", The Journal of Real-Time Systems, 1, 1989, 159--176.

Digital Library

[5]

S. Yoo, I. Bacivarov, A. Bouchima, Y. Paviot and A. Jerraya: "Building fast and accurate SW simulation models based on hardware abstraction layer and simulation environment abstraction layer", in Proceedings of the Design, Automation and Test Conference, IEEE, 2003, 550--555.

Digital Library

[6]

H. Tomiyama, Y. Cao and K. Murakami: "Modeling fixed-priority preemptive multi-task systems in SpecC", Proceedings of the 10th Workshop on System And System Integration of Mixed Technologies (SASIMI'01), IEEE, 2001.

[7]

A. Gerstlauer, H. Yu and D. Gajski: "RTOS modeling for system-level design", in Embedded Software for SoC, A. A. Jerraya, S. Yoo, D. Verkest and N. When (Eds.), Springer, 2003.

[8]

S. Yoo, G. Nicolescu, L. Gauthier and A. Jerraya: "Automatic generation of fast timed simulation models for operating systems in SoC design", in Proceedings of the Design, Automation and Test Conference, IEEE, 2002, 620--625.

Digital Library

[9]

Y. Yi, D. Kim and S. Ha: "Fast and time-accurate cosimulation with OS scheduler modeling", Design Automation of Embedded Systems, 8, 2003, 211--228.

Digital Library

[10]

H. Posadas, F. Herrera, P. Sánchez, E. Villar and F. Blasco: "System-level performance analysis in SystemC", in Proceedings of the Design, Automation and Test Conference, IEEE, 2004, 378--383.

Digital Library

[11]

S. Honda, T. Wakabayashi, H. Tomiyama and H. Takada: "RTOS-centric HW/SW cosimulator for embedded system design", Proceedings of CoDes-ISSS'04, ACM, 2004.

Digital Library

[12]

M.A. Hassan, K. Sakanushi, Y. Takeuchi and M. Imai: "RTK-Spec TRON: A simulation model of an ITRON based RTOS kernel in SystemC", Proceedings of the Design, Automation and Test Conference, IEEE, 2005.

Digital Library

[13]

L. Benini, D. Bertozzi, D. Bruni, N. Drago, F. Fummi and M. Ponzino: "SystemC cosimulation and emulation of multiprocessor SoC design", IEEE Computer, April, 2003.

Digital Library

[14]

W. Müller, W. Rosenstiel and J. Ruf: "SystemC: Methodologies and Applications", Springer, 2003.

[15]

F. Herrera, V. Fernández, P. Sánchez and E. Villar: "Embedded software generation from SystemC for platform-based design", in SystemC: Methodologies and Applications, W. Müller, W. Rosenstiel and J. Ruf (Eds.), Springer, 2003.

Digital Library

[16]

IEEE: "Information technology-Portable Operating System Interface", IEEE Std 1003.1, 2004.

Digital Library

[17]

G. Hawley: "Selecting a RTOS", Embedded Systems Programming Europe, May, 1999.

[18]

ENEA: "OSE Soft Kernel Environment", available in http://www.ose.com/products.

[19]

AXLOG, information available in http://www.axlog.fr.

[20]

C. Liem, F. Naçabal, C. Valderrama, P. Paulin and A. Jerraya: "System-on-a-Chip cosimulation and compilation", IEEE Design & Test of Computers, April-June 1997.

Digital Library

[21]

EN 301.245, ETSI, December, 1997.

[22]

M. Bolado, H. Posadas, J. Castillo, P. Huerta, P., Sánchez, C. Sánchez, H. Fouren. and F. Blasco: "Platform based on Open-Source Cores for industrial applications", in Proceedings of the Design, Automation and Test Conference, IEEE, 2004, 1014--1019.

Digital Library

Cited By

Beltrame GNicolescu GFossati LPopovici KMosterman P(2012)Modeling Multiprocessor Real-Time Systems at Transaction LevelReal-Time Simulation Technologies10.1201/b12667-13(243-258)Online publication date: 27-Jul-2012
https://doi.org/10.1201/b12667-13
Lee HGwak DPark H(2011)A proposal of development and verification environment of network applications based on a Co-SimulatorIEICE Electronics Express10.1587/elex.8.5688:8(568-574)Online publication date: 2011
https://doi.org/10.1587/elex.8.568
Shen HPétrot FLin Y(2010)A flexible hybrid simulation platform targeting multiple configurable processors SoCProceedings of the 2010 Asia and South Pacific Design Automation Conference10.5555/1899721.1899754(155-160)Online publication date: 18-Jan-2010
https://dl.acm.org/doi/10.5555/1899721.1899754
Show More Cited By

Index Terms

POSIX modeling in SystemC
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Hardware
  1. Communication hardware, interfaces and storage
  2. Hardware validation
    1. Functional verification
      1. Simulation and emulation

Recommendations

RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model

SystemC is committed to support the requirements for an integrated, HW/SW co-design flow, thus allowing the development of complex, multiprocessing, Systems-on Chip (MpSoC). To make this possible, efficient modeling and simulation methodologies for Real-...
Formal and executable contracts for transaction-level modeling in SystemC
EMSOFT '09: Proceedings of the seventh ACM international conference on Embedded software

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 ...
SystemC-based Reconfigurable IP Modelling for System-on-Chip Design
AHS '08: Proceedings of the 2008 NASA/ESA Conference on Adaptive Hardware and Systems

A new system-level approach is needed to incorporate reconfigurability in IP-inegration design flow, in order to speed up the designer's productivity. SystemC is used as a system level language to raise the abstraction level for embedded systems design ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ASP-DAC '06: Proceedings of the 2006 Asia and South Pacific Design Automation Conference

January 2006

998 pages

ISBN:0780394518

General Chair:
Fumiyasu Hirose
Cadence Design Systems, Japan

Sponsors

IEEE Circuits and Systems Society
SIGDA: ACM Special Interest Group on Design Automation
IEICE ESS: Institute of Electronics, Information and Communication Engineers, Engineering Sciences Society
IPSJ SIG-SLDM: Information Processing Society of Japan, SIG System LSI Design Methodology

Publisher

IEEE Press

Publication History

Published: 24 January 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 466 of 1,454 submissions, 32%

Upcoming Conference

ASPDAC '25

Sponsor:
sigda

30th Asia and South Pacific Design Automation Conference

January 20 - 23, 2025

Tokyo , Japan

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
427
Total Downloads

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

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Beltrame GNicolescu GFossati LPopovici KMosterman P(2012)Modeling Multiprocessor Real-Time Systems at Transaction LevelReal-Time Simulation Technologies10.1201/b12667-13(243-258)Online publication date: 27-Jul-2012
https://doi.org/10.1201/b12667-13
Lee HGwak DPark H(2011)A proposal of development and verification environment of network applications based on a Co-SimulatorIEICE Electronics Express10.1587/elex.8.5688:8(568-574)Online publication date: 2011
https://doi.org/10.1587/elex.8.568
Shen HPétrot FLin Y(2010)A flexible hybrid simulation platform targeting multiple configurable processors SoCProceedings of the 2010 Asia and South Pacific Design Automation Conference10.5555/1899721.1899754(155-160)Online publication date: 18-Jan-2010
https://dl.acm.org/doi/10.5555/1899721.1899754
Muller MGerlach JRosenstiel W(2010)RTOS-aware modeling of embedded hardware/software systems2010 IEEE International Conference on Computer Design10.1109/ICCD.2010.5647795(179-186)Online publication date: Oct-2010
https://doi.org/10.1109/ICCD.2010.5647795
Zabel HMueller WBenini LDe Micheli GAl-Hashimi BMueller W(2009)Increased accuracy through noise injection in abstract RTOS simulationProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1875011(1632-1637)Online publication date: 20-Apr-2009
https://dl.acm.org/doi/10.5555/1874620.1875011
Beltrame GFossati LSciuto DBenini LDe Micheli GAl-Hashimi BMueller W(2009)A real-time application design methodology for MPSoCsProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1874810(767-772)Online publication date: 20-Apr-2009
https://dl.acm.org/doi/10.5555/1874620.1874810
Ceng JSheng WCastrillon JStulova ALeupers RAscheid GMeyr HRosenstiel WWakabayashi K(2009)A high-level virtual platform for early MPSoC software developmentProceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis10.1145/1629435.1629438(11-20)Online publication date: 11-Oct-2009
https://dl.acm.org/doi/10.1145/1629435.1629438
Beltrame GFossati LSciuto D(2009)ReSPIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2009.203026828:12(1857-1869)Online publication date: 1-Dec-2009
https://dl.acm.org/doi/10.1109/TCAD.2009.2030268
Zabel HMueller W(2009)Increased accuracy through noise injection in abstract RTOS simulation2009 Design, Automation & Test in Europe Conference & Exhibition10.1109/DATE.2009.5090925(1632-1637)Online publication date: Apr-2009
https://doi.org/10.1109/DATE.2009.5090925
Beltrame GFossati LSciuto DGebotys CMartin G(2008)Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-designProceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis10.1145/1450135.1450138(7-12)Online publication date: 19-Oct-2008
https://dl.acm.org/doi/10.1145/1450135.1450138
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