@article {39, title = {State-based scheduling with tree schedules: analysis and evaluation}, journal = {Real-Time Systems}, volume = {48}, year = {2012}, pages = {430 - 462}, abstract = {
Distributed real-time systems require bounded communication delays and achieve them by means of a predictable and verifiable control mechanism for the communication medium. Real-time bus arbitration mechanisms control access to the medium and guarantee bounded communication delays. These arbitration mechanisms can be static dispatch tables or dynamic, algorithmic approaches.
In this work, we introduce a real-time bus arbitration mechanism called tree schedules that takes the best parts of both sides: It can be analyzed like static dispatch tables, and it provides a certain degree of flexibility similar to algorithmic approaches. We present tree schedules as a framework to specify real-time traffic and introduce mechanisms to analyze it. We discuss how tree schedules can capture application-specific behavior in a time-triggered state-based supply model by means of conditional branching built into the model. We present analysis results for this model specifically aiming at schedulability in fixed and dynamic priority schemes and waiting time analysis. Finally, we demonstrate the advantages of state-based supply over stateless supply by means of two case studies.
}, keywords = {network code}, issn = {0922-6443}, doi = {10.1007/s11241-012-9151-3}, author = {Madhukar Anand and Sebastian Fischmeister and Insup Lee and Linh T. X. Phan} }