RTSS 2012 Program

Day 1

8:25-9 Welcome and Award Speech

WELCOME
Luis Almeida (University of Porto) and Chenyang Lu (Washington University)

AWARD SPEECH: INTERNET OF THINGS — WHAT AND HOW
Wei Zhao (University of Macau)

9-10 Session 1 Beyond Processors

Session Chair: Gabriel Parmer (George Washington University, USA)

INVESTIGATION OF SCRATCHPAD MEMORY FOR PREEMPTIVE MULTITASKING
Jack Whitham, Sebastian Altmeyer, Robert Davis, Neil Audsley and Claire
Maiza

CURBING AGGREGATE MEMBER FLOW BURSTINESS TO BOUND END-TO-END DELAY IN NETWORKS OF TDMA CROSSBAR REAL-TIME SWITCHES
Qixin Wang, Yufei Wang, Rong Zheng and Xue Liu

10-10:30 Break

10:30-12:30 Session 2 Real-Time Scheduling

Session chair: Ted Baker (National Science Foundation, USA)

CONTROLLING PREEMPTION FOR BETTER SCHEDULABILITY IN MULTI-CORE SYSTEMS
Jinkyu Lee and Kang G. Shin

OPTIMAL FIXED PRIORITY SCHEDULING WITH DEFERRED PRE-EMPTION
Robert Davis and Marko Bertogna

EXTENDING TASK-LEVEL TO JOB-LEVEL FIXED PRIORITY ASSIGNMENT AND SCHEDULABILITY ANALYSIS USING PSEUDO-DEADLINES
Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind
Easwaran, Insik Shin and Insup Lee

A GENERALIZED PARALLEL TASK MODEL FOR RECURRENT REAL-TIME PROCESSES
Sanjoy Baruah, Vincenzo Bonifaci, Alberto Marchetti-Spaccamela, Leen
Stougie and Andreas Wiese

12:30-1:30 Lunch

1:30-3:30 Session 3 Wireless Sensor Networks: Applications

Session Chair: Guoliang Xing (Michigan State University, USA)

DISTRIBUTED SENSING FOR HIGH QUALITY STRUCTURAL HEALTH MONITORING USING WIRELESS SENSOR NETWORKS
Xuefeng Liu, Jiannong Cao, Wen-zhan Song and Shaojie Tang

PCRUISE: REDUCING CRUISING MILES FOR TAXICAB NETWORKS
Desheng Zhang and Tian He

RADIOSENSE: EXPLOITING WIRELESS COMMUNICATION PATTERNS FOR BODY SENSOR NETWORK ACTIVITY RECOGNITION
Xin Qi, Gang Zhou, Yantao Li and Ge Peng

RASS: A PORTABLE REAL-TIME AUTOMATIC SLEEP SCORING SYSTEM
Jin Zhang, Dawei Chen, Jianhui Zhao, Mincong He, Yuanpeng Wang and Qian
Zhang

3:30-4 Break

4-6 Work-in-Progress Session

Session Chair: Thomas Nolte (Mälardalen University, Sweden)

6-8 Work-in-Progress Posters and Welcome Reception

Day 2

8:30-10 Keynote

Session Chair: Chenyang Lu (Washington University, USA)

TIME FOR HIGH-CONFIDENCE DISTRIBUTED EMBEDDED SYSTEMS (slides)
Edward A. Lee (University of California Berkeley)

10-10:30 Break

10:30-12:30 Session 4 Resource Management

Session Chair: Sanjoy Baruah (University of North Carolina at Chapel Hill, USA)

A PTAS FOR ASSIGNING SPORADIC TASKS ON TWO-TYPE HETEROGENEOUS
MULTIPROCESSORS
Gurulingesh Raravi and Vincent Nélis

EFFICIENT ADMISSION CONTROL FOR ENFORCING ARBITRARY REAL-TIME DEMAND-CURVE INTERFACES
Farhana Dewan and Nathan Fisher

STATIC APPROXIMATION ALGORITHMS FOR REGULARITY-BASED RESOURCE PARTITIONING
Yu Li and Albert M. K. Cheng

QUANTIFYING THE EFFECT OF RARE TIMING EVENTS WITH SETTLING-TIME AND OVERSHOOT
Pratyush Kumar and Lothar Thiele

12:30-2 Lunch

2-3:30 Session 5 Cyber-Physical Systems: Technology

Session Chair: Tarek Abdelzaher (University of Illinois at Urbana-Champaign, USA)

QOS-BASED RESOURCE ALLOCATION FOR NEXT-GENERATION SPACECRAFT NETWORKS
Arvind Kandhalu and Ragunathan (Raj) Rajkumar

STATIC AND DYNAMIC ANALYSIS OF TIMED DISTRIBUTED TRACES
Parasara Sridhar Duggirala, Taylor T Johnson, Adam Zimmerman and Sayan
Mitra

TAYLOR MODEL FLOWPIPE CONSTRUCTION FOR NON-LINEAR HYBRID SYSTEMS
Xin Chen, Erika Abraham and Sriram Sankaranarayanan

