Main Track		Cyber-Physical Systems		Work in Progress
	Keynote Address		Design & Verification		CRTS'09
	Opening Remarks		Wireless Sensor Networks		Student Design Competition

Time	December 1st		December 2nd	December 3rd		December 4th
8:00	Workshop on Compositional Theory and Technology for Real-Time Embeded Systems (CRTS'09)	Ph.D. Student Forum on Cyber-Physical Systems	Coffee	Coffee		Session 9A: Wireless Sensor Network Protocols Chair: Jack Stankovic	Session 9B: Design & Verification II Chair: Wang Yi
8:30			Opening Remarks: Steve Goddard & Ted Baker	Session 5A: Delays in Wireless Sensor Networks Chair: Guoliang Xing	Session 5B: Design & Verification I Chair: Chris Gill
9:00			Keynote Address: Presentation Name Peter Lee, Director, Transformational Convergence Technology Office, DARPA
10:00			Break	Break		Break
10:30			Session 2: Cyber-Physical Systems & Power Management Chair: Shangping Ren	Session 6: Work in Progress Chair:Dakai Zhu		Session 10: Multiprocessor Scheduling I Chair: Eduardo Tovar
12:30			Lunch	Lunch		Lunch
2:00			Session 3: Execution Time Analysis Chair: Harini Ramaprasad	Session 7A: Scheduling Analysis Chair: Thomas Nolte	Session 7B: Wireless Sensor Networks: Systems & Detection Chair: Raj Rajkumar	Session 11: Multiprocessor Scheduling II Chair: Tarek Abdelzaher
3:30			Break			Break
4:00	Break		Session 4: Memory & Data Management Chair: Oleg Sokolsky	Break		Session 12: Multiprocessor Scheduling III Chair: James Anderson
	4:30 PM - 7:15 PM Student Design Competition - CyberRescue@RTSS2009			Session 8: Real-Time Operating Systems Chair: Hermann Härtig
				Committee Meeting
6:30			Banquet

Tuesday, December 1st

8:30 AM - 4:00 PM - Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'09) (Room: Sulgrave)

8:30 AM - 5:10 PM - Ph.D. Student Forum on Cyber-Physical Systems (Room: Dumbarton)

4:30 PM - 7:15 PM - Student Design Competition - CyberRescue@RTSS2009 (Room: Sulgrave)

Wednesday, December 2nd

8:30 AM - Opening Remarks

9:00 AM - Keynote Address:  New Directions at DARPA - Peter Lee, Director, Transformational Convergence Technology Office, DARPA

10:00 AM - Break

10:30 AM - 12:30 PM

Session 2: Cyber-Physical Systems & Power Management
Room: Ballroom II
Chair: Shangping Ren

• On the benefits of relaxing the periodicity assumption for networked control systems over CAN
  Adolfo Anta and Paulo Tabuada
  University of California, Los Angeles
• Scheduling of Battery Charge,Discharge, and Rest
  Hahnsang Kim and Kang Shin
  The University of Michigan
• Adaptive Dynamic Power Management for Hard Real-Time Systems
  Kai Huang¹,  Luca Santinelli²,  Jian-Jia chen¹,  Lothar Thiele¹,  Giorgio C. Buttazzo^{2
  1}ETHZ, ²Scuola Superiore Sant'Anna of Pisa, Italy
• Rapid Early-Phase Virtual Integration
  Sibin Mohan, Min-Young Nam, Rodolfo Pellizoni, Lui Sha, Richard Bradford and Shana Fliginger
  University of Illinois at Urbana-Champaign (UIUC)

12:30 PM - Lunch in the Roosevelt Room

2:00 PM - 3:30 PM

Session 3: Execution Time Analysis
Room: Ballroom II
Chair: Harini Ramaprasad

• Unified Cache Modeling for WCET Analysis and Layout Optimizations
  Sudipta Chattopadhyay and Abhik Roychoudhury
  National University of Singapore
• Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores.
  Yan Li,  Vivy Suhendra,  Yun Liang,  Tulika Mitra,  Abhik Roychoudhury
  National University of Singapore
• Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches
  Damien Hardy¹,  Thomas Piquet²,  Isabelle Puaut^{1
  1}Universite Europeenne de Bretagne / IRISA, ²INRIA Rennes Bretagne Atlantique

3:30 PM - Break

4:00 PM - 6:00 PM

Session 4: Memory & Data Management
Room: Ballroom II
Chair: Oleg Sokolsky

• Scheduling Hard Real-time Garbage Collection
  Tomas Kalibera,  Filip Pizlo,  Antony Hosking,  Jan Vitek
  Purdue University
• A Generic Framework for Real-Time Program Executions on NAND Flash Memory in Multi-Tasking Embedded Systems
  Duhee Lee¹,  Chang-Gun Lee¹,  Kanghee Kim^{2
  1}Seoul National University, ²Samsung Electronics Co. Ltd
• Integrating Proactive and Reactive Approaches for Robust Real-Time Data Services
  Yan Zhou and Kyoung-Don Kang
  State University of New York at Binghamton
• Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems
  Song Han¹,  Deji Chen²,  Ming Xiong³,  Aloysius K. Mok^{1
  1}University of Texas at Austin, ²Emerson Process Management, ³Bell Labs, Alcatel-Lucent

7:00 PM - 9:30 PM - Banquet (Top of the Town)

Thursday, December 3rd

8:30 AM - 10:00 AM

Session 5A: Delays in Wireless Sensor Networks
Room: Ballroom II
Chair: Guoliang Xing

• Spatiotemporal Delay Control for Low-Duty-Cycle Sensor Networks
  Yu Gu¹,  Tian He¹,  Mingen Lin²,  Jinhui Xu^{2
  1}University of Minnesota, ²SUNY, Buffalo
• Cross-layer Analysis of End-to-end Delay Distribution in Wireless Sensor Networks
  Yunbo Wang,  Mehmet C. Vuran,  Steve Goddard
  Department of Computer Science and Engineering, University of Nebraska-Lincoln
• When In-Network Processing Meets Time: Complexity and Effects of Joint Optimization in Wireless Sensor Networks
  Qiao Xiang¹,  Xiaohui Liu¹,  Jinhong Xu²,  Hongwei Zhang¹,  Loren Rittle^{3
  1}Wayne State University, ²Indiana University, ³Motorola Labs

8:30 AM - 10:00 AM

Session 5B: Design & Verification I
Room: Ballroom I
Chair: Chris Gill

• A Formal Architecture Pattern for Real-time Distributed Systems
  Abdullah Al-Nayeem,  Mu Sun,  Xiaokang Qiu,  Lui Sha
  University of Illinois at Urbana-Champaign
• Distributed, Modular HTL
  Thomas A. Henzinger¹,  Christoph M. Kirsch²,  Eduardo R. B. Marques³,  Ana Sokolova^{2
  1}EPFL, ²University of Salzburg, ³University of Porto
• Verifying Tolerant Systems using Polynomial Approximations
  Pavithra Prabhakar¹,  Vladimeros Vladimerou²,  Mahesh Viswanathan¹,  Geir Dullerud^{1
  1}UIUC, ²Lund University

10:00 AM - Break

10:30 AM - 12:30 PM

Session 6: Work in Progress
Room: Ballroom II
Chair: Dakai Zhu

12:30 PM - Lunch in Ballroom I

2:00 PM - 4:00 PM

Session 7A: Scheduling Analysis
Room: Ballroom II
Chair: Thomas Nolte

• Feasibility Analysis of On-Line DVS Algorithms for Scheduling Arbitrary Event Streams
  Jian-Jia Chen,  Nikolay Stoimenov,  Lothar Thiele
  ETH Zurich
• Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems
  Linh T.X. Phan¹,  Samarjit Chakraborty²,  Insup Lee^{1
  1}Department of Computer and Information Science, University of Pennsylvania, USA, ²Institute for Real-Time Computer Systems, TU Munich, Germany
• Flow-based Mode Changes: Towards Virtual Uniprocessor Models for Efficient Reduction-based Schedulability Analysis of Distributed Systems
  Praveen Jayachandran and Tarek Abdelzaher
  University of Illinois at Urbana-Champaign, USA
• On the Scheduling of Mixed-Criticality Real-Time Task Sets
  Dionisio de Niz,  Karthik Lakshmanan,  Raj Rajkumar
  Carnegie Mellon University

2:00 PM - 4:00 PM

Session 7B: Wireless Sensor Networks: Systems & Detection
Room: Ballroom I
Chair: Raj Rajkumar

• Towards Stable Network Performance in Wireless Sensor Networks
  Shan Lin¹,  Gang Zhou²,  Kamin Whitehouse¹,  Yafeng Wu¹,  John Stankovic¹,  Tian He^{3
  1}University of Virginia, ²College of William & Mary, ³University of Minnesota
• An Adaptive-reliability Cyber-physical Transport Protocol for Spatio-temporal Data
  Hossein Ahmadi and Tarek Abdelzaher
  University of Illinois
• Multi-channel Interference Measurement and Modeling in Low-Power Wireless Networks
  Guoliang Xing¹,  Mo Sha²,  Jun Huang¹,  Gang Zhou³,  Xiaorui Wang⁴,  Shucheng Liu^{2
  1}Michigan State University, ²City University of Hong Kong, ³College of William and Mary, ⁴University of Tennessee, Knoxville

 

4:00 - Break

4:30 PM - 6:00 PM

Session 8: Real-Time Operating Systems
Room: Ballroom II
Chair: Hermann Härtig

• Real-Time Control of I/O COTS Peripherals for Embedded Systems
  Stanley Bak,  Emiliano Betti,  Rodolfo Pellizzoni,  Marco Caccamo,  Lui Sha
  University of Illinois at Urbana-Champaign
• Sloth: Threads as Interrupts
  Wanja Hofer,  Daniel Lohmann,  Fabian Scheler,  Wolfgang Schröder-Preikschat
  Friedrich-Alexander University Erlangen-Nuremberg
• On the Implementation of Global Real-Time Schedulers
  Bjorn B. Brandenburg and James H. Anderson
  University of North Carolina at Chapel Hill

6:15 PM - 7:30 PM - Committee on Real-Time Systems Meeting (Ballroom II)

Friday, December 4th

8:00 AM - 10:00 AM

Session 9A: Wireless Sensor Network Protocols
Room: Ballroom II
Chair: Jack Stankovic

• AdaptSens: An Adaptive Data Collection and Storage Service for Solar-Powered Sensor Networks
  Lili Wang¹,  Yong Yang¹,  Dong Kun Noh¹,  Hieu Le¹,  Tarek Abdelzaher¹,  Michael Ward²,  Jie Liu^{3
  1}Department of Computer Science, University of Illinois at Urbana Champaign, ²Department of Natural Resources and Environmental Sciences, University of Illinois at Urbana Champaign, ³Microsoft Research, Redmond, WA, USA
• Post-Deployment Performance Debugging in Wireless Sensor Networks
  Zhigang Chen and Kang Shin
  University of Michigan
• Impact of Data Fusion on Real-Time Detection in Sensor Networks
  Rui Tan¹,  Guoliang Xing²,  Benyuan Liu³,  Jianping Wang^{1
  1}City University of Hong Kong, ²Michigan State University, ³University of Massachusetts Lowell
• Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks
  James Weimer,  Bruno Sinopoli,  Bruce Krogh
  Carnegie Mellon University

8:30 AM - 10:00 AM

Session 9B: Design & Verification II
Room: Ballroom I
Chair: Wang Yi

• Robustness of Model-based Simulations
  Georgios Fainekos,  Sriram Sankaranarayanan,  Franjo Ivancic,  Aarti Gupta
  NEC Laboratories America
• Symbolic Robustness Analysis
  Rupak Majumdar and Indranil Saha
  UCLA
• Component-based Abstraction Refinement for Timed Controller Synthesis
  Hans-Jorg Peter¹ and Robert Mattmuller^{2
  1}Saarland University, ²University of Freiburg

10:00 AM - Break

10:30 AM - 12:30 PM

Session 10: Multiprocessor Scheduling I
Room: Ballroom II
Chair: Eduardo Tovar

• Resource Sharing in Global Fixed-Priority Preemptive Multiprocessor Scheduling
  Arvind Easwaran and Bjorn Andersson
  Polytechnic Institute of Porto, Portugal
• New Response Time Bounds for Fixed Priority Multiprocessor Scheduling
  Nan Guan¹,  Martin Stigge¹,  Wang Yi¹,  Ge Yu^{2
  1}Uppsala University, Sweden, ²Northeastern University, China
• Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems
  Robert Davis and Alan Burns
  University of York
• Multiprocessor Extensions to Real-Time Calculus
  Hennadiy Leontyev¹,  Samarjit Chakraborty²,  James Anderson^{1
  1}University of North Carolina at Chapel Hill, ²Institute for Real-Time Computer Systems

12:30 PM - Lunch in Ballroom I

2:00 PM - 3:30 PM

Session 11: Multiprocessor Scheduling II
Room: Ballroom II
Chair: Tarek Abdelzaher

• Task Scheduling with Self-Suspensions in Soft Real-Time Multiprocessor Systems
  Cong Liu and James Anderson
  University of North Carolina at Chapel Hill
• Virtual Multiprocessor Platforms: Specification and Use
  Enrico Bini¹,  Marko Bertogna¹,  Sanjoy Baruah^{2
  1}Scuola Superiore Sant Anna, ²University of North Carolina
• Preemption-light multiprocessor scheduling of sporadic tasks with high utilisation bound
  Konstantinos Bletsas and Bjorn Andersson
  Polytechnic Institure of Porto (ISEP/IPP)

3:30 PM - Break

4:00 PM - 5:30 PM

Session 12: Multiprocessor Scheduling III
Room: Ballroom II
Chair: James Anderson

• Gang EDF Scheduling of Parallel Task Systems
  Shinpei Kato and Yutaka Ishikawa
  The University of Tokyo
• Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors
  Karthik Lakshmanan,  Dionisio de Niz,  Ragunathan Rajkumar
  Carnegie Mellon University
• Multi-Layer Bus Optimization for Real-Time Task Scheduling with Chain-Based Precedence Constraints
  Pi-Cheng Hsiu,  Der-Nien Lee,  Tei-Wei Kuo
  National Taiwan University