RTSS 2005 Preliminary Advance Program

Monday, December 5

8:00-9:30am: Breakfast

9:00-10:30am: Tutorial on UPPAAL by Gerd Behrmann, Alexandre David, Kim G. Larsen (Aalborg U.) and Paul Pettersson, Wang Yi (Uppsala U.)

10:00-10:30am: Workshop on Embedded Real-Time Systems Implementation and MaRTian Task Design/Coding Competition

10:30-11:00am: Coffee Break

11:00-12:00pm: Continued: Tutorial on UPPAAL; ERTSI Workshop; and MaRTian Task

12:00-1:30pm: Lunch

1:30-3:00pm: Continued: Tutorial on UPPAAL; ERTSI Workshop; and MaRTian Task

3:00-3:30pm: Coffee Break

3:30-5:00pm: Continued: Tutorial on UPPAAL; ERTSI Workshop; and MaRTian Task

7:00pm - 9:00pm: Welcome Reception

Tuesday, December 6

8:00-9:15am: Registration and Breakfast

9:15-9:30am: Welcome

9:30-10:30am: Keynote Talk: Alexander Ran, Nokia Research, "An Inside Look into Industrial Research"

10:30-11:00am: Coffee Break

11:00am - 12:00pm: Session: Real-Time Networking
Chair:

• "Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm," Qixin Wang, Xue Liu, Weiqun Chen, Wenbo He and Marco Caccamo
• "Analysing TDMA with Slot Skipping," Bjorn Andersson, Eduardo Tovar and Nuno Pereira

12:00-1:30pm: Lunch

1:30-3:30pm: Two Sessions in Parallel:

Session: Data Management
Chair: 

• "A Deferrable Scheduling Algorithm for Real-Time Transactions Maintaining Data Freshness," Ming Xiong, Song Han and Kam-Yiu Lam
• "Generalized Performance Management of Multi Class Real-Time Imprecise Data Services," Mehdi Amirijoo, Nicolas Chaufette, Jörgen Hansson, Sang Son and Svante Gunnarsson
• "Load Balancing in Bounded-Latency Content Distribution," Chengdu Huang, Gang Zhou, Tarek Abdelzaher, J.A. Stankovic and Sang Son
• "Preemptible Atomic Regions for Real-time Java," Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, J. Vitek and Bin Xin

Session: Modeling

• "Towards Feasible Region Calculus: An End-to-end Schedulability Analysis of Real-Time Multistage Execution," William Hawkins and Tarek Abdelzaher
• "Event Count Automata: A State-based Model for Stream Processing Systems," Samarjit Chakraborty, Thi Xuan Linh Phan, and P.S. Thiagarajan
• "Trading End-to-End Latency for Composability," Slobodan Matic and Tom Henzinger
• "Quantifying the Gap Between Embedded Control Models and Time-Triggered Implementations," Hakan Yazarel, Antoine Girard, George Pappas and Rajeev Alur

3:30-4:00pm: Coffee Break

4:00-5:30pm: Two Sessions in Parallel:

Session: Multi-resource Scheduling
Chair:

• "Enhanced EDF Scheduling Algorithms for Orchestrating Network-wide Active Measurements," Prasad Calyam, Chang-Gun Lee, Phani Kumar Arava and Dima Krymskiy
• "Decentralized Utilization Control in Distributed Real-Time Systems," Xiaorui Wang, Dong Jia, Chenyang Lu and Xenofon Koutsoukos
• "Multi-Granularity Resource Reservations," Saowanee Saewong and Ragunathan Rajkumar

Session: Formal Methods and Specification
Chair: John Regehr

• "Fast On-The-Fly Parametric Real-Time Model Checking," Dezhuang Zhang and Rance Cleaveland
• "Synthesis of Real-Time Implementations from Component-Based Software Models," Zonghua Gu and K.G. Shin
• "Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation," Osmar Santos and Andy Wellings

5:15-6:15pm: TC-RTS Open Meeting

