Abstract RTOS modeling for embedded systems

Proceedings of the International Workshop on Rapid System Prototyping

Volumn , Issue , 2004, Pages 210-216

  Hessel, Fabiano ^a   Da Rosa, Vitor M ^a   Reis, Igor M ^a   Planner, Ricardo ^a   Marcon, Cèsar A M ^b   Susin, Altamiro A ^b  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; PRODUCTIVITY; REAL TIME SYSTEMS; SCHEDULING; SYNCHRONIZATION;

ABSTRACTION; REAL TIME OPERATING SYSTEMS (RTOS); SYSTEM LEVEL DESCRIPTION LANGUAGES (SLDL); TRANSACTION LEVEL MODELING (TLM);

EMBEDDED SYSTEMS;

EID: 4944236396     PISSN: 10746005     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. International Technology Working Group: International Technology Roadmap for Semiconductors 2001 Edition: Executive Summary. Semiconductor Industry Association, 2001.
2. Grotker, T.; Liao, S.; Martin, G. and Swan, S.: System Design with SystemC. Kluwer Academic Publishers, 2002.
3. Cai, L.; Gajski, D. Transaction Level Modeling: An overview. In Proceedings of CODES+ISSS, pp. 19-24, Newport Beach, California, USA, October 2003
4. Synopsys Inc.: SystemC Version 2.0 Users Guide. 2003. Available at: www.systemc.org.
5. Butazzo, G.: Hard Real-Time Computing Systems. Kluwer Academic Publishers, 1999.
6. Wolf, W.: Computer as Components: Principles of Embedded Computing System Design. Morgan Kaufmann, 2000.
7. Kohout, P.; Ganesh, B.; Jacob, B.: Hardware Support for Real-time Operating Systems. In Proceedings of CODES+ISSS, pp. 45-51, Newport Beach, California, USA, October 2003.
8. Adomat, J.; Furunäs, J.; Lindh, L.; Stäraer, J. Real-Time Kernel in Hardware RTU: A step towards deterministic and high performance real-time systems. In Proceedings of 8th Euromicro Workshop on Real-Time Systems, L'Aquila, Italy, pp. 164-168, June 1996.
9. Wang, S.; Malik, S.: Synthesizing Operating System Based Device Drivers in Embedded Systems. In Proceedings of CODES+ISSS, pp. 37-44, Newport Beach, California, USA, October 2003.
10. O'Nil, M.; Jantash, A.: Device Driver and DMA Controller Synthesis from HW/SW Communication protocol specifications. Design Automation for Embedded Systems, vol. 6, pp.177-205, 2001.
11. Yi, Y.; Kim, D.; Ha, S.: Virtual Synchronization Technique with OS Modeling for Fast and Time-accurate Cosimulation. In Proceedings of CODES+ISSS, pp. 1-6, Newport Beach, California, USA, October 2003.
12. Cortadella, J.: Task generation and compile time scheduling for mixed data-control embedded software. In Proceedings of Design Automation Conference, June 2000.
13. Gauthier, L.; Yoo, S.; Jerraya, A.: Automatic generation and targeting of application-specific operating systems and embedded system software. IEEE Transaction on CAD, November 2001.
14. Dziri, M.; Samet, F.; Wagner, F.; Cesario, W.; Jerraya, A.: Combining Architecture Exploration and a Path to Implementation to Build a Complete SoC Design Flow from System Specification to RTL. In Proceedings of ASP-DAC, pp. 219-224, Kitakyushu, Japan, January 2003.
15. Tomiyama, H.; Cao, Y.; Murakami, K.: Modeling fixed-priority preemptive multi-task systems in SpecC. In Proceedings of SASIMI, October 2001.
16. SpecC. Available at www.specc.org.
17. Desmet, D.; Verkest, D.; DeMan, H.: Operating System based Software Generation for System-on-Chip. In Proceedings of Design Automation Conference, June 2000.
18. Gonzales, M.; Madsen, J.: Abstract RTOS Modeling for Multiprocessor System-on-Chip. In Proceedings of International Symposium on SoC, 2003.
19. Gerstlauer, A.; Yu, H.; Gajski, D.: RTOS Modeling for System Level Design. In Proceedings of DATE, March 2003.
20. Silberschatz, A.; Galvin,P.: Operating System Concepts. John Wiley & Sons Inc., 2000.