Scheduling Timed Modules for Correct Resource Sharing


Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized parallel executions may lead to hazard situations caused by e.g., race conditions. To be able to detect such faulty system behaviors before implementation, we introduce a unified… (More)
DOI: 10.1109/ICST.2008.70


6 Figures and Tables