3:30-4 Break

4-5:30 Session 6 Cyber-Physical Systems: Applications

Session Chair: Anthony Rowe (Carnegie Mellon University, USA)

GREEN SCHEDULING FOR ENERGY-EFFICIENT OPERATION OF MULTIPLE CHILLER PLANTS
Madhur Behl, Truong Nghiem and Rahul Mangharam

SPATIOTEMPORAL AQUATIC FIELD RECONSTRUCTION USING ROBOTIC SENSOR SWARM
Yu Wang, Rui Tan, Guoliang Xing, Xiaobo Tan, Jianxun Wang and Ruogu
Zhou

A HIGH-FIDELITY TEMPERATURE DISTRIBUTION FORECASTING SYSTEM FOR DATA CENTERS
Jinzhu Chen, Rui Tan, Yu Wang, Guoliang Xing, Xiaorui Wang, Xiaodong Wang, Bill Punch and Dirk Colbry

5:30-6 TC Meeting

8-10 Banquet

Day 3

8:30-10 Session 7 Systems

Session Chair: Aniruddha Gokhale (Vanderbilt University, USA)

SAFER: SYSTEM-LEVEL ARCHITECTURE FOR FAILURE EVASION IN REAL-TIME APPLICATIONS
Junsung Kim, Gaurav Bhatia and Ragunathan (Raj) Rajkumar

SLOTH ON TIME: EFFICIENT HARDWARE-BASED SCHEDULING FOR TIME-TRIGGERED RTOS
Wanja Hofer, Daniel Danner, Rainer Müller, Fabian Scheler, Wolfgang
Schröder-Preikschat and Daniel Lohmann

INCREASING MEMORY UTILIZATION WITH TRANSIENT MEMORY SCHEDULING
Gabriel Parmer, Qi Wang, Jiguo Song, Guru Venkataramani and Andrew
Sweeney

10-10:30 Break

10:30-12:30 Session 8 Design and Verification

Session Chair: Soonhoi Ha (Seoul National University, Korea)

QUANTITATIVE VERIFICATION OF IMPLANTABLE CARDIAC PACEMAKERS
Taolue Chen, Marco Diciolla, Marta Kwiatkowska and Alexandru Mereacre

A MODEL OF PARALLEL DETERMINISTIC REAL-TIME COMPUTATION
Matthieu Lemerre and Emmanuel Ohayon

DESIGNING HIGH-QUALITY EMBEDDED CONTROL SYSTEMS WITH GUARANTEED STABILITY
Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng and Anton Cervin

MONITORING ARBITRARY ACTIVATION PATTERNS IN REAL-TIME SYSTEMS
Moritz Neukirchner, Tobias Michaels, Philip Axer, Sophie Quinton and
Rolf Ernst

12:30-1:30 Lunch

1:30-3:30 Session 9 Wireless Sensor Network: Protocols

Session Chair: Eric Rotvold (Emerson, USA)

ON THE DELAY PERFORMANCE ANALYSIS IN A LARGE-SCALE WIRELESS SENSOR NETWORK
Jiliang Wang, Wei Dong, Zhichao Cao and Yunhao Liu

JAG: RELIABLE AND PREDICTABLE WIRELESS AGREEMENT UNDER EXTERNAL RADIO INTERFERENCE
Carlo Alberto Boano, Marco Antonio Zuniga, Kay Roemer and Thiemo Voigt

QUALITY OF INFORMATION BASED DATA SELECTION AND TRANSMISSION IN WIRELESS SENSOR NETWORKS
Lu Su, Shaohan Hu, Shen Li, Feng Liang, Jing Gao, Tarek Abdelzaher and
Jiawei Han

IT IS NOT JUST A MATTER OF TIME: OSCILLATION-FREE EMERGENCY NAVIGATION WITH SENSOR NETWORKS
Lin Wang, Yuan He, Yunhao Liu, Wenyuan Liu, Jiliang Wang and Nan Jing

3:30-4 Break

4-6 Session 10 Real-Time Performance Analysis

Session Chair: Qixin Wang (Hong Kong Polytechnic University, Hong Kong)

A STATISTICAL RESPONSE-TIME ANALYSIS OF REAL-TIME EMBEDDED SYSTEMS
Yue Lu, Thomas Nolte, Iain Bate and Liliana Cucu-Grosjean

AN ILP-BASED WORST-CASE PERFORMANCE ANALYSIS TECHNIQUE FOR DISTRIBUTED REAL-TIME EMBEDDED SYSTEMS
Jinwoo Kim, Hyunok Oh, Hyojin Ha, Shin-haeng Kang, Junchul Choi and
Soonhoi Ha

AN O(M) ANALYSIS TECHNIQUE FOR SUPPORTING REAL-TIME SELF-SUSPENDING TASK SYSTEMS
Cong Liu and James Anderson

REDUCING THE SIZE OF THE CONSTRAINT MODEL IN IMPLICIT PATH ENUMERATION USING SUPER BLOCKS
Adam Betts

6-6:10 Closing Remarks