Home
  Call for paper
  Registration
  Organizers
  Technical Program
  Tutorial
  Paper Submission (closed)
  Accommodation
  Venue


  RTCSA 2007 will be held
  August 21-23, 2007,
  Daegu, Korea.

  Previous RTCSA
    RTCSA 2006
    RTCSA 2005

Important Dates
31 March
Submission
Deadline
12 May
Notification of
Acceptance
8 June
Camera-ready
Copy
21-23
August
Conference Dates

  Sponsored by

  Supported by

 

 TECHNICAL PROGRAM (pdf)

 Real-Time Systems Track  Ubiquitous Computing Track  Embedded Systems Track

Time
August 21st
August 22nd
August 23rd
08:30 -





10:00
Session 7

Analysis and
Design II

Session 8

Middleware
for Ubiquitous
Computing
Session 13
(08:00~10:15)

Uniproc.
Scheduling
and Analysis

Session 14
(08:00~10:15)

Compiler
Techniques and SoC Designs

10:00 -
10:30
Coffee Break
10:30 -





12:00
Session 1

Resource
Sharing


Session 2
Memory
Management
for Embedded
Applications
Session 9

Networking
and Distr.
Systems
Session 10

Power-aware
Design
Methodologies
Session 15
(Ending 12:30)

Scheduling,
Analysis
, and MISC

Session 16
(Ending 12:30)
Context
Awareness, Privacy, and
System
Performance
12:00 -

Lunch
13:30 -





15:00

Multiproc.
Scheduling



Ubiquitous
Wireless
Networks

AUTOSAR
(Part I)

Tour
(13:30-20:00)

15:00 -
15:30
Coffee Break
15:30 -





17:00
Session 5

Analysis and
Design I

Session 6
Advanced
Embedded
System Design
Frameworks
Session 11

Databases


Session 12

Wireless
Sensor
Networks


AUTOSAR
(Part II)
19:00 -


21:00
 

 

TUESDAY,August 21, 2007, 08:30 - 10:00
Welcome Notes and Keynote I

It is a Small, Flat World
C. L. Liu
National Tsing Hua University, Hsinchu,
Taiwan

TUESDAY,August 21, 2007, 10:30 - 12:00
Session 1: Resource Sharing
Session Chair: Tullio Vardanega

1.1
 

1.2
 

1.3s
 

1.4s
 

 

Contract-Based Reusable Worst-Case Execution Time Estimate
Johan Fredriksson, Thomas Nolte, Mikael Nolin, and Heinz Schmidt

A Flexible Real-Time Locking Protocol for Multiprocessors
Aaron Block, Hennadiy Leontyev, Bjorn Brandenburg, and James Anderson

Efficiently Accessing Remote Resources in Distributed Real-Time Systems
Paul Usher and Neil Audsley

Exact Analysis of TDMA with Slot Skipping
Nuno Pereira, Eduardo Tovar, and Bjorn Andersson

 

TUESDAY,August 21, 2007, 10:30 - 12:00
Session 2: Memory Management for Embedded Applications
Session Chair: Ya-Shu Chen

2.1
 
 

2.2
 
 

2.3s
 

2.4s
 

Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems
Guillaume Salagnac, Christophe Rippert, and Sergio Yovine

An Efficient Page Lock/Release OS Mechanism for Out-of-Core Embedded Applications
Ameet Patil and Neil Audsley

A Study on the Packaging for Fast Boot-up Time in the Embedded Linux
Kyung Ho Chung, Myung Sil Choi, and Kwang Seon Ahn

A NOR Emulation Strategy over NAND Flash Memory
Jian-Hong Lin, Yuan-Hao Chang, Jen-Wei Hsieh, and Tei-Wei Kuo

 

TUESDAY,August 21, 2007, 13:30 - 15:00
Session 3: Multiprocessor Scheduling
Session Chair: Nathan Fisher

3.1
 

3.2
 
 

3.3
 

Tardiness Bounds for EDF Scheduling on Multi-Speed Multicore Platforms
Hennadiy Leontyev and James Anderson

