15 papers:
ICST-2012-FangKDO #formal method #manycore #modelling- Formal Model-Based Test for AUTOSAR Multicore RTOS (LF, TK, TBND, HO), pp. 251–259.
DATE-2011-RazaghiG #development #embedded #manycore #realtime- Host-compiled multicore RTOS simulator for embedded real-time software development (PR, AG), pp. 222–227.
- DATE-2010-BeckerGF0PX #design #refinement
- RTOS-aware refinement for TLM2.0-based HW/SW designs (MB, GDG, FF, WM, GP, TX), pp. 1053–1058.
- DATE-2010-HwangSAG #modelling #transaction
- Accurate timed RTOS model for transaction level modeling (YH, GS, SA, DDG), pp. 1333–1336.
- DATE-2010-OliveiraZ0 #verification
- Assertion-based verification of RTOS properties (MFdSO, HZ, WM), pp. 630–633.
- DATE-2009-ZabelM #injection #simulation
- Increased accuracy through noise injection in abstract RTOS simulation (HZ, WM), pp. 1632–1637.
- DATE-2008-SchirnerD #modelling #scheduling #using
- Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling (GS, RD), pp. 122–127.
FM-2008-VerhulstJM #case study #development #formal method #industrial- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS (EV, GGdJ, VM), pp. 411–418.
- DATE-2007-MossNFFBA #hardware #performance #simulation
- Seamless hardware/software performance co-monitoring in a codesign simulation environment with RTOS support (LM, MdN, LF, SF, GB, EMA), pp. 876–881.
- DATE-2006-ArpinenKSHH #configuration management #distributed #execution #framework #multi #uml
- Configurable multiprocessor platform with RTOS for distributed execution of UML 2.0 designed applications (TA, PK, ES, MH, TDH), pp. 1324–1329.
- DATE-2006-NakamuraST #integration #performance #simulation
- An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC (HN, NS, NT), pp. 1157–1158.
- DATE-2005-HassanSTI #kernel #simulation
- RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC (MAH, KS, YT, MI), pp. 554–559.
- DATE-DF-2004-MoignePC #realtime #simulation
- A Generic RTOS Model for Real-time Systems Simulation with SystemC (RLM, OP, JPC), pp. 82–87.
- DATE-2003-BesanaB #automation #case study #code generation #design #framework #hardware
- Application Mapping to a Hardware Platform through Automated Code Generation Targeting a RTOS: A Design Case Study (MB, MB), pp. 20041–20044.
- DATE-2003-GerstlauerYG #design #modelling
- RTOS Modeling for System Level Design (AG, HY, DG), pp. 10130–10135.
