The Community for Technology Leaders
2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (2000)
Cheju Island, South Korea
Dec. 12, 2000 to Dec. 14, 2000
ISSN: 1533-2306
ISBN: 0-7695-0930-4
TABLE OF CONTENTS

Foreword (PDF)

pp. xi

Reviewers (PDF)

pp. xiv
Invited Address I
Session 1a: Formal Methods I

Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations (Abstract)

Seongsoo Hong , Sch. of Electr. Eng. & Comput. Sci., Seoul Nat. Univ., South Korea
Sukjae Cho , Sch. of Electr. Eng. & Comput. Sci., Seoul Nat. Univ., South Korea
Saehwa Kim , Sch. of Electr. Eng. & Comput. Sci., Seoul Nat. Univ., South Korea
pp. 7

Using measurements to derive the worst-case execution time (Abstract)

H. Hansson , Real-Time Res. Centre, Malardalen Univ., Sweden
H. Thane , Real-Time Res. Centre, Malardalen Univ., Sweden
M. Lindgren , Real-Time Res. Centre, Malardalen Univ., Sweden
pp. 15

Extracting safe and precise control flow from binaries (Abstract)

H. Theiling , Saarlandes Univ., Saarbrucken, Germany
pp. 23

A framework to model dependable real-time systems based on real-time object model (Abstract)

Seung-Min Yang , Dept. of Comput., Soongsil Univ., South Korea
Hyung-Taek Lim , Dept. of Comput., Soongsil Univ., South Korea
pp. 31

Low-level analysis of a portable Java byte code WCET analysis framework (Abstract)

I. Bate , Dept. of Comput. Sci., York Univ., UK
G. Murphy , Dept. of Comput. Sci., York Univ., UK
P. Puschner , Dept. of Comput. Sci., York Univ., UK
G. Bernat , Dept. of Comput. Sci., York Univ., UK
pp. 39
Session 1b: Real-Time Systems I

Dynamic memory management for real-time embedded Java chips (Abstract)

Chi-Min Lin , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
Tien-Fu Chen , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
pp. 49

Efficient pure-buffer algorithms for real-time systems (Abstract)

J.H. Anderson , North Carolina Univ., Chapel Hill, NC, USA
P. Holman , North Carolina Univ., Chapel Hill, NC, USA
pp. 57

Support for dynamic QoS in the HARTIK kernel (Abstract)

G. Buttazzo , RETIS Lab., Pisa, Italy
L. Abeni , RETIS Lab., Pisa, Italy
pp. 65

SPIRIT-/spl mu/Kernel for strongly partitioned real-time systems (Abstract)

Daeyoung Kim , CISE Dept., Florida Univ., Gainesville, FL, USA
Yann-Hang Lee , CISE Dept., Florida Univ., Gainesville, FL, USA
M. Younis , CISE Dept., Florida Univ., Gainesville, FL, USA
pp. 73

A comparative study of the realization of rate-based computing services in general purpose operating systems (Abstract)

G. Lamastra , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
K. Jeffay , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 81
Session 2a: Databases I

Chopping and versioning real-time transactions to avoid remote blocking (Abstract)

M. Young , Dept. of Inf. Manage., Chang Jung Univ., Taiwan
LihChyun Shu , Dept. of Inf. Manage., Chang Jung Univ., Taiwan
pp. 93

Finding the critical path in a time-constrained workflow (Abstract)

Jin Hyun Son , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Myoung Ho Kim , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 102

Extensions to optimistic concurrency control with time intervals (Abstract)

J. Lindstrom , Dept. of Comput. Sci., Helsinki Univ., Finland
pp. 108
Session 2b: Communications I

Efficient resource management for hard real-time communication over differentiated services architectures (Abstract)

R. Bettati , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
B. Choi , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 119

Minimizing the maximum end-to-end delay on tree structure using the distributed pinwheel model (Abstract)

Yu-Sheng Huang , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
Chih-Wen Hsueh , Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, Taiwan
pp. 127

Deadline dependent coding-a framework for wireless real-time communication (Abstract)

