The Community for Technology Leaders
2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (1999)
Hong Kong, China
Dec. 13, 1999 to Dec. 15, 1999
ISSN: 1530-1427
ISBN: 0-7695-0306-3
TABLE OF CONTENTS

Foreword (PDF)

pp. x

Reviewers (PDF)

pp. xiii
Session 1a. Databases

State Restoration in Real-Time Systems (Abstract)

LihChyun Shu , Chang Jung University
Chang-Ming Tsai , Chang Jung University
pp. 4

Value-Driven Multi-Class Overload Management (Abstract)

J. Hansson , University of Skovde
S.H. Son , University of Virginia
S.F. Andler , University of Skovde
pp. 21

Maintaining Data Consistency Using Timestamp Ordering in Real-Time Broadcast Environments (Abstract)

Sang H. Son , University of Virginia
Kwok-Wa Lam , City University of Hong Kong
Victor C.S. Lee , City University of Hong Kong
pp. 29

Adaptive Data Broadcast Strategy for Transactions with Multiple Data Requests in Mobile Computing Environments (Abstract)

Edward Chan , City University of Hong Kong
Kam-yiu Lam , City University of Hong Kong
Joe Chun-Hung Yuen , City University of Hong Kong
pp. 37
Session 1b. Scheduling I

A Framework for Scheduling in Safety-Critical Embedded Control Systems (Abstract)

A. Burns , University of York
I. Bate , University of York
pp. 46

Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines (Abstract)

Raymond Devillers , Universit? Libre de Bruxelles
Joël Goossens , Universit? Libre de Bruxelles
pp. 54

Adaptive Bandwidth Reservation for Multimedia Computing (Abstract)

Giorgio Buttazzo , University of Pavia
Luca Abeni , Scuola Superiore S. Anna
pp. 70

An Efficient Optimal Task Allocation and Scheduling Algorithm for Cyclic Synchronous Applications (Abstract)

Byung Kook Kim , Korea Advanced Institute of Science and Technology
Hee-Jun Park , Korea Advanced Institute of Science and Technology
pp. 78
Session 2a. Sofware & Systems

A C Language Extension for Programming Real-Time Applications (Abstract)

Luigi Palopoli , Scuola Sup. S. Anna
Paolo Ancilotti , Scuola Sup. S. Anna
Giorgio Buttazzo , University of Pavia
pp. 103

Portable Code for Complex Critical Systems (Abstract)

A. Grigg , University of York
N.C. Audsley , University of York
I.J. Bate , University of York
pp. 111
Session 2b. Communications

On the Self-Similarity Property of the Output Process from a Network Server with Self-Similar Input Traffic (Abstract)

Shibin Song , ZhongShan University
Bihai Tang , GuangZhou Academy of Economics
Joseph Kee-Yin Ng , Hong Kong Baptist University
pp. 128

Statistical Delay Analysis with Self-Similar Input Traffic in ATM Networks (Abstract)

Bihai Tang , GuangZhou Academy of Economics
Joseph Kee-Yin Ng , Hong Kong Baptist University
Shibin Song , ZhongShan University
pp. 133
Session 3a. Formal Methods I

On the Schedulability Conditions on Partial Time Slots (Abstract)

Hiraki Kei , University of Tokyo
Sasaki Shigero , University of Tokyo
Matsumoto Takashi , University of Tokyo
pp. 166

A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications (Abstract)

Richard A. Kemmerer , University of California at Santa Barbara
Zhe Dang , University of California at Santa Barbara
pp. 174

Timed Automata as Task Models for Event-Driven Systems (Abstract)

Wang Yi , Uppsala University
Christer Norström , M?lardalen University
Anders Wall , M?lardalen University
pp. 182

Formal Description of Real-time Systems using SDL (Abstract)

Mohamed Ashour , Concordia University
Ferhat Khendek , Concordia University
Tho Le-Ngoc , Concordia University
pp. 190
Short Paper Session 3b. Multimedia & Architecture

On-Chip Multimedia Real-Time OS and its MPEG-2 Applications (Abstract)

