Table of Contents

• An optimisation algorithm for minimising energy dissipation in NoC-based hard real-time embedded systemsM. Norazizi Sham Mohd Sayuti, Leandro Soares Indrusiak, Alberto García Ortiz. 3-12 [doi]
• Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?Borislav Nikolic, Hazem Ismail Ali, Stefan M. Petters, Luís Miguel Pinho. 13-22 [doi]
• On-chip ring network designs for hard-real time systemsMilos Panic, Germán Rodríguez, Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla. 23-32 [doi]
• Static probabilistic worst case execution time estimation for architectures with faulty instruction cachesDamien Hardy, Isabelle Puaut. 35-44 [doi]
• Leveraging transactional memory for a predictable execution of applications composed of hard real-time and best-effort tasksStefan Metzlaff, Sebastian Weis, Theo Ungerer. 45-54 [doi]
• Static analysis of worst-case stack cache behaviorAlexander Jordan, Florian Brandner, Martin Schoeberl. 55-64 [doi]
• Fine-grained multiprocessor real-time locking with improved blockingBryan C. Ward, James H. Anderson. 67-76 [doi]
• An experimental evaluation of synchronization protocol mechanisms in the domain of hierarchical fixed-priority schedulingMikael Åsberg, Moris Behnam, Thomas Nolte. 77-85 [doi]
• Partition configuration for real-time systems with dependenciesJoseph Porter, Csanád Szabó. 87-96 [doi]
• A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systemsVincent Legout, Mathieu Jan, Laurent Pautet. 99-108 [doi]
• Energy-aware design of secure multi-mode real-time embedded systems with FPGA co-processorsKe Jiang, Adrian Alin Lifa, Petru Eles, Zebo Peng, Wei Jiang. 109-118 [doi]
• Thermal analysis of periodic real-time systems with stochastic properties: an analytical approachMorteza Mohaqeqi, Mehdi Kargahi. 119-127 [doi]
• Optimal procrastination interval for constrained deadline sporadic tasks upon uniprocessorsMuhammad Ali Awan, Patrick Meumeu Yomsi, Stefan M. Petters. 129-138 [doi]
• Timing analysis enhancement for synchronous programPascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier. 141-150 [doi]
• Quality of service capabilities for hard real-time applications on multi-core processorsJan Nowotsch, Michael Paulitsch. 151-160 [doi]
• WCET squeezing: on-demand feasibility refinement for proven precise WCET-boundsJens Knoop, Laura Kovács, Jakob Zwirchmayr. 161-170 [doi]
• Fixed-priority scheduling of dual-criticality systemsSanjoy K. Baruah, Alan Burns. 173-181 [doi]
• Two protocols to reduce the criticality level of multiprocessor mixed-criticality systemsFrançois Santy, Gurulingesh Raravi, Geoffrey Nelissen, Vincent Nélis, Pratyush Kumar, Joël Goossens, Eduardo Tovar. 183-192 [doi]
• Best-case response times and jitter analysis of real-time tasks with arbitrary deadlinesReinder J. Bril, Johan J. Lukkien, Rudolf H. Mak. 193-202 [doi]
• A delay density model for networked control systemsTobias Bund, Frank Slomka. 205-212 [doi]
• Formal verification of real-time wireless sensor networks protocols with realistic radio linksAlexandre Mouradian, Isabelle Augé-Blum. 213-222 [doi]
• Formal approach to guard time optimization for TDMAOday Jubran, Bernd Westphal. 223-233 [doi]
• Continuity for network calculusMarc Boyer, Guillaume Dufour, Luca Santinelli. 235-244 [doi]
• Sufficient real-time analysis for an engine control unitVictor Pollex, Timo Feld, Frank Slomka, Ulrich Margull, Ralph Mader, Gerhard Wirrer. 247-254 [doi]
• Improved feasibility of fixed-priority scheduling with deferred preemption using preemption thresholds for preemption pointsReinder J. Bril, Martijn M. H. P. van den Heuvel, Johan J. Lukkien. 255-264 [doi]
• Approximation scheme for real-time tasks under fixed-priority scheduling with deferred preemptionThi Huyen Chau Nguyen, N. S. Tran, V. H. Le, Pascal Richard. 265-274 [doi]
• Feasibility intervals for homogeneous multicores, asynchronous periodic tasks, and FJP schedulersVincent Nélis, Patrick Meumeu Yomsi, Joël Goossens. 277-286 [doi]
• Global EDF scheduling of directed acyclic graphs on multiprocessor systemsManar Qamhieh, Frédéric Fauberteau, Laurent George 0001, Serge Midonnet. 287-296 [doi]
• Partitioned scheduling of multimode multiprocessor real-time systems with temporal isolationJoël Goossens, Pascal Richard. 297-305 [doi]