| Main Track | |
| Cyber-physical Systems | |
| Hw/Sw Co-design | |
| Sensor Networks | |
| Keynote Speech | |
| Workshop, Forum, and Competition | |
| Work-in-Progress | |
| Technical Committee Meeting | |
| Opening | |
| Breakfast, Break, Lunch, Reception, or Banquet | |
 December 3rd
 08:00 to 17:30 - Workshop, Ph.D. Forum, and Competition
07:30 to 08:30 - Breakfast (Room Coronado II)
I. Workshop on Software and Systems for Medical Devices and Services (08:30~17:30, Room Joshua Tree)
08:30 to 08:35 - Opening Remark
08:35 to 09:15 - Keynote Speech
Room: Joshua Tree
Session Chair: Insup Lee
- Topic - Generic Framework for Design, Modeling
and Simulation of Cyber Physical Systems
Keynote Speaker - Paul L. Jones, US FDA.
09:15 to 10:15 - Medical Record and
User Interfaces
Room: Joshua Tree
Session Chair: Oleg Sokolsky
- Topic - A Discussion of Methods and Techniques
to Mitigate Data Collection Errors During Normal Clinical
Rounds
Speaker(s) - John Zaleski
- Topic - Computer-Based Screening of Early Vascular
Anomaly
Speaker(s) - M. Zhang, H. Ying, D. Sun, Y.-J. Chang, and
J.-C. Liu
10:15 to 10:30 - Break
10:30 to 12:00 - Safety modeling and
analysis of medical device software and systems
Room: Joshua Tree
Session Chair: Chi-Sheng Shih
- Topic - Building Context-Aware Health-Care Applications
Using A Generative Programming Framework
Speaker(s) - Devdatta Kulkarni and Anand Tripathi
- Topic - Heartbeat Driven Medium Access Control
For Body Sensor Networks
Speaker(s) - Huaming Li and Jindong Tan
- Topic - Safety Requirements Based Analysis of
Infusion Pump Software
Speaker(s) - Raoul Jetley and Paul Jones
12:00 to 13:30 - Lunch
13:30 to 15:00 - Real-time systems and
network for medical services
Room: Joshua Tree
Session Chair: Oleg Sokolsky
- Topic - A SystemC-based Fast Simulator for Biomonitoring
Applications on Wireless Ban
Speaker(s) - K.athy Dang Nguyen, Ioana Cutcutache, etc.
- Topic - Analyzing Pacemaker Safety Through Assumptions
and Dependencies
Speaker(s) - Mu Sun and Lui Sha
- Topic - Applying (M,K)-Firm Scheduling to Medical
and Medication Systems
Speaker(s) - Albert M. K. Cheng
15:00 to 15:30 - Break
15:30 to 17:00 - Programming and workflow
in medical/medication services
Room: Joshua Tree
Session Chair: Chi-Sheng Shih
- Topic - Design Framework for a Real-Time Patient
Monitoring System Using P2V
Speaker(s) - Oscar Almeida, Gabe Knezek, and Steve Liu
- Topic - The Design of a Light-Weight Workflow
Engine for Embedded Systems
Speaker(s) - S.-Y. Chang, Y.-F. Lu, Tei-Wei Kuo, and Jane
W.-S. Liu
- Topic - The Development of the Image-Guided
Surgical Toolkit (IGSTK): An Open Source Package for Medical
Interventions
Speaker(s) - Kevin Gary, Patrick Cheng, Ziv Yaniv, Andinet
Enquobahrie, Luis Ibanez, and Kevin Cleary
17:00 to 20:30 - Cyber-Physical System Challenges in the Automotive Domain
Room: Joshua Tree
Session Chair: Raj Rajkumar
(Dinner will be served)
II. Ph.D. Forum (07:30~15:00, Room Coronado I)
Room: Coronado I
Session Chair: Tarek Abdelzaher and Xue Liu
07:30 to 07:50 - Pickup Breakfast
07:50 to 08:00 - Introduction
08:00 to 10:00 - Design and Analysis
- 8:00, Topic - Generic Framework for Design, Modeling and Simulation of Cyber Physical Systems
Speaker(s) - Ji Eun Kim and Daniel Mosse (University of Pittsburgh)
- 08:12, Topic - Design Suite for Deeply Embedded Cyber Physical Systems
Speaker(s) - Vibha Prasad and Sang H. Son (University of Virginia)
- 08:24, Topic - The Design of an Open Data Service Architecture for Cyber-Physical Systems
Speaker(s) - Woochul Kang and Sang H. Son (University of Virginia)
- 08:36, Topic - Towards Verifiable Deeply Embedded Systems
Speaker(s) - Terry Tidwell and Christopher Gill (Washington University)
- 08:48, Topic - A Hybrid Framework for Resource Verification in Executable Model-based Embedded System Development
Speaker(s) - Honguk Woo, Aloysius K. Mok, James C. Browne (University of Texas at Austin)
- 09:00, Topic - Compositional Schedulability Analysis for Cyber-Physical Systems Applications
Speaker(s) - Arvind Easwaran and Insup Lee (University of Pennsylvania)
- 09:12, Topic - Real-time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking
Speaker(s) - Gabor Madl and Nikil Dutt (University of California. Irvine)
- 09:24, Topic - Worst-Case Execution Time Analysis of Security Policies for Deeply Embedded Real-Time Systems
Speaker(s) - Sibin Mohan and Frank Mueller (North Carolina State University)
- 09:36, Topic - Using Sequencing to Trigger a Better Analysis
Speaker(s) - Nathan Cooprider and John Regehr (University of Utah)
- 09:48, Topic - Impact of RTOS Parameters on End-to-End Timing Performance
Speaker(s) - Antino Kim and Kang G. Shin (University of Michigan)
10:00 to 10:20 - Break
10:20 to 12:20 - Technology and Applications
- 10:20, Topic - Challenges in Transformation of Existing Real-Time Embedded Systems to Cyber-Physical Systems
Speaker(s) - Borzoo Bonakdarpour and Sandeep Kulkarni (Michigan State University)
- 10:32, Topic - Cyber-physical Systems in Industrial Process Control
Speaker(s) - Yunbo Wang, Mehmet C. Vuran and Steve Goddard (University of Nebraska-Lincoln)
- 10:44, Topic - Exploring Chip-Multiprocessors in Deeply-Embedded Real-Time Computing
Speaker(s) - Xuan Qi and Dakai Zhu (University of Texas at San Antonio)
- 10:56, Topic - Structural Integrity: Safety in Miniature Technology
Speaker(s) - Greg Hoover, Forrest Brewer and Timothy Sherwood (University of California, Santa Barbara)
- 11:08, Topic - Towards Predictable Wireless Cyber-physical Applications
Speaker(s) - Octav Chipara and Chenyang Lu (Washington University in St. Louis)
- 11:20, Topic - The Smart Phones of Tomorrow
Speaker(s) - Niwaer Ai, Ying Lu and Jitender Deogun (University of Nebraska, Lincoln)
- 11:32, Topic - MobileAds: Advertisement on Mobile Devices
Speaker(s) - Wenbo He and Klara Nahrstedt (University of Illinois at Urbana Champaign)
- 11:44, Topic - Physicalnet: Cross-network Applications for Multi-user Sensor and Actuator Networks
Speaker(s) - Pascal A. Vicaire and John A. Stankovic (University of Virginia)
- 11:56, Topic - Programming Framework for Sensor-data Driven Context-Aware Applications
Speaker(s) - Devdatta Kulkarni and Anand Tripathi (University of Minnesota Twin Cities)
- 12:08, Topic - Human in the Loop: Distributed Data Streams for Immersive Cyber-Physical Systems
Speaker(s) - Anthony D. Wood and John A. Stankovic (University of Virginia)
12:20 to 13:00 - Lunch (Pickup Lunch Box)
13:00 to 14:50 - Middleware, Protocols and Security
- 13:00, Topic - WiSeR Distributed File System for Heterogeneous Sensor Platforms
Speaker(s) - Jatindera S. Walia and Rong Zheng (University of Houston)
- 13:12, Topic - CPS-IP: Cyber Physical Systems Interconnection Protocol
Speaker(s) - Shan Lin (University of Virginia), Tian He (University of Minnesota) and John A. Stankovic (University of Virginia)
- 13:24, Topic - Market-based Coordination Strategies for Physical Multi-Agent Systems
Speaker(s) - MyungJoo Ham and Gul Agha (University of Illinois at Urbana-Champaign)
- 13:36, xTune: Online Verifiable Cross-Layer Adaptation for Distributed Real-Time Embedded Systems
Speaker(s) - Minyoung Kim, Nikil Dutt, Nalini Venkatasubramanian (UC-Irvine) and Carolyn Talcott (SRI International)
- 13:48, Challenges and Opportunities in Deeply Embedded Systems Security
Speaker(s) - Madhukar Anand and Insup Lee (University of Pennsylvania)
- 14:00, A Prototype Architecture for Cyber-Physical Systems
Speaker(s) - Ying Tan, Steve Goddard and Lance C. Perez (University of NebraskaˇVLincoln)
- 14:12, Computing Cryptographic Pairing in Sensors
Speaker(s) - Zhibin Zhou and Dijiang Huang (Arizona State University)
- 14:24, A Fingerprint and Timing-based Snooping Attack on Residential Sensor Systems
Speaker(s) - Vijay Srinivasan, John Stankovic and Kamin Whitehouse (University of Virginia)
- 14:36, Thermal Effects on Real-Time Systems
Speaker(s) - Youngwoo Ahn and Riccardo Bettati (Texas A&M University)
14:50 to 15:00 - Conclusion
15:00 Adjourn
III. Student Design Competition: CyberMouse@RTSS2007 (16:00~19:30, Room Coronado I)
Room: Coronado I
Competition Chair: Luis Almeida
16:00 to 16:30 - Competition: Stage I
16:30 to 17:00 - Team Papers (1)
- Topic - Roadrunner
Speaker(s) - A. Critchley, J. Curtis, S. Rodriguez (UTSA)
- Topic - EvoRobert
Speaker(s) - Jorge Pinto (NMSU)
- Topic - The Autonomous Agent Nai in RTSS 2007
Speaker(s) - Ali Alanjawi, Frank Liberato (UPitt)
17:00 to 17:30 - Competition: Stage II
17:30 to 18:00 - Team Papers (2)
- Topic - FAUBOT: Purposeful Navigation of a Robot in a Simulated Environment
Speaker(s) - D. Danner, C. Kaufhold, P. Kranz, R. Muller, S. Pfaller, C. Riess, E. Angelopoulou (Uni. Erlangen)
- Topic - RoboCoog: The CiberMouse Agent
Speaker(s) - Ashish Kapadia, Arun Chhetri, Ronak Shah, Albert Cheng (UH)
- Topic - SWIFT - A Scenario based dynamic sensor scheduling robot
Speaker(s) - Jaya S. S. Palli, Krishna Konda (TAMU)
18:00 to 18:30 - Final and Closing: Final Stage
December 4th ˇV 6th
07:30 to 17:00 - RTSS Registration (Room Satellite Desk)
December 4th
07:45 to 08:45 - Breakfast (Room Dos Locos)
08:45 to 09:00 - Opening
09:00 to 10:00 - Keynote Speech
Room: Coronado Ballroom
Session Chair: Tarek Abdelzaher
Topic - Cyber Physical Systems: The Future for Real-Time Computing
Speaker(s) - Professor John A. Stankovic, University of Virginia
10:00 to 10:30 - Break
10:30 to 12:00 - (Room A) Task Scheduling I
Room: Coronado Ballroom
Session Chair: Steve Goddard
- Topic - Robust Priority Assignment for Fixed Priority Real-Time Systems
Speaker(s) - Robert Davis and Alan Burns
- Topic - Energy-aware Scheduling of Real-Time Tasks in Wireless Networked Embedded Systems
Speaker(s) - Sudha Anil Gathala, Manimaran Govindarasu and Zhengdao Wang
- Topic - Energy-Aware Scheduling for Streaming Applications on Chip Multiprocessors
Speaker(s) - Ruibin Xu, Rami Melhem and Daniel Mosse
10:30 to 12:00 - (Room B) Hw/Sw Co-design
Room: Canyon Suites I/II
Session Chair: Samarjit Chakraborty
- Topic - A UML-based Design Framework for Time-triggered Applications
Speaker(s) - Kathy Dang Nguyen, P.S. Thiagarajan and Weng-Fai Wong
- Topic - Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip
Speaker(s) - Jakob Rosen, Alexandru Andrei, Petru Eles and Zebo Peng
- Topic - Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development
Speaker(s) - Sangsoo Park, Walter Olds, Kang G. Shin and Shige Wang
12:00 to 13:30 - Keynote Speech and Lunch
Session Chair: Gerhard Fohler
- Topic - Beyond Real-Time and Embedded Systems
Speaker(s) - Professor Ty Znati, University of Pittsburgh and US NSF, USA
13:30 to 15:30 - (Room A) System Integration
Room: Coronado Ballroom
Session Chair: Lothar Thiele
- Topic - Toward the Predictable Integration of Real-Time COTS based Systems
Speaker(s) - Rodolfo Pellizzoni and Marco Caccamo
- Topic - The Design of an EDF-scheduled Resource-sharing Open Environment
Speaker(s) - Nathan Fisher, Marko Bertogna and Sanjoy Baruah
- Topic - A Model-Driven Framework for the Generation of Gateways in Distributed Real-Time Systems
Speaker(s) - Roman Obermaisser
- Topic - Adapting Futures: Scalability for Real-World Computing
Speaker(s) - Johannes Helander, Risto Serg, Margus Veanes and Pritam Roy
13:30 to 15:30 - (Room B) Schedulability Analysis
Room: Canyon Suites I/II
Session Chair: Alan Burns
- Topic - Techniques for Multiprocessor Global Schedulability Analysis
Speaker(s) - Sanjoy Baruah
- Topic - Compositional Analysis Framework using EDP Resource Models
Speaker(s) - Arvind Easwaran, Madhukar Anand and Insup Lee
- Topic - Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines
Speaker(s) - Marek Chrobak, Mathilde Hurand and Jirisgall
- Topic - Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms
Speaker(s) - Marko Bertogna and Michele Cirinei
15:30 to 16:00 - Break
16:00 to 17:30 - (Room A) Distributed Systems
Room: Coronado Ballroom
Session Chair: Sanjoy Baruah
- Topic - Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems
Speaker(s) - Wei Zheng, Qi Zhu, Marco Di Natale and Alberto Sangiovanni Vincentelli
- Topic - Scenario Aware Analysis For Complex Event Models And Distributed Systems
Speaker(s) - Rafik Henia and Rolf Ernst
- Topic - Optimal Discrete Rate Adaptation for Distributed Real-Time Systems
Speaker(s) - Yingming Chen, Chenyang Lu and Xenofon Koutsoukos
16:00 to 17:30 - (Room B) Sensor Networks: Design and Analysis
Room: Canyon Suites I/II
Session Chair: Dakai Zhu
- Topic - A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing
Speaker(s) - Jens Schmitt, Frank Zdarsky and Lothar Thiele
- Topic - ANDES: an ANalysis-based DEsign tool for wireless Sensor networks
Speaker(s) - Vibha Prasad, Ting Yan, Zengzhong Li, Praveen Jayachandran, Sang Son, John Stankovic, Jorgen Hansson and Tarek Abdelzaher
- Topic - An Energy-driven Design Methodology for Distributing DSP Applications across Wireless Sensor Networks
Speaker(s) - Chung-Ching Shen, William Plishker, Shuvra Bhattacharyya and Neil Goldsman
18:00 to 19:30 - Reception (Light Refreshments and Appetizers)
December 5th
07:00 to 08:00 - Breakfast (Room Dos Locos)
08:00 to 09:30 - Sensor Networks: Networking and Mobility
Room: Coronado Ballroom
Session Chair: Yunhao Liu
- Topic - Distributed Minimal Time Convergecast Scheduling for Small or Sparse Data Sources
Speaker(s) - Ying Zhang, Shashidhar Gandham and Qingfeng Huang
- Topic - Rendezvous Planning in Mobility-assisted Wireless Sensor Networks
Speaker(s) - Guoliang Xing, Tian Wang, Zhihui Xie and Weijia Jia
- Topic - Facilitating Congestion Avoidance in Sensor Networks with a Mobile Sink
Speaker(s) - Kyriakos Karenos and Vana Kalogeraki
09:30 to 10:00 - Break
10:00 to 12:00 - Industrial Applications and Implementations
Room: Coronado Ballroom
Session Chair: John Regehr
- Topic - Integrating Adaptive Components: An Emerging Challenge in Performance-Adaptive Systems and a Server Farm Case-Study
Speaker(s) - Jin Heo, Dan Henriksson, Xue Liu and Tarek Abdelzaher
- Topic - Preemptive Scheduling of Multi-Criticality Systems with Varying Degrees of Execution Time Assurance
Speaker(s) - Steve Vestal
- Topic - Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts
Speaker(s) - Tianmiao Wang, Miao Liu, Hongxing Wei and Zili Shao
- Topic - Performance Evaluation of a Self-maintained Memory Module
Speaker(s) - Weixing Ji, Feng Shi and Baojun Qiao
12:00 to 13:30 - Lunch
13:30 to 15:00 - Database System and Data Processing
Room: Coronado Ballroom
Session Chair: Nicolas Navet
- Topic - Chronos: Feedback Control of a Real Database System Performance
Speaker(s) - Kyoung-Don Kang, Jisu Oh and Sang H. Son
- Topic - I/O-Aware Deadline Miss Ratio Management in Real-Time Embedded Databases
Speaker(s) - Woochul Kang, Sang H. Son, John. A. Stankovic and Mehdi Amirijoo
- Topic - Real-time Monitoring of Uncertain Data Streams using Probabilistic Similarity
Speaker(s) - Honguk Woo and Aloysius Mok
15:00 to 15:30 - Break
15:30 to 17:30 - Work-in Progress Session
Room: Coronado Ballroom
Session Chair: Jorgen Hansson
- Topic - Linearizability and Schedulability
Speaker(s) - Bjorn Andersson
- Topic - Deadline-based Scheduling of Divisible Real-Time Loads with Setup costs and Load balancing Considered
Speaker(s) - Suriayati Chuprat, Shaharuddin Salleh and Sanjoy Baruah
- Topic - Data Mule Scheduling for Data Collection in Sensor Networks
Speaker(s) - Ryo Sugihara and Rajesh Gupta
- Topic - Detecting and Preventing DoS Attacks in Slack Scheduling
Speaker(s) - Wang-ting Lin and Gary Nutt
- Topic - A Framework for Analyzing System Assumptions and Dependencies
Speaker(s) - Mu Sun, Tanya Crenshaw and Lui Sha
- Topic - QuickDriver: An Integrated Development Tool for Device Drivers in Embedded Systems
Speaker(s) - Jeong-Si Kim, TaeHo Kim, Yu-Seung Ma and Jungchoon Park
- Topic - Time-Predictable L2 Caches for Real-Time Multi-Core Processors
Speaker(s) - Jun Yan and Wei Zhang
- Topic - Period and Deadline Selection Problem for Real-Time Systems
Speaker(s) - Thidapat Chantem, Xiaobo Sharon Hu and M.D. Lemmon
- Topic - Shared Stack Analysis in Transaction-Based Systems
Speaker(s) - Markus Bohlin, Kaj Hanninen and Jukka Maki-Turja
- Topic - Power-Efficient Real-Time Data Collection using Mobile Robots
Speaker(s) - Frederick Diehl, Joshua Curtis, Salvador Rodriguez, Ali Tosun and Dakai Zhu
- Topic - Probabilistic Estimation of Response Times through Large Deviations
Speaker(s) - Nicolas Navet, Liliana Cucu and Rene Schott
- Topic - WCET Analysis of Multi-Core Processors
Speaker(s) - Jun Yan and Wei Zhang
- Topic - A Gravitational Task Model for Target Sensitive Real-Time Applications
Speaker(s) - Raphael Guerra and Gerhard Fohler
- Topic - Towards Optimal Hierarchical Resource Sharing in Open Environments
Speaker(s) - Insik Shin, Moris Behnam, Thomas Nolte and Mikael Nolin
- Topic - Initial Analysis of Bus Load Impact on Execution Time for Media Processing on Multiprocessor SoC
Speaker(s) - Clara Otero Perez and Gerhard Fohler
17:30 to 18:30 - Technical Committee Meeting
Room: Coronado Ballroom
TC Chair: Sang H. Son
19:00 to 20:30 - Banquet
December 6th
07:00 to 08:00 - Breakfast (Room Dos Locos)
08:00 to 10:00 - System Modeling, Verification, and Synthesis
Room: Coronado Ballroom
Session Chair: Oleg Sokolsky
- Topic - Verifying Linear Real-Time Logic Specifications
Speaker(s) - Stefan Andrei and Albert Cheng
- Topic - A Compositional Approach for the Performance Analysis of Heterogeneous Real-Time Systems
Speaker(s) - Linh Thi Xuan Phan, Lothar Thiele, Samarjit Chakraborty and P S Thiagarajan
- Topic - Static Scheduling and Software Synthesis of Dataflow Models with Symbolic Model-Checking
Speaker(s) - Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong lv, Xiuqiang He, Qingxu Deng and Ge Yu
- Topic - Mutable Protection Domains: Towards a Component-based System for Dependable and Predictable Computing
Speaker(s) - Gabriel Parmer and Richard West
10:00 to 10:30 - Break
10:30 to 12:00 - Cyber-Physical Systems
Room: Coronado Ballroom
Session Chair: Raj Rajkumar
- Topic - GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications
Speaker(s) - Qixin Wang, Xue Liu, Jennifer Hou and Lui Sha
- Topic - Real-time Query Scheduling for Wireless Sensor Networks
Speaker(s) - Octav Chipara, Chenyang Lu and Gruia-Catalin Roman
- Topic - The Simplex Reference Model: Limiting Fault-Propagation due to Unreliable Components in Cyber-Physical System Architectures
Speaker(s) - Tanya Crenshaw, Elsa Gunter, C. L. Robinson, Lui Sha and P. R. Kumar
12:00 to 13:30 - Lunch
13:30 to 15:30 - Task Scheduling II
Room: Coronado Ballroom
Session Chair: Chi-Sheng Shih
- Topic - Generalized Tardiness Bounds for Global Multiprocessor Scheduling
Speaker(s) - Hennadiy Leontyev and James Anderson
- Topic - Analysis of Hierarchical EDF Pre-emptive Scheduling
Speaker(s) - Fengxiang Zhang and Alan Burns
- Topic - Utilization-Bound Based Schedulability Analysis of Weighted Round Robin Schedulers
Speaker(s) - Jianjia Wu, Jyh-Charn Liu and Wei Zhao
- Topic - Static-Priority Scheduling over Wireless Networks with Multiple Broadcast Domains
Speaker(s) - Nuno Pereira, Bjorn Andersson, Eduardo Tovar and Anthony Rowe
15:30 to 16:00 - Break
16:00 to 17:30 - Sensor Networks: Systems and Applications
Room: Coronado Ballroom
Session Chair: Chenyang Lu
- Topic - FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System
Speaker(s) - Anthony Rowe, Dhiraj Goel and Raj Rajkumar
- Topic - Sea Depth Measurement with Restricted Floating Sensors
Speaker(s) - Zheng Yang, Mo Li and Yunhao Liu
- Topic - Castor: Secure Code Updates in Sensor Networks using Symmetric Cryptosystems
Speaker(s) - Donnie Kim, Rajeev Gandhi and Priya Narasimhan
|
|
|
