CSDL - Proceedings R

Organizing Committees (PDF)

pp. xi

Program Committee (PDF)

pp. xii

Reviewers (PDF)

pp. xiii

Software Dependability Considered as the Main Problem of Contemporary Real Time Computing (PDF)

W. Halang

pp. 2

Session 1a. Databases

State Restoration in Real-Time Systems (Abstract)

LihChyun Shu, Chang Jung University

Chang-Ming Tsai, Chang Jung University

pp. 4

PDF

Dynamic Adjustment of Serialization Order Using Timestamp Intervals in Real-Time Databases (Abstract)

Jan Lindström, University of Helsinki

Kimmo Raatikainen, University of Helsinki

pp. 13

PDF

Value-Driven Multi-Class Overload Management (Abstract)

J. Hansson, University of Skovde

S.F. Andler, University of Skovde

S.H. Son, University of Virginia

pp. 21

PDF

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

Victor C.S. Lee, City University of Hong Kong

Kwok-Wa Lam, City University of Hong Kong

Sang H. Son, University of Virginia

pp. 29

PDF

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

Joe Chun-Hung Yuen, City University of Hong Kong

Edward Chan, City University of Hong Kong

Kam-yiu Lam, City University of Hong Kong

pp. 37

PDF

Session 1b. Scheduling I

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

I. Bate, University of York

A. Burns, University of York

pp. 46

PDF

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

Joël Goossens, Universit? Libre de Bruxelles

Raymond Devillers, Universit? Libre de Bruxelles

pp. 54

PDF

Scheduling Periodic Task Systems to Minimize Output Jitter (Abstract)

pp. 62

PDF

Adaptive Bandwidth Reservation for Multimedia Computing (Abstract)

Luca Abeni, Scuola Superiore S. Anna

Giorgio Buttazzo, University of Pavia

pp. 70

PDF

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

Hee-Jun Park, Korea Advanced Institute of Science and Technology

Byung Kook Kim, Korea Advanced Institute of Science and Technology

pp. 78

PDF

Session 2a. Sofware & Systems

Pipeline Timing Analysis Using a Trace-Driven Simulator (Abstract)

Jakob Engblom, IAR Systems AB

Andreas Ermedahl, Uppsala University

pp. 88

PDF

Hard Real-Time Garbage-Collection in the Jamaica Virtual Machine (Abstract)

Fridtjof Siebert, Jamaica Systems

pp. 96

PDF

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

PDF

Portable Code for Complex Critical Systems (Abstract)

N.C. Audsley, University of York

I.J. Bate, University of York

A. Grigg, University of York

pp. 111

PDF

Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol (Abstract)

Session 2b. Communications

Sijing Zhang, University of Cambridge

E. Stewart Lee, University of Cambridge

pp. 120

PDF

Shibin Song, ZhongShan University

Joseph Kee-Yin Ng, Hong Kong Baptist University

Bihai Tang, GuangZhou Academy of Economics

pp. 128

PDF

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

Shibin Song, ZhongShan University

Joseph Kee-Yin Ng, Hong Kong Baptist University

Bihai Tang, GuangZhou Academy of Economics

pp. 133

PDF

Implementation and Evaluation of Video Transfer System over Internet with Congestion Control Based on Two Level Rate Control (Abstract)

Teruyuki Hasegawa, KDD R&D Laboratories, Inc.

Toru Hasegawa, KDD R&D Laboratories, Inc.

Toshihiko Kato, KDD R&D Laboratories, Inc.

pp. 141

PDF

Session 3a. Formal Methods I

Fault Coverage in Testing Real-Time Systems (Abstract)

pp. 150

PDF

Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD (Abstract)

Daniel Simon, INRIA Rh?ne-Alpes

Roger Pissard-Gibollet, INRIA Rh?ne-Alpes

Konstantinos Kapellos, INRIA Rh?ne-Alpes

Bernard Espiau, INRIA Rh?ne-Alpes

pp. 158

PDF

On the Schedulability Conditions on Partial Time Slots (Abstract)

Sasaki Shigero, University of Tokyo

Matsumoto Takashi, University of Tokyo

Hiraki Kei, University of Tokyo

pp. 166

