Introducing preemptive scheduling in abstract RTOS models using result oriented modeling

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2008, Pages 122-127

  Schirner, Gunar ^a   Dömer, Rainer ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC SCHEDULING; HARDWARE DEPENDENT SOFTWARE; PRE-EMPTIVE SCHEDULING; RESPONSE TIME; RESULT ORIENTED MODELING; RTOS MODELING; SIMULATION PERFORMANCE; SOC DESIGNS; SYSTEM DESIGNS;

ABSTRACTING; HYDRODESULFURIZATION; INDUSTRIAL ENGINEERING; REAL TIME SYSTEMS; SCHEDULING; SYSTEMS ANALYSIS; TESTING; TIME MEASUREMENT;

SOFTWARE DESIGN;

EID: 49749085147     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2008.4484673     Document Type: Conference Paper

References (18)

1. CECS, UC Irvine. SoC Environment (SCE). http://www.cecs.uci.edu/∼cad/ sce.html.
2. M. Dales. SWARM 0.44 Documentation. Department of Computer Science, University of Glasgow, Nov. 2000.
3. D. Desmet, D. Verkest, and H. D. Man. Operating system based software generation for system-on-chip. In DAC, Los Angeles, CA, June 2000.
4. D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Design Methodology. Kluwer Academic Publishers, 2000.
5. A. Gerstlauer and W. Mueller. OS Modeling. In HdS Workshop at DAC, San Diego, CA, Sept. 2007.
6. A. Gerstlauer, H. Yu, and D. Gajski. RTOS Modeling for System Level Design. In DATE, Munich, March 2003.
7. T. Grötker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002.
8. Z. He, A. Mok, and C. Peng. Timed RTOS Modeling for Embedded System Design. In RTAS, San Francisco, 2005.
9. K. Hines and G. Borriello. A Geographically Distributed Framework for Embedded System Design and Validation. In DAC, San Francisco, CA, June 1998.
10. S. Honda et al. RTOS-Centric Hardware/Software Cosimulator for Embedded System Design. In CODES+ISSS, Stockholm, Sweden, Sept. 2004.
11. Y. Hwang, S. Abdi, and D. Gajski. Cycle Approximate Retargettable Performance Estimation at the Transaction Level. In DATE, Munich, Germany, Mar. 2008.
12. Intel Corporation. Audio Codec '97 Component Specification, Sept. 2000.
13. J. J. Labrosse. MicroC/OS-II: The Real-Time Kernel. CMP Books, 2002.
14. J. Madsen et al. Abstract RTOS modeling for multiprocessor system-on-chip. In In Proceedings of International Symposium on System-on-Chip, Tampere, Finland, Nov. 2003.
15. H. Posadas et al. RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. Design Automation for Embedded Systems, 10(4):209-227, Dec. 2005.
16. G. Schirner and R. Dömer. Result Oriented Modeling a Novel Technique for Fast and Accurate TLM. IEEE TCAD, 26(9):1688-1699, Sept. 2007.
17. H. Tomiyama et al. Modeling fixed-priority preemptive multi-task systems in SpecC. In SASIMI, Nara, Oct. 2001.
18. S. Yoo, G. Nicolescu, L. Gauthier, and A. Jerraya. Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design. In DATE, Paris, March 2002.