T.M. Aulin , Comput. & Commun. Lab., Halmstad Univ., Sweden
P.-A. Wiberg , Comput. & Commun. Lab., Halmstad Univ., Sweden
L.R. Rasmussen , Comput. & Commun. Lab., Halmstad Univ., Sweden
E. Uhlemann , Comput. & Commun. Lab., Halmstad Univ., Sweden
pp. 135
Short Session 3a: Scheduling I

On accepting aperiodic transactions in distributed systems (Abstract)

J. Vila , Dept. de Inf. de Sistemas y Comput., Univ. Politecnica de Valencia, Spain
A. Crespo , Dept. de Inf. de Sistemas y Comput., Univ. Politecnica de Valencia, Spain
S. Saez , Dept. de Inf. de Sistemas y Comput., Univ. Politecnica de Valencia, Spain
pp. 145

Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules (Abstract)

G. Fohler , Dept. of Comput. Eng., Malardalen Univ., Sweden
Y. Ozdemir , Dept. of Comput. Eng., Malardalen Univ., Sweden
R. Dobrin , Dept. of Comput. Eng., Malardalen Univ., Sweden
pp. 150

Real-time scheduling on multithreaded processors (Abstract)

A. Schulz , Inst. for Comput. Design, Karlsruhe Univ., Germany
M. Pfeffer , Inst. for Comput. Design, Karlsruhe Univ., Germany
C. Krakowski , Inst. for Comput. Design, Karlsruhe Univ., Germany
J. Kreuzinger , Inst. for Comput. Design, Karlsruhe Univ., Germany
U. Brinkschulte , Inst. for Comput. Design, Karlsruhe Univ., Germany
T. Ungerer , Inst. for Comput. Design, Karlsruhe Univ., Germany
pp. 155

A multi-server design for a distributed MPEG video system with streaming support and QoS control (Abstract)

Wai Wong , Dept. of Comput. Sci., Hong Kong Baptist Univ., China
C. Kin-Cheung Hui , Dept. of Comput. Sci., Hong Kong Baptist Univ., China
J. Kee-Yin Ng , Dept. of Comput. Sci., Hong Kong Baptist Univ., China
pp. 160

Testing timed systems with timed purposes (Abstract)

E. Petitjean , LERI-RESYCOM, Reims Univ., France
S. Salva , LERI-RESYCOM, Reims Univ., France
H. Fouchal , LERI-RESYCOM, Reims Univ., France
pp. 166

Real-time multiple video player systems (Abstract)

Kam-Yiu Lam , Dept. of Comput. Sci., City Univ. of Hong Kong, China
C.C.H. Ngan , Dept. of Comput. Sci., City Univ. of Hong Kong, China
pp. 172

Implementing real-time scheduling daemon in general purpose operating system Unix (Abstract)

Sang-Wook Kim , Dept. of Comput. Sci., Kangwon Nat. Univ., Chunchon, South Korea
Wan Choi , Dept. of Comput. Sci., Kangwon Nat. Univ., Chunchon, South Korea
Jin-Ho Kim , Dept. of Comput. Sci., Kangwon Nat. Univ., Chunchon, South Korea
Dae-Yong Kim , Dept. of Comput. Sci., Kangwon Nat. Univ., Chunchon, South Korea
pp. 177

ProtEx: a toolkit for the analysis of distributed real-time systems (Abstract)

Y. Meylan , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
A. Bajpai , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
R. Bettati , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 183
Session 3b: Communications II

A new queue discipline for various delay and jitter requirements in real-time packet-switched networks (Abstract)

Naehyuck Chang , Sch. of Comput. Sci. & Eng., Seoul Nat. Univ., South Korea
Heonshik Shin , Sch. of Comput. Sci. & Eng., Seoul Nat. Univ., South Korea
Minseok Song , Sch. of Comput. Sci. & Eng., Seoul Nat. Univ., South Korea
pp. 191

Explicit binding interface for supporting native ATM networks in a CORBA system (Abstract)

T. Nakajima , Dept. of Inf. & Comput. Sci., Waseda Univ., Tokyo, Japan
pp. 199

Parametric verification of the IEEE 1394a Root Contention protocol using LPMC (Abstract)

