Final Program of RTAS09

Note: all RTAS'09 sessions will be in room Cyril Magnin III.

Time	Monday	Tuesday	Wednesday	Thursday
8:00 -8:30am	Opening Remarks			Workshops
8:30-9:30am	Plenary	Plenary	Plenary	Workshops
9:30-10:00am	Coffee Break
10:00-11:30am	Multiprocessor Scheduling	Energy Aware	Scheduling (II)	Workshops
11:30-12:30pm	Lunch Break
12:30-2:00pm	Execution Time (I)	Scheduling (I)	Execution time (II)	Workshops
2:00-2:30pm	Coffee Break
2:30-4:00pm	CPS	Applications	Sensor Networks & Closing Remarks (finish 3:30pm)	Workshops
4:00-4:30pm	Coffee Break		CPS Forum
4:30-6:00pm	Systems & Software	Distributed Systems		Workshops
6:00-8:30pm	Poster Session

• Session: Multiprocessor Scheduling - Chair: George Lima

  • Notional processors: an approach for multiprocessor scheduling
    by Konstantinos Bletsas and Bjorn Andersson
     

  • An Evaluation of the Dynamic and Static Multiprocessor Priority Ceiling Protocol and the Multiprocessor Stack Resource Policy in an SMP System
    by J Ras and Albert Cheng
     

  • Semi-Partitioned Fixed-Priority Scheduling on Multiprocessors
    by Shinpei Kato and Nobuyuki Yamasaki
     

• Session: Execution Time (I) - Chair: Frank Mueller

  • Minimizing WCET for Real-Time Embedded Systems via Static I-Cache
    by Tiantian Liu, Minming Li and Chun Jason Xue
     

  • Static Prediction of Worst-case Data Cache Performance in the Absence of Base Address Information
    by  Diego Andrade, B. B. Fraguela and Doallo Ramón
     

  • Model Identification for WCET Analysis
    by Björn Lisper and Marcelo Santos
     

• Session: Cyber-Physical Systems (CPS) - Chair: Raj Rajkumar
  • CSL: A Language to Specify and Re-Specify Mobile Sensor Network Behaviors
    by Joshua Love, Jerry Jariyasunant, Karl Hedrick, Raja Sengupta, Marco Zennaro, Christoph Kirsch
    and Eloi Pereira
     
  • Execution Strategies for PTIDES: a Programming Model for Distributed Embedded Systems
    by Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng and Patricia Derler
     
  • On Dynamic Reconfiguration of A Large-Scale Battery System
    by Hahnsang Kim and Kang Shin
     
• Session: Systems & Software - Chair: Sebastian Fischmeister
  • The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety
    by Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo and Lui Sha
     
  • QeDB: A Quality-Aware Embedded Real-Time Database
    by  WOOCHUL KANG, Sang Son and John Stankovic
     
  •  Adaptive Failover for Real-time Middleware with Passive Replication
    by Jaiganesh Balasubramanian, Sumant Tambe, Chenyang Lu, Aniruddha Gokhale, Chris Gill
    and Douglas Schmidt
     
• Session: Energy Aware - Chair: Enrico Bini
  • Thermal-Aware Global Real-Time Scheduling on Multicore Systems
    by Nathan Fisher, Jian-Jia Chen, Shengquan Wang and Lothar Thiele
     
  • Proactive Speed Scheduling for Real-Time Tasks under Thermal Constraints
    by Jian-Jia Chen, Shengquan Wang and Lothar Thiele
     
  • Energy-Conscious Co-Scheduling of Tasks and Packets in Wireless Real-Time Environments
    by Jun Yi, Christian Poellabauer, X. Sharon Hu, Jeff Simmer and Liqiang Zhang.
     
• Session: Scheduling (I) - Chair: Zonghua Gu
  • A New Metric for Judicious Relaxation of Timing Constraints in Soft Real-Time Systems
    by Yue Yu, Shangping Ren and X. Sharon Hu
     
  • Dynamic Reconfiguration in Reservation-based Scheduling: An Optimization Approach
    by Augusto Oliveira, Eduardo Camponogara and George Lima
     
  •  Bounding Worst-Case Response Time for Tasks under PIP
    by Harini Ramaprasad and Frank Mueller
     
• Session: Applications - Chair: Rolf Ernst
  • Functional Modeling of Complex State Dependencies in Stream-Processing Systems
    by Anne Bouillard, Linh T.X. Phan and Samarjit Chakraborty
     
  • Real-Time Surveillance over IEEE 802.11 Mesh Networks
    by Arvind Kandhalu, Anthony Rowe and Raj Rajkumar
     
  • Effect of battery charge on energy consumption
    by Harri Heinimäki, Petri Niska and Jussi Ruutu
     
• Session: Distributed Systems - Chair: Kang Shin
  • Modeling and Analysis of Multi-Hop Control Networks
    by Rajeev Alur, Alessandro D'Innocenzo, Karl Johansson, George Pappas and Gera Weiss
     
  • Power-Aware CPU Utilization Control for Distributed Real-Time Systems
    by Xiaorui Wang, Xing Fu, Xue Liu and Zonghua Gu
     
  • EMWF for Flexible Automation and Assistive Devices
    by T. S. Chou, Chi-Sheng Shih, Tei-Wei Kuo, J. S. Hu, Jane W. S. Liu and Y. C. Wang
     
• Session: Scheduling (II) - Chair: Albert Cheng
  • A Conservative Approximation Method for the Verification of Preemptive Scheduling using Timed Automata
    by Gabor Madl, Nikil Dutt and Sherif Abdelwahed
     
  • Power-Aware Mapping of Probabilistic Applications
    by Andreas Schranzhofer, Jian-Jia Chen and Lothar Thiele
     
  • Optimizing Extensibility in Hard Real-time Distributed Systems
    by Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale and Alberto Sangiovanni-Vincentelli
     
• Session: Execution Time (II) - Chair: Harini Ramaprasad
  • Guaranteed Loop Bound Identification from Program Traces for WCET
    by Mark Bartlett, Iain Bate and Dimitar Kazakov
     
  • Partial Program Admission
    by Michael Wilson, Ron K. Cytron and Jonathan Turner
     
  • On Time-Aware Instrumentation
    by Sebastian Fischmeister and Patrick Lam
     
• Session: Sensor Networks - Chair: Iain Bate
  • Efficient Aggregate Computations in Large-Scale Dense WSN
    by Nuno Pereira, Ricardo Gomes, Bjorn Andersson and Eduardo Tovar
     
  • Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART Network
    by Song Han, Jianping Song, Xiuming Zhu, Aloysius Mok, Deji Chen, Mark Nixon, Wally Pratt and Veena Gondhalekar