RTOS Modeling for System Level Design (2000)
| Venue: | IN PROC. OF DATE |
| Citations: | 32 - 9 self |
BibTeX
@INPROCEEDINGS{Gerstlauer00rtosmodeling,
author = {Andreas Gerstlauer and Haobo Yu and Daniel D. Gajski},
title = {RTOS Modeling for System Level Design},
booktitle = {IN PROC. OF DATE},
year = {2000},
pages = {130--135},
publisher = {Kluwer Academic Publishers}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design exploration. While real time operating systems (RTOS) are an increasingly important component in system design, specific RTOS implementations can not be used directly in high level models. On the other hand, existing system level design languages (SLDL) lack support for RTOS modeling. In this paper we propose a RTOS model built on top of existing SLDLs which, by providing the key features typically available in any RTOS, allows the designer to model the dynamic behavior of multi-tasking systems at higher abstraction levels to be incorporated into existing design flows. Experimental result shows that our RTOS model is easy to use and efficient while being able to provide accurate results.
Citations
| 65 | Real-Time Computing Systems - Hard - 1997 |
| 8 | Task generation and compile time scheduling for mixed data-control embedded software - Cortadella - 2000 |
| 5 | et al. Automatic generation and targeting of application-specific operating systems and embedded systems software - Gauthier - 2001 |
| 5 | et al. Design of a GSM Vocoder using SpecC Methodology - Gerstlauer - 1999 |
| 4 | et .al, ”Operating System Based Software Generation for Systems-on-Chip - Desmet - 2000 |
| 3 | et al. Modeling fixed-priority preemptive multi-task systems in SpecC - Tomiyama - 2001 |
| 1 | et al. RTOS Modeling in System Level Synthesis - Yu - 2002 |
