Program

Wednesday 1st July 2009 Thursday 2nd July 2009 Friday 3rd July 2009
9:15 - 9:30
Welcome
9:00 - 10:30
Uniprocessor scheduling
9:00 - 10:30
Implementation models
9:30 - 10:30
Networks and distributed systems 1
10:30 - 11:00
Coffee break
10:30 - 11:00
Coffee break
10:30 - 11:00
Coffee break
11:00 - 12:30
Programming languages
11:00 - 12:30
Timing analysis
11:00 - 12:30
Energy and temperature constrained systems
12:30 - 14:00
Lunch break
12:30 - 14:00
Lunch break
12:30 - 14:00
Lunch break
14:00 - 15:00
Networks and distributed systems 2
14:00 - 15:00
Keynote presentation
14:00 - 16:00
Multiprocessor scheduling 2
15:00 - 15:30
Coffee break
15:00 - 15:30
Coffee break
15:30 - 17:00
Work-in-progress presentations
15:30 - 17:00
Multiprocessor scheduling 1
 
17:00 - 17:30
Work-in-progress posters
 

Best Paper Award

End-to-End Delay Analysis of Distributed Systems with Cycles in the Task Graph
Praveen Jayachandran and Tarek Abdelzaher

About the authors: Praveen Jayachandran received his B.Sc. and M.Sc. dual degree in Computer Science and Engineering from the Indian Institute of Technology (IIT) in Madras and currently is short before finishing his Ph.D. at the University of Illinois at Urbana-Champaign. He will be looking for an interesting postdoctoral position soon. Tarek Abdelzaher received his Ph.D. from the University of Michigan in Ann Arbor, and is now Associate Professor in the Department of Computer Science at the University of Illinois at Urbana Champaign.


Keynote presentation

Session chair: Gerhard Fohler, University of Kaiserslautern, Germany

Stylianos Mamagkakis

Speaker

Stylianos Mamagkakis, IMEC vzw., Belgium

Title

Emerging multicore hardware platforms and their software support challenges (download)

Abstract

The first industrial multiprocessor system-on-chip (MPSoC) platforms have already found their way into the embedded systems we use in our everyday life, as in advanced entertainment and communication platforms. The ever increasing performance hunger drives also the adoption of MultiCore architectures into battery operated embedded devices such as cell phones or portable media players. These architectures will meet the performance needs of tomorrow's applications, but need to meet even worse constraints on power consumption. In this talk, the latest developments and future directions of hardware MPSoC platforms for nomadic embedded applications will be presented. Next to the hardware perspective, the software related challenges of these emerging MPSoC platforms will be discussed and some of the proposed solutions will be evaluated.

Short Biography

Stylianos Mamagkakis received his MSc and PhD degree in Electrical and Computer Engineering from the Democritus Uni. Thrace (Greece) in 2004 and 2007, respectively. Since 2006, he coordinates a team of PhD students within the SSET division at IMEC (Belgium). His research interests focus on MPSoC system-level exploration and reliability issues. He has published more than 35 papers in International Journals and Conferences. He was investigator in 10 research projects in the embedded systems domain funded by the EC as well as national governments and industry. He has been project leader of the MNEMEE FP7 project and the OptiMMA IWT project and is the representative of IMEC in the Spirit consortium, Artist and HiPEAC Networks of Excellence.

They keynote presentation is available for download here.

Networks and distributed systems 1

Session chair: Zdenek Hanzalek, Czech Technical University in Prague, Czech Republic

Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks
Zheng Shi and Alan Burns

End-to-End Delay Analysis of Distributed Systems with Cycles in the Task Graph
Praveen Jayachandran and Tarek Abdelzaher

Programming languages

Session chair: Peter Puschner, Technische Universitaet Wien, Austria

Refactoring Asynchronous Event Handling in the Real-Time Specification for Java
MinSeong Kim and Andy Wellings

Combining Worst-Case Timing Models, Loop Unrolling, and Static Loop Analysis for WCET Minimization
Paul Lokuciejewski and Peter Marwedel

Deriving the Worst-Case Execution Time Input Values
Andreas Ermedahl, Johan Fredriksson, Jan Gustafsson and Peter Altenbernd

Multiprocessor scheduling 1

Session chair: Giuseppe Lipari, Scuola Superiore Sant'Anna, Italy

Sustainable Multiprocessor Scheduling of Sporadic Task Systems
Theodore Baker and Sanjoy Baruah

Two Protocols for Scheduling Multi-Mode Real-Time Systems upon Identical Multiprocessor Platforms
Vincent Nelis, Joel Goossens and Bjorn Andersson

A Norm Approach for the Partitioned EDF Scheduling of Sporadic Task Systems
Jean-François Hermant and Laurent George

Timing analysis

Session chair: Isabelle Puaut, University of Rennes, France

A new Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay
Sebastian Joachim Altmeyer and Claire Burguiere

Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies
Raimund Kirner, Albrecht Kadlec and Peter Puschner

Using Randomized Caches in Probabilistic Real-Time Systems
Eduardo Quiñones, Emery Berger, Guillem Bernat and Francisco Cazorla

Uniprocessor scheduling

