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

Design Automation for Embedded Systems

Volumn 10, Issue 4, 2005, Pages 209-227

  Posadas, H ^a   Adamez, J A ^a   Villar, E ^a   Blasco, F ^b   Escuder, F ^b  

^a UNIVERSITY OF CANTABRIA   (Spain)

^b Parque Tecnologico   (Spain)

Author keywords

Embedded software; Performance analysis; POSIX; RTOS; SystemC

Indexed keywords

COMPUTER SIMULATION; COMPUTER SUPPORTED COOPERATIVE WORK; MATHEMATICAL MODELS; MICROPROCESSOR CHIPS; MULTIPROCESSING SYSTEMS; REAL TIME SYSTEMS; SUPERVISORY AND EXECUTIVE PROGRAMS;

EMBEDDED SOFTWARE; PERFORMANCE ANALYSIS; SYSTEMC;

EMBEDDED SYSTEMS;

EID: 33845964962     PISSN: 09295585     EISSN: 15728080     Source Type: Journal    
DOI: 10.1007/s10617-006-9725-1     Document Type: Article

References (28)

1. AXLOG, information available in http://www.axlog.fr.
2. Benini, L., D. Bertozzi, D. Bruni, N. Drago, F. Fummi, and M. Ponzino. SystemC cosimulation and Emulation of multiprocessor SoC design. In IEEE Computer, April 2003.
3. Bergeron, J. Writing Testbenches: Functional Verification of HDL Models. Springer, 2003.
4. Bolado, M., H. Posadas, J. Castillo, P. Huerta, C. Sánchez, P. 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.
5. ENEA OSE Soft Kernel Environment, available in http://www.ose.com/ products.
6. EN 301.245, ETSI, December, 1997.
7. Gerstlauer, A., H. Yu, and D. Gajski. RTOS Modeling for System-Level Design. In A.A. Jerraya, S. Yoo, D. Verkest, and N. When (eds.), Embedded Software for SoC. Springer, 2003.
8. Ghenassia, F. (ed.) Transaction-Level Modeling with SystemC. Springer, 2005.
9. Hassan, M.A., K. Sakanushi, Y. Takeuchi, and M. Imai. RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC. In Proceedings of the Design, Automation and Test Conference, IEEE, 2005.
10. He, Z., A. Mok, and C. Peng. Timed RTOS Modeling for Embedded System Design. In Proceedings of the Real Time and Embedded Technology and Applications Symposium, IEEE, 2005.
11. Herrera, F., V. Fernández, P. Sánchez, and E. Villar. Embedded Software Generation from SystemC for Platform-Based Design. In W. Müller, W. Rosenstiel, and W. Ruf (eds.), SystemC: Methodologies and Applications. Springer, 2003.
12. Honda, S., T. Wakabayashi, H. Tomiyama, and H. Takada. RTOS-centric HW/SW Cosimulator for Embedded System Design. In Proceedings of CoDes-ISSS'04, ACM, 2004.
13. IEEE, IEEE ratifies SystemC 2.1 Standard for System-Level chip design, http://standards.ieee.org/announcements/pr_p1666.html.
14. IEEE, Information technology-Portable Operating System Interface, IEEE Std 1003.1, 2004.
15. ITRS, International Technology Roadmap for Semiconductors: 2005 Edition, http://www.itrs.net/Common/2005ITRS/Home2005.htm.
16. Jerraya, A.A., S. Yoo, D. Verkest, and N. When (eds.). Embedded Software for SoC. Springer, 2003.
17. A.A. Jerraya and W. Wolf (eds.). Multiprocessor Systems-on Chip. Morgan Kaufmann, 2005.
18. Liem, C., F. Nacabal, C. Valderrama, P. Paulin, and A. Jerraya. System-on-a-Chip Cosimulation and Compilation. Design & Test of Computers, April-June, IEEE, 1997.
19. Madsen, J., K. Virk, and M. Gonzales. Abstract RTOS Modeling for Multiprocessor System on Chip. In Proceedings of the International Symposium on System-on Chip, IEEE, 2003.
20. Müller, W., W. Rosenstiel, and J. Ruf (eds.). SystemC: Methodologies and Applications. Springer, 2003.
21. Posadas, H., F. Herrera, V. Fernández, P. Sánchez, E. Villar, and F. Blasco. Single Source Design Environment for Embedded Systems Based on SystemC. Design Automation for Embedded Systems, N.9, Springer, 2004.
22. Posadas, H., 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.
23. Posadas, H., E. Villar, and F. Blasco. Real-Time Operating System Modeling in SystemC for HW/SW co-simulation. In Proceedings of DCIS, IST, Lisbon, 2005.
24. Posadas, H., J. Ádamez, P. Sánchez, E. Villar, and F. Blasco. POSIX modeling in SystemC. In Proceedings of the Asian, South-Pacific Design, Automation Conference, IEEE, 2006.
25. Open POSIX test suite, www.sourceforge.net/.
26. Tomiyama, H., Y. Cao, and K. Murakami. Modeling Fixed-Priority Preemptive Multi-Task Systems in SpecC. In Proceedings of the 10th Workshop on System And System Integration of Mixed Technologies (SASIMI'01), IEEE, 2001.
27. Yi, Y., D. Kim, and S. Ha. Fast and Time-Accurate Cosimulation with OS Scheduler Modeling. Design Automation of Embedded Systems, N.8. Springer, 2003.
28. Yoo, S., G. Nicolescu, LG. Gauthier, and A.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.