PDF

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

Zhe Dang, University of California at Santa Barbara

Richard A. Kemmerer, University of California at Santa Barbara

pp. 174

PDF

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

Christer Norström, M?lardalen University

Anders Wall, M?lardalen University

Wang Yi, Uppsala University

pp. 182

PDF

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

Mohamed Ashour, Concordia University

Ferhat Khendek, Concordia University

Tho Le-Ngoc, Concordia University

pp. 190

PDF

Short Paper Session 3b. Multimedia & Architecture

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

Hiroe Iwasaki, NTT Cyber Space Laboratories

Jiro Naganuma, NTT Cyber Space Laboratories

Makoto Endo, NTT Cyber Space Laboratories

Takeshi Ogura, NTT Cyber Space Laboratories

pp. 200

PDF

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

PDF

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

Tommy Klevin, M?lardalens University

Lennart Lindh, M?lardalens University

pp. 208

PDF

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

Ragnar Birgisson, University of Sk?vde

Jonas Mellin, University of Sk?vde

Sten F. Andler, University of Sk?vde

pp. 212

PDF

An Adaptive Thin-Client Robot Control Architecture (Abstract)

pp. 216

PDF

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

PDF

Invited Talk II

Can Real-Time Systems Be Built from Off-the-shelf Components? (Abstract)

K. Ramamritham

pp. 226

PDF

Session 4a. Architecture

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

Pao-Ann Hsiung, Academia Sinica

Farn Wang, Academia Sinica

Yue-Sun Kuo, Academia Sinica

pp. 228

PDF

Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties (Abstract)

J. Chen, National Cheng-Kung University

A. Burns, University of York

pp. 236

PDF

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

Philippas Tsigas, Chalmers University of Technology

Yi Zhang, Chalmers University of Technology

pp. 247

PDF

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

PDF

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

Kitae Hwang, Hansung University

Chang Yeol Choi, Kangwon National University

pp. 263

PDF

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

PDF

Scheduling a Steel Plant with Timed Automata (Abstract)

Ansgar Fehnker, Computing Science Institute Nijmegen

pp. 280

PDF

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

Paul Pop, Link?ping University

Petru Eles, Link?ping University

Zebo Peng, Link?ping University

pp. 287

PDF

Utilization Bound Re-visited (Abstract)

Deji Chen, Fisher-Rosemount Systems, Inc.

Aloysius K. Mok, University of Texas at Austin

Tei-Wei Kuo, National Chung Cheng University

pp. 295

PDF

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

Jun Wu, National Chung Cheng University

Tei-Wei Kuo, National Chung Cheng University

pp. 303

PDF

Session 5. Best Student Paper

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

Song Wang, University of California at Irvine

Yu-Chung Wang, University of California at Irvine

Kwei-Jay Lin, University of California at Irvine

pp. 312

PDF

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

PDF

Scheduling Fixed-Priority Tasks with Preemption Threshold (Abstract)

Yun Wang, Concordia University

Manas Saksena, Concordia University

pp. 328

PDF

Invited Talk III

EMERALDS: A Small-Memory Real-Time Microkernel (Abstract)

K. Shin

pp. 338

PDF

Session 6a. Fault Tolerance

Fault Tolerant Real-Time Connection Admission Control for Mission Critical Applications over ATM-Based Networks (Abstract)

B. Devalla, Nortel Networks

R. Bettati, Texas A&M University

W. Zhao, Texas A&M University

pp. 340

PDF

Incorporating Error Recovery into the Imprecise Computation Model (Abstract)

Hakan Aydin, University of Pittsburgh

Rami Melhem, University of Pittsburgh

Daniel Mosse, University of Pittsburgh

pp. 348

PDF

Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies (Abstract)

Pascal Chevochot, Universit? de Beaulieu

Isabelle Puaut, Universit? de Beaulieu

pp. 356

PDF

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

Byung Kook Kim, Korea Advanced Institute of Science and Technology

pp. 364

PDF

Short Paper Session 6b. Real-Time Requirements

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

José G. Neves, Federal University of S?o Carlos

Lilian N. de Faria, Federal University of S?o Carlos

Célio E. Morón, Federal University of S?o Carlos