Session chair: Julio Medina, Universidad de Cantabria, Santander, Spain

Improvement to Quick Processor-demand Analysis for EDF-Scheduled Real-Time Systems
Fengxiang Zhang and Alan Burns

Supporting Pipelines in Soft Real-Time Multiprocessor Systems
Cong Liu and James H. Anderson

On-line Scheduling Algorithm for the Gravitational Task Model
Raphael Guerra and Gerhard Fohler

Networks and distributed systems 2

Session chair: Eduardo Tovar, Polytechnic Institute of Porto, Portugal

Profinet IO IRT Message Scheduling
Zdeněk Hanzálek, Pavel Burget and Přemysl Šůcha

Hierarchical Utilization Control for Real-Time and Resilient Power Grid
Ming Chen, Clinton Nolan, Xiaorui Wang, Sarina Adhikari, Fangxing Li and Hairong Qi

Implementation models

Session chair: Frank Mueller, North Carolina State University, USA

Predictable Runtime Monitoring
Haitao Zhu, Matthew B. Dwyer and Steve Goddard

Reader-Writer Synchronization for Shared-Memory Multiprocessor Real-Time Systems
Björn Brandenburg and James H. Anderson

On the Design and Implementation of a Cache-Aware Multicore Real-Time Scheduler
John Calandrino and James H. Anderson

Energy and temperature constrained systems

Session chair: Steve Goddard, University of Nebraska-Lincoln, USA

Leakage Aware Feasibility Analysis for Temperature-Constrained Hard Real-Time Periodic Tasks
Gang Quan and Yan Zhang

Competitive Analysis of Energy-Constrained Real-Time Scheduling
Vinay Devadas, Fei Li and Hakan Aydin

Generalized Tardiness Quantile Metric: Distributed DVS for Soft Real-Time Web Clusters
Luciano Bertini, Julius Leite and Daniel Mosse

Multiprocessor scheduling 2

Session chair: Scott Brandt, University of California, Santa Cruz, USA

Partitioned Fixed-Priority Preemptive Scheduling for Multi-Core Processors
Karthik Lakshmanan, Ragunathan Rajkumar and John Lehoczky

Semi-Partitioned Scheduling of Sporadic Task Systems on Multiprocessors
Shinpei Kato and Nobuyuki Yamasaki

Implementation of a Speedup-optimal Global EDF Schedulability Test
Sanjoy Baruah, Vincenzo Bonifaci, Alberto Marchetti-Spaccamela and Sebastian Stiller

Approximate Bandwidth Allocation for Compositional Real-Time Systems
Nathan Fisher and Farhana Dewan

Work-in-progress presentations

Response Time Analysis

Exact Best-case Response Time Analysis of Real-time Tasks under Fixed-priority Pre-emptive Scheduling for Arbitrary Deadlines
Reinder J. Bril, Liliana Cucu-Grosjean and Joël Goossens

Towards Response-time Analysis of Complex Real-time Systems by using Parametric Worst-Case Execution-Time Estimate on Tasks - A Case Study for Robotic Control System
Yue Lu, Antonio Cicchetti, Mikael Sjödin, Jukka Mäki-Turja, Stefan Bygde and Christer Norström

Applying Non-constant Volatility Analysis Methods to Software Timeliness
Shane Brennan, Vinny Cahill and Siobhán Clarke

Worst Case Analysis

Worst-Case Execution Time Analysis through Types
Steffen Jost, Hans-Wolfgang Loidly, Norman Scaifez, Kevin Hammond, Greg Michaelsonz and Martin Hofmann

A Preliminary Study of WCET for a Non-deterministic Cache Policy
Stéphane Louise

Time-Based Intrusion Detection in Cyber-Physical Systems
Christopher Zimmer, Balasubramanya Bhat, Frank Mueller and Sibin Mohan

Resource Scheduling Analysis

On Utilization Bounds for a Periodic Resource under Rate Monotonic Scheduling
André M. van Renssen, Stefan J. Geuns, Joost P.H.M. Hausmans, Wouter Poncin and Reinder J. Bril

Real-Time Resource Management for Service Robots
Björn Pietsch and Wilfried Gerth

Energy Aware

Dynamic Configuration Support for Power-aware Virtualized Server Clusters
Vinicius Petrucci, Orlando Loques and Daniel Mosse

Managing QoS and Power in Three-tiered Web Clusters
Raymond Giorgi and Daniel Mosse and Julius C. B. Leite

Synchronization and Memory accesses

A New Approach for Global Synchronization in Hierarchical Scheduled Real-time Systems
Moris Behnam, Thomas Nolte and Reinder J. Bril

Light-weight Memory Protection for a Real-time Operating System
Shimpei Yamada and Yukikazu Nakamoto

An Investigation of Synchronization under Multiprocessors Hierarchical Scheduling
Farhang Nemati, Moris Behnam and Thomas Nolte

Applications

A Case for Utility: Study on Real-Time Scheduling a Real-World Problem
Michael Roitzsch

Applying Trajectory Approach to AFDX Avionics Network
Henri Bauer, Jean-Luc Scharbarg and Christian Fraboul




Page maintained by the Program Chair