Operating system based software generation for systems-on-chip
Proceedings of the 37th Annual Design Automation Conference
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Generic RTOS Model for Real-time Systems Simulation with SystemC
Proceedings of the conference on Design, automation and test in Europe - Volume 3
Towards a Higher Level of Abstraction in Hardware/Software Co-Simulation
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
RTOS-centric hardware/software cosimulator for embedded system design
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
RTOS Modeling for System Level Design
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC
Proceedings of the conference on Design, automation and test in Europe: Proceedings
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Language extensions to SystemC: process control constructs
Proceedings of the 44th annual Design Automation Conference
Efficient implementation of native software simulation for MPSoC
Proceedings of the conference on Design, automation and test in Europe
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
Fast and accurate performance simulation of embedded software for MPSoC
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
| Hi-index | 0.00 |
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLDL) like SystemC. We describe these constructs and show how they are used to build a simulation model of an RTOS kernel targeting the µ-ITRON OS specification standard.