Increased accuracy through noise injection in abstract RTOS simulation

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2009, Pages 1632-1637

  Zabel, Henning ^a   Mueller, Wolfgang ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS;

EMBEDDED REAL TIME SYSTEMS; INSTRUCTION SET SIMULATIONS; MULTIPLE SYSTEMS; NOISE INJECTION; PHYSICAL SYSTEMS; REAL TIME CLOCK; REAL TIME OPERATING SYSTEM; TIMING ANALYSIS;

REAL TIME SYSTEMS;

EID: 70350075702     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/date.2009.5090925     Document Type: Conference Paper

References (13)

1. R. Ernst, S. Schliecker, A. Hamann, and R. Racu, "Formal methods for system level performance analysis and optimization," in DVCon'08: Design and Verification Conference and Exhibitation, San Jose, CA, 2008.
2. J. Wagner and R. Leupers, "A fast simulator and debugger for a network processor," in Proceedings of Embeddes Systems/Embedded Intelligence, 2002.
3. G. Schirner, A. Gerstlauer, and R. Dömer, "Abstract, multifaceted modeling of embedded processors for system level design," in ASP-DAC '07: Proceedings of the 2007 conference on Asia South Pacific design automation, 2007.
4. S. Manolache, "Schedulability analysis of real-time systems with stochastic task execution times. licentiate thesis no," Tech. Rep., 2002.
5. A. Gerstlauer, H. Yu, and D. Gajski, "Rtos modeling for system level design," in Proceedings of Design, Automation and Test in Europe, March 2003., 2003. [Online]. Available: citeseer.ist.psu.edu/608553.html
6. H. Posadas, J. Ádamez, P. Sánchez, E. Villar, and F. Blasco, "Posix modeling in systemc," in ASP-DAC '06: Proceedings of the 2006 conference on Asia South Pacific design automation. New York, NY, USA: ACM Press, 2006, pp. 485-490.
7. D. Desmet, D. Verkest, and H. DeMan, "Operating system based software generation for systems-on-chip," in DAC'00: Design Automation Conference, 2000.
8. S.Yoo, G.Nicolescu, L. Gauthier, and A.Jerraya, "Automatic generation of fast timed simulation models for operating systems in soc design," in DATE'02: Proceedings of Design, Automation and Test in Europe. Washington, DC, USA: IEEE Computer Society, 2002.
9. H. Zabel, W. Mueller, and A. Gerstlauer, "Accurate rtos modelling and analysis with systemc," in W. Ecker, W. Mueller, R. Doemer (eds.) "Hardware Dependent Software - Principles and Practice". Springer Verlag, Dordrecht, Januar 2009.
10. H. Posadas, J. A. Adamez, E. Villar, F. Blasco, and F. Escuder, "RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model," Design Automation for Embedded Systems, vol. 10, no. 4, pp. 209-227, December 2005.
11. S. A. Huss and S. Klaus, "Assessment of real-time operating systems characteristics in embedded systems design b systemc models of rtos services," in DVCon 07: Design and Verification Conference and Exhibitation, San Jose, CA, 2007.
12. Y. Hwang, S. Abdi, and D. Gajski, "Cycle-approximate retargetable performance estimation at the transaction level," in DATE '08: Proceedings of the conference on Design, automation and test in Europe, 2008, pp. 3-8.
13. H. Zabel and W. Müller, "An efficient time annotation technique in abstract rtos simulations for multiprocessor task migration," in Distributed Embedded Systems: Design, Middleware and Resources, vol. 27. Springer Boston, 2008, pp. 181-190, DIPES2008.