The Community for Technology Leaders
2013 IEEE 34th Real-Time Systems Symposium (1997)
San Francisco, CA
Dec. 3, 1997 to Dec. 5, 1997
ISSN: 1052-8725
ISBN: 0-8186-8268-X
TABLE OF CONTENTS
Session 1: Model Checking

Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL (Abstract)

K. Lund , BRICS, Aalborg Univ., Denmark
A. Skou , BRICS, Aalborg Univ., Denmark
K. Havelund , BRICS, Aalborg Univ., Denmark
K.G. Larsen , BRICS, Aalborg Univ., Denmark
pp. 2

Efficient verification of real-time systems: compact data structure and state-space reduction (Abstract)

W. Yi , Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark
P. Pettersson , Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark
F. Larsson , Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark
K.G. Larsen , Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark
pp. 14

On-the-fly symbolic model checking for real-time systems (Abstract)

S. Tripakis , VERIMAG, Gieres, France
A. Bouajjani , VERIMAG, Gieres, France
S. Yovine , VERIMAG, Gieres, France
pp. 25
Session 2: Scheduling Theory

A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithms (Abstract)

C.-C. Han , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
H.-Y. Tyan , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
pp. 36

Combining (/sub m//sup n/)-hard deadlines and dual priority scheduling (Abstract)

G. Bernat , Univ. de les Illes Balears, Palma de Mallorca, Spain
A. Burns , Univ. de les Illes Balears, Palma de Mallorca, Spain
pp. 46

Real-time queueing network theory (Abstract)

J.P. Lehoczky , Dept. of Stat., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 58

Jitter concerns in periodic task systems (Abstract)

D. Chen , Vermont Univ., Burlington, VT, USA
A.K. Mok , Vermont Univ., Burlington, VT, USA
S.K. Baruah , Vermont Univ., Burlington, VT, USA
pp. 68
Session 3: Fault Tolerance

Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling (Abstract)

J.A. Stankovic , Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
K. Ramamritham , Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
O. Gonzalez , Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
H. Shrikumar , Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 79

A low-cost processor group membership protocol for a hard real-time distributed system (Abstract)

K. Marzullo , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
M. Clegg , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 90

Efficient spare-resource allocation for fast restoration of real-time channels from network component failures (Abstract)

K.G. Shin , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
S. Han , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 99
Session 5: Synchronization and Data Sharing

Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors (Abstract)

S. Ramamurthy , 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
R. Jain , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 111

More optimism about real-time distributed commit processing (Abstract)

R. Gupta , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
K. Ramamritham , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
J. Haritsa , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
pp. 123

A novel approach to multiprogrammed multiprocessor synchronization for real-time kernel (Abstract)

H. Takada , Dept. of Inf. Sci., Tokyo Univ., Japan
K. Sakamura , Dept. of Inf. Sci., Tokyo Univ., Japan
pp. 134
Session 6: Runtime System Implementation

Real-time filesystems. Guaranteeing timing constraints for disk accesses in RT-Mach (Abstract)

A. Molano , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
K. Juvva , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
R. Rajkumar , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 155

Implementation and evaluation of real-time Java threads (Abstract)

A. Miyoshi , Res. Inst. at SFC, Keio Univ., Kanagawa, Japan
T. Kitayama , Res. Inst. at SFC, Keio Univ., Kanagawa, Japan
H. Tokuda , Res. Inst. at SFC, Keio Univ., Kanagawa, Japan
pp. 166

Early detection of timing constraint violation at runtime (Abstract)

G. Liu , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
A.K. Mok , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 176
Session 7: Cache-Related and Hardware Scheduler

Enhanced analysis of cache-related preemption delay in fixed-priority preemptive scheduling (Abstract)

Sang Lyul Min , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chong Sang Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Seongsoo Hong , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Rhan Ha , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chang-Gun Lee , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Yang-Min Seo , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Joosun Hahn , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Chang Yun Park , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Minsuk Lee , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 187

A cache-aware scheduling algorithm for embedded systems (Abstract)

G. Luculli , Pisa Univ., Italy
M. Di Natale , Pisa Univ., Italy
pp. 199

Scalable hardware earliest-deadline-first scheduler for ATM switching networks (Abstract)

K.G. Shin , Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Byung Kook Kim , Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 210
Session 8: Specification and Design of Real-Time Systems

Formal development of a real-time kernel (Abstract)

A. Wellings , Dept. of Comput. Sci., York Univ., UK
S. Fowler , Dept. of Comput. Sci., York Univ., UK
pp. 220

A constraint-based approach for specification and verification of real-time systems (Abstract)

G. Gupta , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
E. Pontelli , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
pp. 230

Guidelines for automated implementation of executable object oriented models for real-time embedded control systems (Abstract)

P. Rodziewicz , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
M. Saksena , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
P. Freedman , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 240
Session 9: Real-Time Networks

Optimal smoothness results and approximation techniques for real-time VBR video traffic smoothing (Abstract)

J. Hui , NEC Res. Inst., Princeton, NJ, US
J. Zhang , NEC Res. Inst., Princeton, NJ, US
pp. 253

Static priority scheduling for ATM networks (Abstract)

C. Li , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
W. Zhao , 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. 264

Response-time guarantees in ATM networks (Abstract)

M. Sjodin , Dept. of Comput. Syst., Uppsala Univ., Sweden
H. Hansson , Dept. of Comput. Syst., Uppsala Univ., Sweden
A. Ermedahl , Dept. of Comput. Syst., Uppsala Univ., Sweden
pp. 274

Integrated delay analysis of regulated ATM switch (Abstract)

Shibin Song , Dept. of Comput. Studies, Hong Kong Baptist Univ., Kowloon, Hong Kong
Wei Zhao , Dept. of Comput. Studies, Hong Kong Baptist Univ., Kowloon, Hong Kong
Joseph Kee-Yin Ng , Dept. of Comput. Studies, Hong Kong Baptist Univ., Kowloon, Hong Kong
pp. 285
Session 10: QoS and Open Systems

A resource allocation model for QoS management (Abstract)

D. Siewiorek , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
R. Rajkumar , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
J. Lehoczky , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
C. Lee , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 298

Scheduling real-time applications in an open environment (Abstract)

Z. Deng , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
J.W.-S. Liu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 308

On adaptive resource allocation for complex real-time applications (Abstract)

K. Schwan , Georgia Inst. of Technol., Atlanta, GA, USA
S. Yalamanchili , Georgia Inst. of Technol., Atlanta, GA, USA
D. Rosu , Georgia Inst. of Technol., Atlanta, GA, USA
R. Jha , Georgia Inst. of Technol., Atlanta, GA, USA
pp. 320

Exploiting skips in periodic tasks for enhancing aperiodic responsiveness (Abstract)

M. Caccamo , Scuola Normale Superiore, Pisa, Italy
G. Buttazzo , Scuola Normale Superiore, Pisa, Italy
pp. 330
Session 11: Industrial Panel: Real Issues and Real Solutions

Index of Authors (PDF)

pp. 341
120 ms
(Ver )