Makoto Endo , NTT Cyber Space Laboratories
Jiro Naganuma , NTT Cyber Space Laboratories
Hiroe Iwasaki , NTT Cyber Space Laboratories
Takeshi Ogura , NTT Cyber Space Laboratories
pp. 200

A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture (Abstract)

Xiaoyan He , University of Illinois at Urbana-Champaign
Lui Sha , University of Illinois at Urbana-Champaign
pp. 204

Scalable Architecture for Real-Time Applications and Use of Bus-Monitoring (Abstract)

Lennart Lindh , M?lardalens University
Tommy Klevin , M?lardalens University
pp. 208

Bounds on Test Effort for Event-Triggered Real-Time Systems (Abstract)

Jonas Mellin , University of Sk?vde
Sten F. Andler , University of Sk?vde
Ragnar Birgisson , University of Sk?vde
pp. 212

Adaptive Channel Allocation Methods for Distributed MPEG Player System Over a Cellular Radio Network (Abstract)

Y.F. Leung , City University of Hong Kong
Edward Chan , City University of Hong Kong
Kam-yiu Lam , City University of Hong Kong
pp. 220
Invited Talk II
Session 4a. Architecture

Verification of Concurrent Client-Server Real-Time Scheduling Systems (Abstract)

Farn Wang , Academia Sinica
Pao-Ann Hsiung , Academia Sinica
Yue-Sun Kuo , Academia Sinica
pp. 228

Non-Blocking Data Sharing in Multiprocessor Real-Time Systems (Abstract)

Philippas Tsigas , Chalmers University of Technology
Yi Zhang , Chalmers University of Technology
pp. 247

A Method to Improve the Estimated Worst-Case Performance of Data Caching (Abstract)

Thomas Lundqvist , Chalmers University of Technology
Per Stenström , Chalmers University of Technology
pp. 255

Overlapped Disk Access for Real-Time Disk I/O (Abstract)

Kitae Hwang , Hansung University
Chang Yeol Choi , Kangwon National University
pp. 263
Session 4b. Scheduling II

Voltage-Clock Scaling for Low Energy Consumption in Real-Time Embedded Systems (Abstract)

Yann-Hang Lee , University of Florida at Gainesville
C.M. Krishna , University of Massachusetts
pp. 272

Scheduling a Steel Plant with Timed Automata (Abstract)

Ansgar Fehnker , Computing Science Institute Nijmegen
pp. 280

Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems (Abstract)

Paul Pop , Link?ping University
Zebo Peng , Link?ping University
Petru Eles , Link?ping University
pp. 287

Utilization Bound Re-visited (Abstract)

Deji Chen , Fisher-Rosemount Systems, Inc.
Tei-Wei Kuo , National Chung Cheng University
Aloysius K. Mok , University of Texas at Austin
pp. 295

Real-Time Scheduling of CPU-Bound and I/O-Bound Processes (Abstract)

Tei-Wei Kuo , National Chung Cheng University
Jun Wu , National Chung Cheng University
pp. 303
Session 5. Best Student Paper

A Priority-Based Weighted Fair Queuing Scheduler for Real-Time Network (Abstract)

Yu-Chung Wang , University of California at Irvine
Song Wang , University of California at Irvine
Kwei-Jay Lin , University of California at Irvine
pp. 312

A Matlab Toolbox for Real-Time and Control Systems Co-Design (Abstract)

Johan Eker , Lund Institute of Technology
Anton Cervin , Lund Institute of Technology
pp. 320

Scheduling Fixed-Priority Tasks with Preemption Threshold (Abstract)

Yun Wang , Concordia University
Manas Saksena , Concordia University
pp. 328
Invited Talk III
Session 6a. Fault Tolerance

Incorporating Error Recovery into the Imprecise Computation Model (Abstract)

Rami Melhem , University of Pittsburgh
Daniel Mosse , University of Pittsburgh
Hakan Aydin , University of Pittsburgh
pp. 348

Reliability Analysis of Real-Time Controllers with Dual-Modular Temporal Redundancy (Abstract)

Byung Kook Kim , Korea Advanced Institute of Science and Technology
pp. 364
Short Paper Session 6b. Real-Time Requirements

Integration of Tools for Parallel Real-Time Systems (Abstract)

