CSDL - Proceedings R

Message from the Program Chair (PDF)

pp. x

Conference Organization (PDF)

pp. xi

Session 1: Model Checking

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

K. Havelund, BRICS, Aalborg Univ., Denmark

A. Skou, BRICS, Aalborg Univ., Denmark

K.G. Larsen, BRICS, Aalborg Univ., Denmark

K. Lund, BRICS, Aalborg Univ., Denmark

pp. 2

PDF

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

K.G. Larsen, Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark

F. Larsson, Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark

P. Pettersson, Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark

W. Yi, Dept. of Math. & Comput. Sci., Aalborg Univ., Denmark

pp. 14

PDF

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

A. Bouajjani, VERIMAG, Gieres, France

S. Tripakis, VERIMAG, Gieres, France

S. Yovine, VERIMAG, Gieres, France

pp. 25

PDF

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

PDF

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

PDF

Real-time queueing network theory (Abstract)

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

pp. 58

PDF

Jitter concerns in periodic task systems (Abstract)

S.K. Baruah, Vermont Univ., Burlington, VT, USA

D. Chen, Vermont Univ., Burlington, VT, USA

A.K. Mok, Vermont Univ., Burlington, VT, USA

pp. 68

PDF

Session 3: Fault Tolerance

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

O. Gonzalez, Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA

H. Shrikumar, Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA

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

pp. 79

PDF

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

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

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

pp. 90

PDF

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

S. Han, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA

K.G. Shin, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA

pp. 99

PDF

Session 5: Synchronization and Data Sharing

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

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

S. Ramamurthy, Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA

pp. 111

PDF

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

R. Gupta, Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India

J. Haritsa, Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India

K. Ramamritham, Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India

pp. 123

PDF

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

PDF

Shao-Juen Ho

Tei-Wei Kuo

A.K Mok

pp. 144

PDF

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

PDF

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

PDF

Early detection of timing constraint violation at runtime (Abstract)

A.K. Mok, Dept. of Comput. Sci., Texas Univ., Austin, TX, USA

G. Liu, Dept. of Comput. Sci., Texas Univ., Austin, TX, USA

pp. 176

PDF

Session 7: Cache-Related and Hardware Scheduler

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

Chang-Gun Lee, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea

Joosun Hahn, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea

Yang-Min Seo, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea

Sang Lyul Min, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea

Rhan Ha, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea

Seongsoo Hong, 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

Chong Sang Kim, Dept. of Comput. Eng., Seoul Nat. Univ., South Korea

pp. 187

PDF

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

G. Luculli, Pisa Univ., Italy

M. Di Natale, Pisa Univ., Italy

pp. 199

PDF

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

Byung Kook Kim, Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea

K.G. Shin, Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea

pp. 210

PDF

Session 8: Specification and Design of Real-Time Systems

Formal development of a real-time kernel (Abstract)

S. Fowler, Dept. of Comput. Sci., York Univ., UK

A. Wellings, Dept. of Comput. Sci., York Univ., UK

pp. 220

PDF

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

PDF

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

M. Saksena, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

P. Freedman, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

P. Rodziewicz, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

pp. 240

PDF

Session 9: Real-Time Networks

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

J. Zhang, NEC Res. Inst., Princeton, NJ, US

J. Hui, NEC Res. Inst., Princeton, NJ, US

pp. 253

PDF

Static priority scheduling for ATM networks (Abstract)

C. Li, 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

W. Zhao, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA

pp. 264

PDF

Response-time guarantees in ATM networks (Abstract)

A. Ermedahl, Dept. of Comput. Syst., Uppsala Univ., Sweden

H. Hansson, Dept. of Comput. Syst., Uppsala Univ., Sweden

M. Sjodin, Dept. of Comput. Syst., Uppsala Univ., Sweden

pp. 274

PDF

Integrated delay analysis of regulated ATM switch (Abstract)

Joseph Kee-Yin 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

Wei Zhao, Dept. of Comput. Studies, Hong Kong Baptist Univ., Kowloon, Hong Kong

pp. 285

PDF

Session 10: QoS and Open Systems

A resource allocation model for QoS management (Abstract)

R. Rajkumar, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA

C. Lee, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA

J. Lehoczky, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA

D. Siewiorek, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA

pp. 298

PDF

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

PDF

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

D. Rosu, Georgia Inst. of Technol., Atlanta, GA, USA

K. Schwan, Georgia Inst. of Technol., Atlanta, GA, USA

S. Yalamanchili, Georgia Inst. of Technol., Atlanta, GA, USA

R. Jha, Georgia Inst. of Technol., Atlanta, GA, USA

pp. 320

PDF

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

PDF

Session 11: Industrial Panel: Real Issues and Real Solutions

Index of Authors (PDF)

pp. 341