pp. 374

PDF

Applicability of Cyclic-Memory Networks and IEEE1394 for Fine Motion Control and Arcade Games (Abstract)

Koji Matsuda, University of Michigan

Kang G. Shin, University of Michigan

pp. 378

PDF

Hybrid Genetic Algorithms for Scheduling Partially Ordered Tasks in a Multi-Processor Environment (Abstract)

Man Lin, St. Francis Xavier University

Laurence Tianruo Yang, St. Francis Xavier University

pp. 382

PDF

Bandwidth Reservation for Real Time Traffic in Wireless Mobile Environment (Abstract)

Byung Kyu Choi, Texas A&M University

Riccardo Bettati, Texas A&M University

pp. 388

PDF

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

Martin Naedele, Swiss Federal Institute of Technology Zurich

pp. 392

PDF

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

PDF

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

Rui-An Lou, National University of Singapore

Chen-Khong Tham, National University of Singapore

pp. 402

PDF

Sensitivity Analysis on the Assumption of Geometric Batch Arrivals for Real-Time Versus Non-Real-Time Scheduling in a Statistical Multiplexer (Abstract)

Robert A. Lackman, Ocean University of Qing Dao

David Tipper, University of Pittsburgh

John D. Spragins, Clemson University

pp. 406

PDF

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

PDF

Short Paper Session 7b. Resource Management

Firm Real-Time Optimistic Concurrency Control Algorithms for Replicated Database Systems (Abstract)

Jinhwan Kim, Hansung University

pp. 416

PDF

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

Byung Sun Lee, Electronics and Telecommunications Research Institute

Seung-Sun Lee, Electronics and Telecommunications Research Institute

Mikyong Han, Electronics and Telecommunications Research Institute

Wan Choi, Electronics and Telecommunications Research Institute

Kyung Pyo Jun, Electronics and Telecommunications Research Institute

pp. 420

PDF

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

PDF

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

Eun-Mi Song, ChungNam National University

Chanho Ryu, ChungNam National University

Mi-Sun Choi, ChungNam National University

Young-Kuk Kim, ChungNam National University

Seong-il Jin, ChungNam National University

Young-Keol Kim, Taejon Health Science College

Mi-kyong Han, Electronics and Telecommunications Research Institute

Wan Choi, Electronics and Telecommunications Research Institute

pp. 428

PDF

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

PDF

Making Worst Case Execution Time Analysis for Hard Real-Time Tasks on State of the Art Processors Feasible (Abstract)

Stefan M. Petters, Technische Universit?t M?nchen

Georg Färber, Technische Universit?t M?nchen

pp. 442

PDF

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

Henrik Thane, M?lardalen University

Hans Hansson, M?lardalen University

pp. 450

PDF

System Specification of Wireless Multimedia Engines: A Data Fusion Approach (Abstract)

Knuutila Jarno, Nokia Mobile Phones

pp. 458

PDF

A Time Synchronization Method for NTP (Abstract)

Sun-Mi Jun, Pusan National University

Dong-Hui Yu, Pusan National University

Young-Ho Kim, Pusan National University

Soon-Yong Seong, Pusan University of Foreign Studies

pp. 466

PDF

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

PDF

Short Paper Session 8b. Formal Methods II

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

Lee Siyoung, Kyungpook National University

Kim Sungho, Kyungpook National University

Lee DongGill, Electronics and Telecommunications Research Institute,

Lee Joon-Kyung, Electronics and Telecommunications Research Institute,

pp. 484

PDF

Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification (Abstract)

Karsten Strehl, Swiss Federal Institute of Technology

pp. 488

PDF

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

PDF

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

Kristina Lundqvist, Uppsala University

Lars Asplund, Uppsala University

pp. 504

PDF

Real-Time Symbolic Model Checking for Hard Real-Time Systems (Abstract)

Y. Tachi, JAIST

S. Yamane, Kagoshima University

pp. 496

PDF

A Formal Proof of the Rate Monotonic Scheduler (Abstract)

Dong Shuzhen, United Nations University

Xu Qiwen, United Nations University

Zhan Naijun, United Nations University

pp. 500

PDF

Author Index (PDF)

pp. 508