Competitive Analysis of Static-Priority Partitioned Scheduling on Uniform Multiprocessors
Bjorn Andersson and Eduardo Tovar

Current Results on EDZL Scheduling for Multiprocessor Real-Time Systems
Hsin-Wen Wei, Yi-Hsiung Chao, Shun-Shii Lin, Kwei-Jay Lin, and Wei-Kuan Shih

 

TUESDAY,August 21, 2007, 13:30 - 15:00
Session 4: Ubiquitous Wireless Networks
Session Chair: Kyoung-Don Kang

4.1
 
 

4.2
 

4.3
 

Wireless LAN Positioning based on Received Signal Strength from Mobile device and Access Points
Wilson Yeung and Joseph Ng

A Continuous Query Index for Processing Queries on RFID Data Stream
Jaekwan Park, Bonghee Hong, and Chaehoon Ban

A Dynamic Medial Axis Model for Sensor Networks
Lan Lin and Hyunyoung Lee

 

TUESDAY,August 21, 2007, 15:30 - 17:00
Session 5: Analysis and Design (I)
Session Chair: Guy Juanole

5.1
 

5.2
 
 

5.3
 

An Approach to the Timing Analysis of Hierarchical Systems
Marco Panunzio and Tullio Vardanega

On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties
Hung Dang Van and Miaomiao Zhang

Real-time Connectors for Deterministic Data-flow
Irfan Hamid and Elie Najm

 

TUESDAY,August 21, 2007, 15:30 - 17:00
Session 6: Advanced Embedded System Design Frameworks
Session Chair: Ki-Seok Chung

6.1
 

6.2
 
 

6.3
 

Buffer Size Reduction through Control-Flow Decomposition
Youngchul Cho, Nacer-Eddine Zergainoh, Ahmed A. Jerraya, and Kiyoung Choi

A Time-Triggered Distributed Object Computing Environment for Embedded Control Systems
Tasuku Ishigooka and Takanori Yokoyama

COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems
Ke Xu, Krzysztof Sierszecki and Christo Angelov

 

WEDNESDAY,August 22, 2007, 08:30 - 10:00
Session 7: Analysis and Design (II)
Session Chair: Jae Oh

7.1
 
 

7.2
 

7.3s
 
 

7.4s
 

Interactive Back-annotation of Worst-case Execution Time Analysis for Java Microprocessors
Trevor Harmon and Raymond Klefstad

Modeling Real-time Garbage Collection Cost
Wei Fu and Carl Hauser

Towards a Test Purpose Algorithm for an Automated Test Generation with Delayed Transitions to Timed Systems
Elisangela Vieira and Ana Cavalli

Multiform time in UML for Real-Time Embedded applications
Charles Andre, Frederic Mallet, and Marie-Agnes Peraldi-Frati

 

WEDNESDAY,August 22, 2007, 08:30 - 10:00
Session 8: Middleware for Ubiquitous Computing
Session Chair: Joseph J. Ng

8.1
 
 

8.2
 

8.3
 

MB++: An Integrated Architecture for Pervasive Computing and High-Performance Computing
David Lillethun, David Hilley, Seth Horrigan, and Umakishore Ramachandran

MobiGo: A Middleware for Seamless Mobility
Xiang Song and Umakishore Ramachandran

Lifestyle Ubiquitous Gaming: Making Daily Lives More Pleasurable
Tatsuo Nakajima

 

WEDNESDAY,August 22, 2007, 10:30 - 12:00
Session 9: Networking and Distributed Systems
Session Chair: Chang-Gun Lee

9.1
 
 

9.2
 
 

9.3
 

Networked Control Systems : Definition and Analysis of a Hybrid Priority Scheme for the Message Scheduling
Guy Juanole and Gerard Mouney

TERCOS: A Novel Technique for Exploiting Redundancy in Fault-Tolerant and Real-Time Distributed Systems
Yang fumin and Pang liping

Fast Recovery and QoS Assurance in the Presence of Network Faults for Mission-Critical Applications in Hostile Environments
Shrirang Gadgil, Balakrishnan Dasarathy, Frederick Porter, Kirthika Parmeswaran, and Ravi Vaidyanathan

 

