The Community for Technology Leaders
Proceedings Fourth International Workshop on Real-Time Computing Systems and Applications (1997)
Taipei, TAIWAN
Oct. 27, 1997 to Oct. 29, 1997
ISBN: 0-8186-8073-3
TABLE OF CONTENTS

Foreword (PDF)

pp. ix
Session 1: Real-Time Communications A

Designing the ON-OFF CBR transmission schedule for jitter-free VBR media playback in real-time networks (Abstract)

Ray-I Chang , Inst. of Inf. Sci., Acad. Sinica, Taiwan
Meng Chang Chen , Inst. of Inf. Sci., Acad. Sinica, Taiwan
Jan-Ming Ho , Inst. of Inf. Sci., Acad. Sinica, Taiwan
Ming-Tat Ko , Inst. of Inf. Sci., Acad. Sinica, Taiwan
pp. 2

Real-time communication in distributed environment-real-time packet filter approach (Abstract)

T. Kitayama , Res. Inst., Keio Univ., Kanagawa, Japan
A. Miyoshi , Res. Inst., Keio Univ., Kanagawa, Japan
T. Saito , Res. Inst., Keio Univ., Kanagawa, Japan
H. Tokuda , Res. Inst., Keio Univ., Kanagawa, Japan
pp. 10

Design of inter processor communication controller using ATM switch and analysis of its optimal message length considering retransmission (Abstract)

Hea-Sook Park , Process Dev. Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
Sung-Jin Moon , Process Dev. Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
Man-Sik Park , Process Dev. Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
Boseob Kwon , Process Dev. Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
Kwang-Suk Song , Process Dev. Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
pp. 18

Evaluation of media scaling applied multicast protocol (Abstract)

Y. Onoe , NTT Inf. & Commun. Syst. Labs., Japan
H. Tokuda , NTT Inf. & Commun. Syst. Labs., Japan
pp. 26
Session 2: Operating Systems

Scalability in a real-time kernel (Abstract)

S. Oikawa , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
R. Rajkumar , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 35

HARTIK 3.0: a portable system for developing real-time applications (Abstract)

G. Lamastra , Scuola Normale Superiore, Pisa, Italy
G. Lipari , Scuola Normale Superiore, Pisa, Italy
G. Buttazzo , Scuola Normale Superiore, Pisa, Italy
A. Casile , Scuola Normale Superiore, Pisa, Italy
F. Conticelli , Scuola Normale Superiore, Pisa, Italy
pp. 43

On memory protection in real-time OS for small embedded systems (Abstract)

S. Suzuki , Res. Lab., Hitachi Ltd., Ibaraki, Japan
K.G. Shin , Res. Lab., Hitachi Ltd., Ibaraki, Japan
pp. 51
Session 3: Scheduling A

Schedulability comparisons among periodic and distance-constrained real-time schedulers (Abstract)

Chih-Wen Hsueh , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
K.-J. Lin , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 60

Heuristic scheduling for multimedia streams with firm deadlines (Abstract)

Jinsung Cho , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Heonshik Shin , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 67

Improved scheduling of generalized pinwheel task systems (Abstract)

S.K. Baruah , Dept. of Comput. Sci., Vermont Univ., Burlington, VT, USA
Shun-Shii Lin , Dept. of Comput. Sci., Vermont Univ., Burlington, VT, USA
pp. 73

Schedulability of generalized multiframe task sets under static priority assignment (Abstract)

H. Takada , Dept. of Inf. Sci., Tokyo Univ., Japan
K. Sakamura , Dept. of Inf. Sci., Tokyo Univ., Japan
pp. 80

Scheduling algorithm for programmable logic controllers with remote I/Os (Abstract)

Seungkweon Jeong , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Young Shin Kim , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Wook Hyun Kwon , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
pp. 87
Session 4: Real-Time Databases

Concurrency control for real-time database systems with mixed transactions (Abstract)

Kam-Yiu Lam , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
Tei-Wei Kuo , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
Wai-Hung Tsang , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
pp. 96

Scheduling real-time read-only transactions (Abstract)