G. Bandini , Fac. of Inf. Technol. & Syst., Delft Univ. of Technol., Netherlands
R.L. Spelberg , Fac. of Inf. Technol. & Syst., Delft Univ. of Technol., Netherlands
H. Toetenel , Fac. of Inf. Technol. & Syst., Delft Univ. of Technol., Netherlands
pp. 207

Integrating the fixed priority scheduling and the total bandwidth server for aperiodic tasks (Abstract)

Kwei-Jay Lin , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
Yu Chung Wang , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
Song Wang , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 215

Effect of scheduling jitter on end-to-end delay in TDMA protocols (Abstract)

Libin Dong , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
D. Mosse , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
Rami Melhem , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 223

Admission control and resource allocation in a strictly priority based network (Abstract)

A. Pavan , Honeywell Technol. Center, Minneapolis, MN, USA
N. Birch , Honeywell Technol. Center, Minneapolis, MN, USA
R. Harinath , Honeywell Technol. Center, Minneapolis, MN, USA
S. Song , Honeywell Technol. Center, Minneapolis, MN, USA
V. Gopal , Honeywell Technol. Center, Minneapolis, MN, USA
D. Castanon , Honeywell Technol. Center, Minneapolis, MN, USA
pp. 231
Invited Address II
Session 4a: Formal Methods II

Towards a mechanical verification of real-time reactive systems modeled in UML (Abstract)

V.S. Alagar , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
D. Muthiayen , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 245

Including user-defined timing exception support in FRTL (Abstract)

V. Botti , Dept. de Sistemas Inf. y Comput., Univ. Politecnica de Valencia, Spain
A. Garcia-Fornes , Dept. de Sistemas Inf. y Comput., Univ. Politecnica de Valencia, Spain
A. Terrasa , Dept. de Sistemas Inf. y Comput., Univ. Politecnica de Valencia, Spain
pp. 255

Verifying temporal constraints on data in multi-rate transactions using timed automata (Abstract)

K. Sandstrom , Malardalen Univ., Vasteras, Sweden
C. Norstrom , Malardalen Univ., Vasteras, Sweden
J. Maki-Turja , Malardalen Univ., Vasteras, Sweden
A. Wall , Malardalen Univ., Vasteras, Sweden
Wang Yi , Malardalen Univ., Vasteras, Sweden
pp. 263

An example of performance evaluation by using the stochastic process algebra: ROSA (Abstract)

F. Cuartero , Escuela Politecnica Superior, Univ. of Castilla-La Mancha, Albacete, Spain
D. Cazorla , Escuela Politecnica Superior, Univ. of Castilla-La Mancha, Albacete, Spain
F.L. Pelayo , Escuela Politecnica Superior, Univ. of Castilla-La Mancha, Albacete, Spain
V. Valero , Escuela Politecnica Superior, Univ. of Castilla-La Mancha, Albacete, Spain
pp. 271

Deriving reliability estimates of distributed real-time systems by simulation (Abstract)

M. Lindgren , Real-Time Res. Centre, Malardalen Univ., Sweden
C. Norstrom , Real-Time Res. Centre, Malardalen Univ., Sweden
S. Punnekkat , Real-Time Res. Centre, Malardalen Univ., Sweden
H. Hansson , Real-Time Res. Centre, Malardalen Univ., Sweden
pp. 279
Session 4b: Scheduling II

Optimal scheduling of imprecise computation tasks in the presence of multiple faults (Abstract)

R. Melhem , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
H. Aydin , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
D. Mosse , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 289

Pfair scheduling: beyond periodic task systems (Abstract)

A. Srinivasan , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
J.H. Anderson , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 297

Imprecise task scheduling and overload management using OR-ULD (Abstract)

J. Hansson , Dept. of Comput. Sci., Linkoping Univ., Sweden
M. Thuresson , Dept. of Comput. Sci., Linkoping Univ., Sweden
S.H. Son , Dept. of Comput. Sci., Linkoping Univ., Sweden
pp. 307

Multiprocessor algorithms for uniprocessor feasibility analysis (Abstract)

J. Goossens , Univ. Libre de Bruxelles, Belgium
S. Baruah , Univ. Libre de Bruxelles, Belgium
pp. 315

Scheduling optional computations in fault-tolerant real-time systems (Abstract)

