RTOS-aware refinement for TLM2.0-based HW/SW designs, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010. ,
DOI : 10.1109/DATE.2010.5456965
Integration astrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-systeme, MBMV'09: Proceedings of the 12th Workshop of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2008. ,
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 1997. ,
DOI : 10.1007/0-387-27578-9
A Smooth Refinement Flow for Co-designing HW and SW Threads, 2007 Design, Automation & Test in Europe Conference & Exhibition, 2007. ,
DOI : 10.1109/DATE.2007.364575
SpecC: Specification Language and Methology, 2000. ,
DOI : 10.1007/978-1-4615-4515-6
RTOS modeling for system level design, 2003 Design, Automation and Test in Europe Conference and Exhibition, 2003. ,
DOI : 10.1109/DATE.2003.1253598
Using binary translation in event driven simulation for fast and flexible MPSoC simulation, Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, CODES+ISSS '09, pp.71-80, 2009. ,
DOI : 10.1145/1629435.1629446
URL : https://hal.archives-ouvertes.fr/hal-00472056
RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC, Design, Automation and Test in Europe, pp.554-559, 2005. ,
DOI : 10.1109/DATE.2005.263
URL : https://hal.archives-ouvertes.fr/hal-00181570
A SystemC-based Software and Communication Refinement Framework for Distributed Embedded Systems, 2006. ,
Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation, Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, CODES/ISSS '08, pp.143-148, 2008. ,
DOI : 10.1145/1450135.1450168
RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. Design Automation for Embedded Systems, pp.209-227, 2005. ,
Introducing preemptive scheduling in abstract rtos models using result oriented modeling, DATE '08: Proceedings of Design, Automation and Test in Europe, 2008. ,
Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010. ,
DOI : 10.1109/DATE.2010.5456986
Software Synthesis for System-on-Chip, 2005. ,
Accurate RTOS Modeling and Analysis with??SystemC, Hardware-dependent Software, pp.233-260, 2009. ,
DOI : 10.1007/978-1-4020-9436-1_9