WEDNESDAY,August 22, 2007, 10:30 - 12:00
Session 10: Power-Aware Design Methodologies
Session Chair: Hiroyuki Tomiyama

10.1
 
 

10.2
 
 

10.3
 

Preemption Control for Energy-Efficient Task Scheduling in Systems with a DVS Processor and Non-DVS Devices
Chuan-Yue Yang, Jian-Jia Chen, and Tei-Wei Kuo

Critical-Path based Low-Energy Scheduling Algorithms for Body Area Network Systems
Yanhong Liu, Bharadwaj Veeravalli, and Sivakumar Viswanathan

Design of Low Power MAC Operator with Dual Precision Mode
Young-Geun Lee, Joo-Yul Park, and Ki-Seok Chung

 

WEDNESDAY,August 22, 2007, 13:00 - 15:00
Invited Session
Session Chair: Seongsoo Hong

I.1
 
 

I.2
 
 

I.3



I.4
 

Achieving Predictable Performance with On-Chip Shared L2 Caches for Manycore-Based Real-Time Systems
Sangyeun Cho, Lei Jin, and Kiyeon Lee

Real-Time Loop Scheduling with Leakage Energy Minimization for Embedded VLIW DSP Processors
Meng Wang, Zili Shao, Chun Xue, and Edwin H.-M. Sha

A Voltage and Resource Synthesis Technique for Energy-Aware Real-time Systems
Dong-In Kang
, Stephen P. Crago, Jinwoo Suh, and Janice McMahon

Energy-Efficient Scheduling for Real-Time Systems on Dynamic Voltage Scaling (DVS) Platforms
Jian-Jia Chen and Chin-Fu Kuo

 

WEDNESDAY,August 22, 2007, 15:30 - 17:00
Session 11: Databases
Session Chair: Tei-Wei Kuo

11.1
 

11.2
 

11.3s
 

A Real-Time Database Testbed and Performance Evaluation
Kyoung-Don Kang, Phillip Sin, Jisu Oh, and Sang Son

Virtual Full Replication by Adaptive Segmentation
Gunnar Mathiason, Sten F. Andler, and Sang H. Son

Performance Evaluations and Estimations of Workload of On-Demand Updates in Soft Real-Time Systems
Thomas Gustafsson and Jorgen Hansson

 

WEDNESDAY,August 22, 2007, 15:30 - 17:00
Session 12: Wireless Sensor Networks
Session Chair: Jiman Hong

12.1
 
 

12.2
 

12.3s
 
 

12.4s

Lightweight Distributed Topology Control Algorithms for Heterogeneous Wireless Sensor Networks
Jun Wu, Han-Chi Lin and Yung-Feng Lu

Clock Free Data Streams Alignment for Sensor Networks
Guo-Liang Li and Chi-Sheng Shih

Remote Controlled Group Behavior for Widely Spreaded and Cooperative Mobile Robots in Wireless Sensor Network Environment.
Laxmisha Rai and Soon Ju Kang

A Physical Activities Healthcare System Based on Wireless Sensing Technology
Zhi Li and Guanglie Zhang

 

WEDNESDAY,August 22, 2007, 19:00 -19:30
Banquet and Welcome Note

Dr. Kyusuk Chung
President of DGIST

WEDNESDAY,August 22, 2007, 19:30 - 20:30
Keynote II

Technology Trends in Consumer Electronics Software
Dr. Jong-Deok Choi
Sr. Vice-President, Digital Media Business, Samsung Electronics

 

THURSDAY,August 23, 2007, 08:00 - 10:15
Session 13: Uniprocessor Scheduling and Analysis
Session Chair: Bjorn Andersson

13.1
 
 

13.2
 

13.3s
 

13.4s
 

13.5
 

13.6s

Parametric Polynomial-time Algorithms for Computing Response-time bounds for static-priority tasks with release jitters
Nahan Fisher, Chau Huyen Nguyen, Joel Goossens, and Pascal Richard

Scheduling Algorithms for I/O Blockings with a Multi-frame Task Model
Shan Ding, Hiroyuki Tomiyama, and Hiroaki Takada