Lilian N. de Faria , Federal University of S?o Carlos
José G. Neves , Federal University of S?o Carlos
Célio E. Morón , Federal University of S?o Carlos
pp. 374

Fault-Tolerant Real-Time Scheduling under Execution Time Constraints (Abstract)

Martin Naedele , Swiss Federal Institute of Technology Zurich
pp. 392
Short Paper Session 7a. Scheduling III

A Quorum-Based Dynamic Location Management Method for Mobile Computings (Abstract)

Ihn-Han Bae , Catholic University of Taegu-Hyosung
pp. 398

Real-Time Data Transfer Using a Real-Time SNMP MIB (Abstract)

Chen-Khong Tham , National University of Singapore
Rui-An Lou , National University of Singapore
pp. 402

Worst Case Timing Requirement of Real-Time Tasks with Time Redundancy (Abstract)

Hyosoon Lee , Seoul National University
Heonshik Shin , Seoul National University
Sang-Lyul Min , Seoul National University
pp. 410
Short Paper Session 7b. Resource Management

Development of a Host DBMS for Testing Switching System Software (Abstract)

Mikyong Han , Electronics and Telecommunications Research Institute
Seung-Sun Lee , Electronics and Telecommunications Research Institute
Wan Choi , Electronics and Telecommunications Research Institute
Kyung Pyo Jun , Electronics and Telecommunications Research Institute
Byung Sun Lee , Electronics and Telecommunications Research Institute
pp. 420

Soft Aperiodic Task Scheduling on Hard Real-Time Multiprocessor Systems (Abstract)

Sergio Sáez , Universidad Polit?cnica de Valencia
Joan Vila , Universidad Polit?cnica de Valencia
Alfons Crespo , Universidad Polit?cnica de Valencia
pp. 424

No-Log Recovery Mechanism Using Stable Memory For Real-Time Main Memory Database Systems (Abstract)

Seong-il Jin , ChungNam National University
Mi-kyong Han , Electronics and Telecommunications Research Institute
Young-Kuk Kim , ChungNam National University
Mi-Sun Choi , ChungNam National University
Young-Keol Kim , Taejon Health Science College
Wan Choi , Electronics and Telecommunications Research Institute
Eun-Mi Song , ChungNam National University
Chanho Ryu , ChungNam National University
pp. 428
Session 8a. O.S. & Design Spec.

Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux (Abstract)

Andrés Terrasa , Universidad Polit?cnica de Valencia
Ana García-Fornes , Universidad Polit?cnica de Valencia
pp. 434

Handling Interrupts in Testing of Distributed Real-Time Systems (Abstract)

Henrik Thane , M?lardalen University
Hans Hansson , M?lardalen University
pp. 450

A Time Synchronization Method for NTP (Abstract)

Sun-Mi Jun , Pusan National University
Dong-Hui Yu , Pusan National University
Soon-Yong Seong , Pusan University of Foreign Studies
Young-Ho Kim , Pusan National University
pp. 466

An Approach Towards Formal Verification of Object Oriented Real-Time Systems (Abstract)

R.C.M. de Rooij , Delft University of Technology
J. Van Katwijk , Delft University of Technology
pp. 474
Short Paper Session 8b. Formal Methods II

Conceptual Transformation from SDL-92 to CHILL-96 Using Signal Subordination (Abstract)

Kim Sungho , Kyungpook National University
Lee DongGill , Electronics and Telecommunications Research Institute,
Lee Joon-Kyung , Electronics and Telecommunications Research Institute,
Lee Siyoung , Kyungpook National University
pp. 484

A Denotational Semantics of Timed RSL Using Duration Calculus (Abstract)

Li Li , University of Science and Technology of China
He Jifeng , United Nations University
pp. 492

A Formal Model of a Run-Time Kernel for Ravenscar (Abstract)

Lars Asplund , Uppsala University
Kristina Lundqvist , Uppsala University
pp. 504

A Formal Proof of the Rate Monotonic Scheduler (Abstract)

Xu Qiwen , United Nations University
Dong Shuzhen , United Nations University
Zhan Naijun , United Nations University
pp. 500

Author Index (PDF)

pp. 508
111 ms
(Ver 3.1 (10032016))