Kwok-Wa Lam , Dept. of Comput. Sci., City Univ. of Hong Kong, Hong Kong
V.C.S. Lee , Dept. of Comput. Sci., City Univ. of Hong Kong, Hong Kong
Sheung-Lun Hung , Dept. of Comput. Sci., City Univ. of Hong Kong, Hong Kong
pp. 104

An index recovery method for real-time DBMS in client-server architecture (Abstract)

Seung-Sun Lee , Real-Time OS Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
Yong-Ik Yoon , Real-Time OS Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
pp. 110

An implementation and performance analysis of backup system using concurrent log processing in real-time DBMS (Abstract)

Mikyong Han , Real-Time OS Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
Yongik Yoon , Real-Time OS Sect., Electron. & Telecommun. Res. Inst., Taejon, South Korea
pp. 118
Session 5: Formal Methods

Behavior verification of hybrid real-time requirements by qualitative formalism (Abstract)

Jang-Soo Lee , MMIS Lab., Korea Atomic Energy Res. Inst., Taejon, South Korea
Sung-Deok Cha , MMIS Lab., Korea Atomic Energy Res. Inst., Taejon, South Korea
pp. 127

Specification and verification of real-time systems using ACSR-VP (Abstract)

Sung-Mook Lim , Dept. of Comput. Sci. & Eng., Korea Univ., Seoul, South Korea
Jin-Young Choi , Dept. of Comput. Sci. & Eng., Korea Univ., Seoul, South Korea
pp. 135

Experiences with analysis of formal specifications in Astral (Abstract)

K. Brink , Dept. of Tech. Math. & Comput. Sci., Delft Univ. of Technol., Netherlands
J. van Katwijk , Dept. of Tech. Math. & Comput. Sci., Delft Univ. of Technol., Netherlands
R.F. Lutje Spelberg , Dept. of Tech. Math. & Comput. Sci., Delft Univ. of Technol., Netherlands
W.J. Toetenel , Dept. of Tech. Math. & Comput. Sci., Delft Univ. of Technol., Netherlands
pp. 143
Session 6: Applications

Robot control in hard real-time environment (Abstract)

G. Buttazzo , RETIS Lab., Scuola Superiore S. Anna, Pisa, Italy
F. Conticelli , RETIS Lab., Scuola Superiore S. Anna, Pisa, Italy
G. Lamastra , RETIS Lab., Scuola Superiore S. Anna, Pisa, Italy
G. Lipari , RETIS Lab., Scuola Superiore S. Anna, Pisa, Italy
pp. 152

A model and design of a fully distributed computing environment for virtual reality (Abstract)

Jiung-Yao Huang , Multimedia & Virtual Reality Lab., Tamkang Univ., Tamsui, Taiwan
Chao-Tsong Fang-Tson , Multimedia & Virtual Reality Lab., Tamkang Univ., Tamsui, Taiwan
Shuenn-Jyi Wang , Multimedia & Virtual Reality Lab., Tamkang Univ., Tamsui, Taiwan
Wei-Chyuan Wang , Multimedia & Virtual Reality Lab., Tamkang Univ., Tamsui, Taiwan
pp. 160
Session 7: Short Paper Presentations

A distributed multimedia toolbox (Abstract)

H. Scholten , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
P.G. Jansen , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 170

Platform independent class repository of TMN in personal communication network using entity-aspect oriented programming (Abstract)

Soo-Hyun Park , LG R&D Complex, LG Inf. & Commun. Ltd., Seoul, South Korea
Sang-Hoon Park , LG R&D Complex, LG Inf. & Commun. Ltd., Seoul, South Korea
Doo-Kwon Baik , LG R&D Complex, LG Inf. & Commun. Ltd., Seoul, South Korea
pp. 174

A schedule/layout computation model (Abstract)

T.K. Shih , Dept. of Comput. Sci. & Inf. Eng., Tamkang Univ., Tamsui, Taiwan
A.Y. Chang , Dept. of Comput. Sci. & Inf. Eng., Tamkang Univ., Tamsui, Taiwan
pp. 178

A logical approach for specification and execution of concurrent real-time systems (Abstract)

R. Ramirez , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 182

A set of new and efficient formulae for buffer size analysis of real-time systems using M/G/1 models (Abstract)

