RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model

Hector Posadas, Jesús Ádamez, Eugenio Villar, Francisco Blasco, F. Escuder. RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. Design Autom. for Emb. Sys., 10(4):209-227, 2005. [doi]

Abstract

Abstract is missing.