Dual ceiling protocol for real-time synchronization under preemption threshold scheduling

S Kim - Journal of Computer and System Sciences, 2010 - Elsevier
The application of object-oriented design methods to real-time embedded systems is
seriously hindered by the lack of existing real-time scheduling techniques that can be …

Timing Optimization of Real-Time System Design for Embedded Systems

EJ Park, TK Jeong - Journal of the Korea Institute of Information …, 2006 - koreascience.kr
This paper presents a new real-time system design methodology for embedded system as
well as event-driven real time application. It is required to implement a deadline handling …

[PDF][PDF] Modeling Scenarios in Scenario-Based Multithreading for Object-Oriented Real-Time Modeling

S Kim, M Buettner, M Hermeling, S Hong - 대한전자공학회 ISOCC, 2004 - Citeseer
The paper presents our scenario modeling framework in scenario-based multithreading for
objectoriented real-time modeling. Our modeling toolset allows scenario modeling by …