T.M. Chen , Dept. of Electron. & Comput. Sci., Southampton Univ., UK
B.R. Wilkins , Dept. of Electron. & Comput. Sci., Southampton Univ., UK
pp. 186
Session 8: Scheduling B

Analysis of checkpointing for schedulability of real-time systems (Abstract)

S. Punnekkat , Dept. of Comput. Sci., York Univ., UK
A. Burns , Dept. of Comput. Sci., York Univ., UK
pp. 198

Real-time scheduling in a programmable radar signal processor (Abstract)

Cheng Chang , Chung Shan Inst. of Sci. & Technol., Lung-Tan, Taiwan
Chien-Chung Chen , Chung Shan Inst. of Sci. & Technol., Lung-Tan, Taiwan
Yao-Liang Chen , Chung Shan Inst. of Sci. & Technol., Lung-Tan, Taiwan
Fu-Shin Huang , Chung Shan Inst. of Sci. & Technol., Lung-Tan, Taiwan
pp. 206
Session 9: Real-Time Communications B

QoS allocation of multicast connections in ATM (Abstract)

June-Wei Chen , Adv. Syst. Integration Lab., Nat. Chung Cheng Univ., Chiayi, Taiwan
Ren-Hung Hwang , Adv. Syst. Integration Lab., Nat. Chung Cheng Univ., Chiayi, Taiwan
Sing-Ling Lee , Adv. Syst. Integration Lab., Nat. Chung Cheng Univ., Chiayi, Taiwan
pp. 215

Design of a DAVIC residential network based on Ethernet (Abstract)

Junghoon Lee , Dept. of Comput. Sci. & Stat., Cheju Nat. Univ., South Korea
Seungjun Park , Dept. of Comput. Sci. & Stat., Cheju Nat. Univ., South Korea
pp. 223

A video smoothing algorithm for transmitting MPEG video over limited bandwidth (Abstract)

J.K.-Y. Ng , Dept. of Comput. Studies, Hong Kong Baptist Univ., Kowloon, Hong Kong
Shibin Song , Dept. of Comput. Studies, Hong Kong Baptist Univ., Kowloon, Hong Kong
pp. 229

Fast broadcasting for hot video access (Abstract)

Li-Shen Juhn , Dept. of Comput. Sci. & Inf. Eng., Nat. Central Univ., Chung-Li, Taiwan
Li-Ming Tseng , Dept. of Comput. Sci. & Inf. Eng., Nat. Central Univ., Chung-Li, Taiwan
pp. 237

Service disciplines for guaranteed performance service (Abstract)

Mei-Hwey Hou , Dept. of Comput. Sci. & Eng., Tatung Inst. of Technol., Taipei, Taiwan
Chienhua Chen , Dept. of Comput. Sci. & Eng., Tatung Inst. of Technol., Taipei, Taiwan
pp. 244
Session 10: Systems

CODA-R: a reconfigurable testbed for real-time parallel computation (Abstract)

Y. Yamaguchi , Electrotech. Lab., Ibaraki, Japan
K. Toda , Electrotech. Lab., Ibaraki, Japan
K. Nishida , Electrotech. Lab., Ibaraki, Japan
E. Takahashi , Electrotech. Lab., Ibaraki, Japan
pp. 252

PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems (Abstract)

Tei-Wei Kuo , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
Shao-Juen Ho , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
Chih-Hung Wei , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
Farn Wang , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
pp. 260

A toolkit for building continuous media applications (Abstract)

T. Nakajima , Adv. Inst. of Sci. & Technol., Ishikawa, Japan
pp. 268

Improving processor utilization with a task classification model based application specific hard real-time architecture (Abstract)

G. Farber , Lab. for Process Control & Real-Time Syst., Tech. Univ. Munchen, Germany
F. Fischer , Lab. for Process Control & Real-Time Syst., Tech. Univ. Munchen, Germany
T. Kolloch , Lab. for Process Control & Real-Time Syst., Tech. Univ. Munchen, Germany
A. Muth , Lab. for Process Control & Real-Time Syst., Tech. Univ. Munchen, Germany
pp. 276

Index of Authors (PDF)

pp. 285
78 ms
(Ver 3.3 (11022016))