DAY 1: APRIL 22
8:15-8:30am Opening Remarks
CPSWEEK PLENARY 1: 9:00-10:00am
Wayne Wolf, Georgia Institute of Technology
Chair: Chris Gill
Coffee break 10:00-10:30am
RTAS SESSION 1 - POWER MANAGEMENT: 10:30am-12:30pm
Chair: Albert Cheng
A
HYBRID DVS SCHEME FOR INTERACTIVE 3D GAMES
Yan Gu and Samarjit Chakrborty
APPROXIMATION ALGORITHMS FOR MULTIPROCESSOR ENERGY-EFFICIENT SCHEDULING
OF PERIODIC REAL-TIME TASKS WITH UNCERTAIN TASK EXECUTION TIME
Jian-Jia Chen, Chuan-Yue Yang, Hsueh-I Lu and Tei-Wei Kuo
COEXISTENCE OF REAL-TIME AND INTERACTIVE & BATCH TASKS IN DVS SYSTEMS
Saowanee Saewong and Ragunathan (Raj) Rajkumar
REAL-TIME DYNAMIC POWER MANAGEMENT THROUGH DEVICE FORBIDDEN REGIONS
Vinay Devadas and Hakan Aydin
RTAS SESSION 2 - EXECUTION TIME ANALYSIS: 10:30am-12:30pm
Chair: Peter Puschner
A
MODULAR WORST-CASE EXECUTION TIME ANALYSIS TOOL FOR JAVA PROCESSORS
Trevor Harmon, Martin Schoeberl, Raimund Kirner and Raymond Klefstad
BOUNDING WORST-CASE RESPONSE TIME FOR TASKS WITH NON-PREEMPTIVE REGIONS
Harini Ramaprasad and Frank Mueller
MEASUREMENT TECHNIQUES IN A HYBRID APPROACH FOR DERIVING TIGHT
EXECUTION TIME BOUNDS OF PROGRAM SEGMENTS IN FULLY-FEATURED PROCESSORS
Juan
A. Colmenares, Chansik Im, K. H. (Kane) Kim, Raymond Klefstad and Chae-Deok Lim
WCET ANALYSIS FOR MULTI-CORE PROCESSORS WITH SHARED INSTRUCTION CACHES
Jun Yan and Wei Zhang
Lunch 12:30-1:30pm
RTAS SESSION 3 - QUALITY OF SERVICE: 1:30-3:30pm
Chair: Rahul Mangharam
AUTOMATED MIDDLEWARE QOS CONFIGURATION TECHNIQUES USING MODEL
TRANSFORMATIONS
Amogh Kavimandan and Aniruddha Gokhale
QOS SUPPORT IN THE X11 WINDOW SYSTEMS
Nicola Manica, Luca Abeni and Luigi Palopoli
NETQOPE: A MODEL-DRIVEN NETWORK QOS PROVISIONING ENGINE FOR DISTRIBUTED
REAL-TIME AND EMBEDDED SYSTEMS
Jaiganesh Balasubramanian, Sumant Tambe, Balakrishnan Dasarathy,
Shrirang Gadgil, Aniruddha Gokhale and Douglas Schmidt
PHYSICAL ASSEMBLY MAPPER: A MODEL-DRIVEN OPTIMIZATION TOOL FOR
QOS-ENABLED COMPONENT MIDDLEWARE
Krishnakumar Balasubramanian and Douglas Schmidt
Coffee break 3:30-4:00pm
RTAS SESSION 4 - MODEL-BASED DEVELOPMENT: 4:00-6:00pm
Chair: Xenofon D. Koutsoukos
INCORPORATING RESOURCE SAFETY VERIFICATION TO EXECUTABLE MODEL-BASED
DEVELOPMENT FOR EMBEDDED SYSTEMS
Jianliang Yi, Honguk Woo, James Browne, Aloysius Mok, Fei Xie, Ella
Atkins and Chan-Gun Lee
MODULAR CODE GENERATION FROM TRIGGERED AND TIMED BLOCK DIAGRAMS
Roberto Lublinerman and Stavros Tripakis
REGULAR SPECIFICATIONS OF RESOURCE REQUIREMENTS FOR EMBEDDED CONTROL
SOFTWARE
Rajeev Alur and Gera Weiss
OPTIMIZING THE IMPLEMENTATION OF COMMUNICATION IN SYNCHRONOUS REACTIVE
MODELS
Marco Di Natale, Guoqiang Wang and Alberto Sangiovanni Vincentelli
CPSWEEK POSTER SESSION AND RECEPTION: 6:00-8:00pm
Chair: Wei Zhang
DAY 2: APRIL 23
CPSWEEK PLENARY 2: 9:00-10:00am
Seth Teller, MIT
Chair: IPSN
Coffee break 10:00-10:30am
RTAS SESSION 5 - DISTRIBUTED SYSTEMS:
10:30am-12:30pm
Chair: Xue Liu
BUFFER CAPACITY COMPUTATION FOR THROUGHPUT CONSTRAINED STREAMING
APPLICATIONS WITH DATA-DEPENDENT INTER-TASK COMMUNICATION
Maarten Wiggers, Marco Bekooij and Gerard Smit
DISTRIBUTED RESOURCE KERNELS: OS SUPPORT FOR END-TO-END RESOURCE
ISOLATION
Karthik Lakshmanan and Raj Rajkumar
IMPLEMENTATION OF REAL-TIME DISTRIBUTED DISCRETE-EVENT EXECUTION WITH
FAULT TOLERANCE
Thomas Huining Feng and Edward A. Lee
SCHEDULABILITY ANALYSIS OF MSC-BASED SYSTEM MODELS
Lei Ju, Abhik Roychoudhury and Samarjit Chakraborty
Lunch 12:30-1:30pm
RTAS SESSION 6 - SCHEDULING 1:30-3:30pm
Chair: Hakan Aydin
EFFICIENT RECLAMATION MECHANISMS FOR FEEDBACK SCHEDULING OF SOFT
REAL-TIME TASKS UNDER FIXED-PRIORITY
Rodrigo Santos, Giuseppe Lipari and Enrico Bini
EQUIVALENCE BETWEEN SCHEDULE REPRESENTATIONS: THEORY AND APPLICATIONS
Matthieu Lemerre, Vincent David, Christophe Aussagues and Guy
Vidal-Naquet
HYBRID-PRIORITY SCHEDULING OF RESOURCE-SHARING SPORADIC TASK SYSTEMS
Sanjoy Baruah and Nathan Fisher
A METAHEURISTIC APPROACH FOR BEST EFFORT TIMING ANALYSIS TARGETING
COMPLEX LEGACY REAL-TIME SYSTEMS
Johan Kraft, Yue Lu, Christer Norström and Anders Wall
Coffee break 3:30-4:00pm
RTAS WORK-IN-PROGRESS SESSION: 4:00-6:00pm
Chair: Ying Lu
CPSWEEK BANQUET: 6:30-8:30pm
DAY 3: APRIL 24
CPSWEEK PLENARY 3: 9:00-10:00am
Jeannette M. Wing, Carnegie Mellon University and the U.S. National
Science Foundation
Chair: Magnus Egerstedt (HSCC)
Coffee break 10:00-10:30am
RTAS SESSION 7 - HARDWARE-SOFTWARE CO-DESIGN: 10:30-12:30pm
Chair: Rajesh Gupta
HYBRID HARDWARE-SOFTWARE ARCHITECTURE FOR RECONFIGURABLE REAL-TIME
SYSTEMS
Rodolfo Pellizzoni and Marco Caccamo
HYBRID TIMING ANALYSIS OF MODERN PROCESSOR PIPELINES VIA
HARDWARE/SOFTWARE INTERACTIONS
Sibin Mohan and Frank Mueller
OPTIMAL SCHEDULING OF RUNTIME RECONFIGURABLE DEVICES USING A
SATISFIABILITY MODULO THEORIES SOLVER
Mingxuan Yuan, Xiuqiang He and Zonghua Gu
USING TRACE SCRATCHPADS TO REDUCE EXECUTION TIMES IN PREDICTABLE
REAL-TIME ARCHITECTURES
Jack Whitham and Neil Audsley
Lunch 12:30-1:30pm
RTAS SESSION 8 - OPERATING SYSTEMS: 1:30-3:30pm
Chair: Raj Rajkumar
VIRTUALIZING DISK PERFORMANCE
Tim Kaldewey, Theodore Wong, Richard Golding, Anna Povzner, Scott
Brandt and Carlos Maltzahn
THROTTLING ON-DISK SCHEDULERS TO MEET SOFT-REAL-TIME REQUIREMENTS
Mark Stanovich, Theodore Baker and Andy Wang
REAL-TIME SYNCHRONIZATION ON MULTIPROCESSORS: TO BLOCK OR NOT TO BLOCK,
TO SUSPEND OR SPIN?
Bjoern B. Brandenburg, John M. Calandrino, Aaron D. Block, Hennadiy
Leontyev and James H. Anderson
TOSSTI: SAVING TIME AND ENERGY IN TINYOS WITH SOFTWARE THREAD
INTEGRATION
Zane Purvis and Alexander Dean
Coffee break 3:30-4:00pm
RTAS SESSION 9 - NETWORKING AND SECURITY: 4:00-5:30pm
Chair: Dakai Zhu
A
SWITCH DESIGN FOR REAL-TIME INDUSTRIAL NETWORKS
Qixin Wang, Sathish Gopalakrishnan, Xue Liu and Lui Sha
WIRELESSHART: APPLYING WIRELESS TECHNOLOGY IN REAL-TIME INDUSTRIAL
PROCESS CONTROL
Jianping Song, Song Han, Al Mok, Deji Chen, Mike Lucas, Mark Nixon and
Wally Pratt
ACCESS CONTROL FOR ADAPTIVE RESERVATIONS ON MULTI-USER SYSTEMS
Tommaso Cucinotta