BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (8)
simul (6)
system (5)
base (4)
design (4)

Stem rtos$ (all stems)

15 papers:

ICSTICST-2012-FangKDO #formal method #manycore #modelling
Formal Model-Based Test for AUTOSAR Multicore RTOS (LF, TK, TBND, HO), pp. 251–259.
DATEDATE-2011-RazaghiG #development #embedded #manycore #realtime
Host-compiled multicore RTOS simulator for embedded real-time software development (PR, AG), pp. 222–227.
DATEDATE-2010-BeckerGF0PX #design #refinement
RTOS-aware refinement for TLM2.0-based HW/SW designs (MB, GDG, FF, WM, GP, TX), pp. 1053–1058.
DATEDATE-2010-HwangSAG #modelling #transaction
Accurate timed RTOS model for transaction level modeling (YH, GS, SA, DDG), pp. 1333–1336.
DATEDATE-2010-OliveiraZ0 #verification
Assertion-based verification of RTOS properties (MFdSO, HZ, WM), pp. 630–633.
DATEDATE-2009-ZabelM #injection #simulation
Increased accuracy through noise injection in abstract RTOS simulation (HZ, WM), pp. 1632–1637.
DATEDATE-2008-SchirnerD #modelling #scheduling #using
Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling (GS, RD), pp. 122–127.
FMFM-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-DF-2004-MoignePC #realtime #simulation
A Generic RTOS Model for Real-time Systems Simulation with SystemC (RLM, OP, JPC), pp. 82–87.
DATEDATE-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.
DATEDATE-2003-GerstlauerYG #design #modelling
RTOS Modeling for System Level Design (AG, HY, DG), pp. 10130–10135.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.