Relationships between Window-based Real-time Constraints
TU Gang, CAO Wan-hua, and YANG Fu-min

Fast Schedulability Analysis Using Commodity Graphics Hardware
Jimin Feng, Samarjit Chakraborty, Bertil Schmidt, Weiguo Liu, and Unmesh Bordoloi

Multi-Speed DVS Algorithms for Periodic Tasks with Non-Preemptible Sections
Jaewoo Lee, Kern Koh, and Chang-Gun Lee

Real-Time Control and Scheduling Co-Design for Efficient Jitter Handling
Moris Behnam and Damir Isovic

 

THURSDAY,August 23, 2007, 08:00 - 10:15
Session 14: Compiler Techniques for Embedded Systems and SoC Designs
Session Chair: Naehyuck Chang

14.1
 
 

14.2
 

14.3s
 

14.4s

 

14.5
 

14.6s

Code Size Optimization for Embedded Processors using Commutative Transformations
Sai Pinnepalli, Jinpyo Hong, J. Ramanujam, and Doris Carver

Securing More Registers with Reduced Instruction Encoding Architectures
Je-Hyung Lee, Jinpyo Park, and Soo-Mook Moon

Temperature-Aware Compilation for VLIW Processors
Benjamin Schafer, Yongho Lee, and Taewhan Kim

A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis
Michael Ward and Neil Audsley

Cache Organizations for H.264/AVC Motion Compensation
Ju-Hyun Kim, Gyoung-Hwan Hyun, and Hyuk-Jae Lee

Template-based Runtime Reconfiguration Scheduling for Partial Reconfigurable SoC
Chia Li and Chi-Sheng Shih

 

THURSDAY,August 23, 2007, 10:30 - 12:30
Session 15: Scheduling, Analysis, and MISC
Session Chair: Soon Ju Kang

15.1
 

15.2
 

15.3
 

15.4s

 

15.5s

Real-Time Scheduling with Task Splitting on Multiprocessors
Shinpei Kato and Nobuyuki Yamasaki

FL-PCP: Frequency Locking for Energy-Efficient Real-Time Task Synchronization
Ya-Shu Chen, Chuan-Yue Yang, and Tei-Wei Kuo

Bringing Worst Case Execution Time Awareness to an Open Smart Card OS
Nadia Bel Hadj Aissa, Gilles Grimaud and Vincent Benony

CENTURY: Automated Aspects of Patient Care
Marion Blount, John Davis, Andrew Kim, Archan Misra, Sehun Park, Daby Sow, Young Ju Tak, Min Wang, Karen Witting, and Ji Hyun Kim

Analyzing Access Timing of Removable Flash Media
Daniel Parthey and Robert Baumgartl

 

THURSDAY,August 23, 2007, 10:30 - 12:30
Session 16: Context Awareness, Privacy, and System Performance
Session Chair: Hyuk-Jae Lee

16.1
 

16.2s
 

16.3s
 
 

16.4

 

16.5s
 

16.6s

Activity Recognition Based on Semi-supervised Learning
Donghai Guan and Weiwei Yuan

ID Prediction Algorithm for Tag Collision Arbitration in RFID System
Hyun Jun Yeo, Yong Hwan Kim, and Kwang Seon Ahn

A Privacy Preserving Access Control Scheme using Anonymous Identification for Ubiquitous Environments
Diep Nguyen Ngoc, Sungyoung Lee, Young-Koo Lee, and HeeJo Lee

An MPSoC Performance Estimation Framework Using Transaction Level Modeling
Rabie Ben Atitallah, Smail Niar, Samy Meftali and Jean-Luc Dekeyser

Activity-based Access Control Model to Hospital Information
Hung Le Xuan, Sungyoung Lee, Young-Koo Lee, and Heejo Lee

Preventing Network Performance Interference with ACK-Separation Queuing Mechanism in a Home Network Gateway Using an Asymmetric Link
Jiyong Park and Seongsoo Hong

 

 
Contact
Professor Taewhan Kim

   Webmaster Hochang Jang