R. Melhem , CINVESTAV-IPN, Mexico City, Mexico
P. Mejia-Alvarez , CINVESTAV-IPN, Mexico City, Mexico
D. Mosse , CINVESTAV-IPN, Mexico City, Mexico
H. Aydin , CINVESTAV-IPN, Mexico City, Mexico
pp. 323
Invited Address III
Session 6a: Scheduling III

Fixed-priority preemptive multiprocessor scheduling: to partition or not to partition (Abstract)

J. Jonsson , Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
B. Andersson , Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
pp. 337

Real-time task scheduling algorithms for maximum utilization of secondary batteries in portable devices (Abstract)

N. Tokura , Dev. Labs., NEC Networks, Japan
Y. Nakamoto , Dev. Labs., NEC Networks, Japan
Y. Tsujino , Dev. Labs., NEC Networks, Japan
pp. 347

An improved feasible shortest path real-time fault-tolerant scheduling algorithm (Abstract)

Hyungil Kim , Sch. of Electron. & Inf., Hyung Hee Univ., Youngin City, South Korea
Byeong-Soo Jeong , Sch. of Electron. & Inf., Hyung Hee Univ., Youngin City, South Korea
Sungyoug Lee , Sch. of Electron. & Inf., Hyung Hee Univ., Youngin City, South Korea
pp. 363

DC/sup 2/ scheduling for aperiodic tasks in strongly partitioned real-time systems (Abstract)

Yann-Hang Lee , CISE Dept., Florida Univ., Gainesville, FL, USA
Daeyoung Kim , CISE Dept., Florida Univ., Gainesville, FL, USA
pp. 368
Short Session 6b: Communications III

On the verification of Wireless Transaction Protocol using SGM and RED (Abstract)

Pao-Ann Hsiung , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
Ruey-Cheng Chen , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
Farn Wang , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
pp. 379

Probabilistic approach to switched Ethernet for real-time control applications (Abstract)

Baek-Young Choi , Dept. of Comput. Sci. & Eng., Minnesota Univ., Duluth, MN, USA
N. Birch , Dept. of Comput. Sci. & Eng., Minnesota Univ., Duluth, MN, USA
Sejun Song , Dept. of Comput. Sci. & Eng., Minnesota Univ., Duluth, MN, USA
Jim Huang , Dept. of Comput. Sci. & Eng., Minnesota Univ., Duluth, MN, USA
pp. 384

IEEE1394 OHCI device driver architecture for guarantee real-time requirement (Abstract)

Dong-Hwan Park , Sch. of Electron. & Electr. Eng., Kyungpook Nat. Univ., Taegu, South Korea
Soon-Ju Kang , Sch. of Electron. & Electr. Eng., Kyungpook Nat. Univ., Taegu, South Korea
pp. 389

Debugging protocol for remote cross development environment (Abstract)

Seungwoo Son , ETRI-Comput. & Software Technol. Lab., Taejon, South Korea
Neung-Nam Kim , ETRI-Comput. & Software Technol. Lab., Taejon, South Korea
Chaedeok Lim , ETRI-Comput. & Software Technol. Lab., Taejon, South Korea
pp. 394

Frame packing in real-time communication (Abstract)

C. Norstom , Dept. of Comput. Eng., Malardalen Real-time Res. Centre, Vasteras, Sweden
M. Ahlmark , Dept. of Comput. Eng., Malardalen Real-time Res. Centre, Vasteras, Sweden
K. Sandstrom , Dept. of Comput. Eng., Malardalen Real-time Res. Centre, Vasteras, Sweden
pp. 399

Conformance testing of priority inheritance protocols (Abstract)

D. Zobel , Fachbereich Inf., Koblenz-Landau Univ., Germany
D. Polock , Fachbereich Inf., Koblenz-Landau Univ., Germany
pp. 404

Probabilistic analysis of causal message ordering (Abstract)

Li-Hsing Yen , Dept. of Comput. Sci. & Inf. Eng., Chung Hua Univ., Hsinchu, Taiwan
pp. 409
Session 7a: Real-Time Systems II

Testing embedded real-time systems (Abstract)

A. En-Nouaary , Dept. d'IRO, Montreal Univ., Que., Canada
F. Khendek , Dept. d'IRO, Montreal Univ., Que., Canada
R. Dssouli , Dept. d'IRO, Montreal Univ., Que., Canada
pp. 417

