A generic RTOS model for real-time systems simulation with SystemC

Proceedings - Design, Automation and Test in Europe Conference and Exhibition

Volumn , Issue , 2004, Pages 82-87

  Le Moigne, R ^a   Pasquier, O ^a   Calvez, J P ^a  

^a UNIVERSITÉ DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE - SYSTEMC; DATA SHARING; MESSAGE PASSING; REAL TIME OPERATING SYSTEM (RTOS);

COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; DATA TRANSFER; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SYNCHRONIZATION;

REAL TIME SYSTEMS;

EID: 3042565256     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2004.1269211     Document Type: Conference Paper

References (12)

1. A Gerstlauer, H Yu and D D Gajski, UC Irvine, US, "RTOS Modeling for System Level Design", DATE 2003
2. S Yoo, I Bacivarov, A Bouchhima, Y Paviot, and A A Jerraya, TIMA Laboratory, FR, "Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer", DATE 2003
3. "Functional Specification for SystemC 2.0", available at www.systemc.org
4. S Yoo, G Nicolescu, L Gauthier, A A Jerraya, TIMA Laboratory, FR, "Automatic generation of fast timed simulation models for operating systems in SoC Design", IEEE 2002
5. J.P. Calvez, Embedded Real-Time Systems. A Specification and Design Methodology, John Wiley, 670 pages, 1993
6. J.P. Calvez, O. Pasquier, Performance Monitoring and Assessment of Embedded Hw/Sw Systems. In "Design Automation for Embedded Systems", Vol 2, Kluwer Academic Publishers, 1997
7. O. Pasquier , J-P. Calvez, "An object-base executable model for simulation of real-time Hw/Sw systems", Proceedings of DATE 99, March 1999, Munich.
8. R. Le Moigne, O. Pasquier, J-P. Calvez, "A Graphical Tool for System Level Modeling and Verification with SystemC", FDL' 03, September 2003, Frankfurt.
9. VxWorks® and Wind River Systems products available at www.windriver.com.
10. G. C.Buttazzo, "Hard Real-Time Computing Systems", Kluwer Academic Publishers 2002, ISBN 0-7923-9994-3
11. D. Desmet, D. Verkerst, H. De Man, "Operating System Based Software Generation for System On Chip" in DAC, June 2000.
12. CoFluent Studio™, available at www.confluentdesign.com.