7:30-9:30pm: Banquet

Wednesday, December 7  (All Single Track Sessions)

8:00-9:00am: Breakfast

9:00-10:30am: Robustness
Chair:

• "Enhancing the Robustness of Distributed Real-Time Middleware via End-to-End Utilization Control," Xiaorui Wang, Chenyang Lu and Xenofon Koutsoukos
• "Non-Preemptive Robustness under Reduced System Load," Aloysius Mok and Wingchi Poon
• "Dependency Algebra: A Tool for Designing Robust Real-Time Control Systems," Hui Ding, L. Sha

10:30-11:00am: Coffee Break

11:00-12:00pm: Hardware/Software Boundary
Chair: Stefan Peters

• "WCET Centric Data Allocation to Scratchpad Memory," Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury and Ting Chen
• "ParaScale:Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling," Sibin Mohan, Frank Mueller, David Whalley, Chris Healy, William Hawkins and Michael Root

12:00-1:30pm: Lunch

1:30-3:00pm: Sensor Networks I
Chair: Frank Mueller

• "Time-Parameterized Sensing Task Model for Real-Time Tracking," Min-Young Nam, Chang-Gun Lee, Kanghee Kim and Marco Caccamo
• "Nano-RK: An Energy-Aware Resource-Centric RTOS for Sensor Networks," Anand Eswaran, Anthony Rowe and Raj Rajkumar
• "Combinatorial Auctions for Resource Allocation in a Distributed Sensor Network," John Ostwald, Victor Lesser and Sherief Abdallah

3:30-5:00pm: Sensor Networks II
Chair: Chenyang Lu

• "Sprinkler: A Reliable and Scalable Data Dissemination Service for Wireless Embedded Devices," Vinayak Naik, Anish Arora, Prasun Sinha and Hongwei Zhang
• "A Rate Control Framework for Supporting Multiple Classes of Traffic in Sensor Networks," Kyriakos Karenos, Vana Kalogeraki and Srikanth Krishnamurthy
• "Gradient-Ascending Routing via Footprints in Wireless Sensor Networks," Jai-Jin Lim and K.G. Shin

Free night to enjoy Miami!!

Thursday, December 8 (All Single Track Sessions)

8:30-10:30am: Breakfast, Work-in-Progress Session and Coffee Break
Chair: Dakai Zhu

10:30-12:00pm: Multiprocessor Scheduling
Chair:

• "An Upper Bound to the Lateness of Soft Real-Time Tasks Scheduled by EDF on Multiprocessors," Paolo Valente and Giuseppe Lipari
• "The Partitioned Multiprocessor Scheduling of Sporadic Task Systems," Sanjoy Baruah and Nathan Fisher
• "Tardiness Bounds for Global EDF Scheduling on a Multiprocessor," UmaMaheswari Devi and James Anderson

12:00-1:00pm: Lunch

1:00-3:00pm:  Energy-Awareness
Chair:

• "Voltage Scaling Scheduling for Periodic Real-Time Tasks in Reward Maximization," Jian-Jia Chen and Tei-Wei Kuo
• "A Hybrid Static/Dynamic DVS Scheduling for Real-time Systems With (m,k)-Guarantee," Linwei Niu and Gang Quan
• "Energy-Aware Modeling and Scheduling of Real-Time Tasks for Dynamic Voltage Scaling," Xiliang Zhong and Cheng-Zhong Xu
• "Energy-Constrained Scheduling for Weakly-Hard Real-Time Systems," Tarek AlEnawy and Hakan Aydin

3:00-3:30pm: Coffee Break

3:30-5:00pm: Scheduling
Chair:

• "Hierarchical Fixed Priority Pre-emptive Scheduling," Robert Davis and Alan Burns
• "Optimal Task Rate Selection in Fixed Priority Systems," Enrico Bini and Marco Natale
• "Improving Soft Real-Time Performance Using Better Slack Reclaiming," Caixue Lin and Scott Brandt

5:00pm: Concluding Remarks