Dragon: soft real-time event delivering architecture for networked sensors and appliances (Abstract)

J. Nakazawa , Graduate Sch. of Media & Governance, Keio Univ., Kanagawa, Japan
M. Iwai , Graduate Sch. of Media & Governance, Keio Univ., Kanagawa, Japan
H. Tokuda , Graduate Sch. of Media & Governance, Keio Univ., Kanagawa, Japan
pp. 425

Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information (Abstract)

H. Sundell , Dept. of Comput. Sci., Chalmers Univ. of Technol., Goteborg, Sweden
P. Tsigas , Dept. of Comput. Sci., Chalmers Univ. of Technol., Goteborg, Sweden
pp. 433

A new method for testing real time systems (Abstract)

A. Khoumsi , Dept. GEGI, Sherbrooke Univ., Que., Canada
pp. 441
Short Session 7b: Databases II

Two-step backup mechanism for real-time main memory database recovery (Abstract)

Hye-Sook Yoon , Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Young-Kuk Kim , Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Soong-Il Jin , Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Eun-Mi Song , Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Mi-Kyong Han , Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Young-Keol Kim , Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Mi-Seon Choi , Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
Wan Choi , Dept. of Comput. Sci., Chung Nam Nat. Univ., Taejon, South Korea
pp. 453

A concurrency control protocol for read-only transactions in real-time secure database systems (Abstract)

Chanjung Park , Digitaldream Corp., Seoul, South Korea
Seog Park , Digitaldream Corp., Seoul, South Korea
Heejun Han , Digitaldream Corp., Seoul, South Korea
pp. 458

Using importance of transactions and optimistic concurrency control in firm real-time databases (Abstract)

J. Lindstrom , Dept. of Comput. Sci., Helsinki Univ., Finland
K. Raatikainen , Dept. of Comput. Sci., Helsinki Univ., Finland
pp. 463

PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems (Abstract)

A. Munnich , Inst. for Real-Time Comput. Syst., Tech. Univ. Munchen, Germany
pp. 468

Real-time transaction processing with partial validation at mobile clients (Abstract)

Kwok-Wa Lam , Dept. of Comput. Sci., City Univ. of Hong Kong, China
V.C.S. Lee , Dept. of Comput. Sci., City Univ. of Hong Kong, China
S.H. Son , Dept. of Comput. Sci., City Univ. of Hong Kong, China
pp. 473
Short Session 8: Formal Methods III

Another formal proof for Deadline Driven Scheduler (Abstract)

Zhan Naijun , Inst. of Software, Acad. Sinica, Beijing, China
pp. 481

Real-time systems development: from structured analysis to object-oriented design (Abstract)

Jyhjong Lin , Dept. of Inf. Manage., Chaoyang Univ. of Technol., Wufeng, Taiwan
pp. 486

An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems (Abstract)

V.S. Alagar , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
A. Sefidcon , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
D. Muthiayen , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
F. Khendek , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 491

Bounding the execution time of real-time tasks on modern processors (Abstract)

S.M. Petters , Inst. for Real-Time Comput. Syst., Tech. Univ. Munchen, Germany
pp. 498

Automatic code generation for real-time reactive systems in TROMLAB environment (Abstract)

V.S. Alagar , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
L. Zhang , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 503

Eliminating annotations by automatic flow analysis of real-time programs (Abstract)

J. Gustafsson , Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden
pp. 511

Checkpointing strategy for multiple real-time tasks (Abstract)

Seong Woo Kwak , Dept. of Electr. Eng. & Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Byung Kook Kim , Dept. of Electr. Eng. & Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Byung Jae Choi , Dept. of Electr. Eng. & Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 517

Control tasks delay reduction under static and dynamic scheduling policies (Abstract)

I. Ripoll , Dept. of Comput. Eng., Univ. Politecnica de Valencia, Spain
A. Crespo , Dept. of Comput. Eng., Univ. Politecnica de Valencia, Spain
P. Balbastre , Dept. of Comput. Eng., Univ. Politecnica de Valencia, Spain
pp. 522

Author Index (PDF)

pp. 527
100 ms
(Ver )