25th IEEE International Real-Time Systems Symposium. proceedings : 5-8 December, 2004, Lisbon, Portugal / [sponsored by IEEE Computer Society Technical Committee on Real-Time Systems].

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

IEEE Computer Society. Technical Committee on Real-Time Systems.

Conference Name:

IEEE International Real-Time Systems Symposium (25th : 2004 : Lisbon, Portugal)

Language:

English

Subjects (All):

Real-time data processing--Congresses.

Real-time data processing.

Genre:

Conference papers and proceedings.

Physical Description:

xiv, 480 pages : illustrations

Other Title:

RTSS 2004

IEEE International Real-Time Systems Symposium

Real-Time Systems Symposium

Real-Time Systems Symposium, 2004, proceedings, 25th IEEE International.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, 2004.

System Details:

Mode of access: World Wide Web.

text file

Contents:

Let's Get the Real into Real-Time Computing / J. Stankovic 3

The Road Ahead: It Doesn't Get Any Easier / A. van Tilborg 4

Modeling Real-Time Systems / J. Sifakis 5

Fixed or Dynamic Priority? That is the Question / Moderator: Daniel Mosse, Panel: Ted Baker, Sanjoy Baruah, Giorgio Buttazzo, Alan Burns, Lui Sha, Jack Stankovic 9

Session 1 Award Papers

Integrated Resource Management and Scheduling with Multi-Resource Constraints / S. Ghosh, J. Hansen, R. Rajkumar, J. Lehoczky 12

Finite-Horizon Scheduling of Radar Dwells with Online Template Construction / S. Gopalakrishnan, M. Caccamo, C.-S. Shih, C.-G. Lee, L. Sha 23

Session 2 Scheduling

Feasibility Analysis of Preemptive Real-Time Systems upon Heterogeneous Multiprocessor Platforms / S. Baruah 37

Negative Results for Scheduling Independent Hard Real-Time Tasks with Self-Suspensions / F. Ridouard, P. Richard, F. Cottet 47

Compositional Real-Time Scheduling Framework / I. Shin, I. Lee 57

Pre-Scheduling on the Domain of Integers / W. Wang, A. Mok, G. Fohler 68

Session 3 Compiler and Architectural Support

WCET Code Positioning / W. Zhao, D. Whalley, C. Healy, F. Mueller 81

Modeling Out-of-Order Processors for Software Timing Analysis / X. Li, A. Roychoudhury, T. Mitra 92

Design Style Case Study for Embedded Multi Media Compute Nodes / A. Lambrechts, T. Aa, M. Jayapala, A. Leroy, G. Talavera, A. Shickova, F. Barat, B. Mei, F. Catthoor, D. Verkest, G. Deconinck, H. Corporaal, F. Robert, J. Bordoll 104

Enforcing Safety of Real-Time Schedules on Contemporary Processors Using a Virtual Simple Architecture (VISA) / A. Anantaraman, K. Seth, E. Rotenberg, F. Mueller 114

Session 4 QoS Issues and Multimedia Computing

Competitive Algorithms for Fine-Grain Real-Time Scheduling / M. Palis 129

Integrating Best-Effort Scheduling into a Real-Time System / S. Banachowski, T. Bisson, S. Brandt 139

A Virtual Deadline Scheduler for Window-Constrained Service Guarantees / Y. Zhang, R. West, X. Qi 151

Optimal State Feedback Based Resource Allocation for Resource-Constrained Control Tasks / P. Marti, C. Lin, S. Brandt, M. Velasco, J. Fuertes 161

Session 5 Formal Methods and Software Engineering

A CLP Proof Method for Timed Automata / J. Jaffar, A. Santosa, R. Voicu 175

A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets / D. Lime, O. Roux 187

Pessimism in the Stochastic Analysis of Real-Time Systems: Concept and Applications / J. Diaz, J. Lopez, M. Garcia, A. Campos, K. Kim, L. Bello 197

Scheduling Acyclic Branching Programs on Parallel Machines / M. Bozga, A. Kerbaa, O. Maler 208

Session 6 Middleware and Programming Languages

A Model-Based Approach to Designing QoS Adaptive Applications / J. Ye, J. Loyall, R. Shapiro, R. Schantz, S. Neema, S. Abdelwahed, N. Mahadevan, M. Koets, D. Varner 221

Automatic Verification of Component-Based Real-Time CORBA Applications / G. Madl, S. Abdelwahed, G. Karsai 231

Scoped Types for Real-Time Java / T. Zhao, J. Noble, J. Vitek 241

The Design and Performance of Configurable Component Middleware for Distributed Real-Time and Embedded Systems / V. Subramonian, C. Gill, L.-J. Shen, N. Wang 252

Session 7 Real-Time Data Collection and Management

Robust Quality Management for Differentiated Imprecise Data Services / M. Amirijoo, J. Hansson, S. Son, S. Gunnarsson 265

Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects / K.-Y. Lam, M. Xiong, B. Liang, Y. Guo 276

Construction of a Coherency Preserving Dynamic Data Dissemination Network / S. Agrawal, K. Ramamritham, S. Shah 286

Mobile Element Scheduling for Efficient Data Collection in Wireless Sensor Networks with Dynamic Deadlines / A. Somasundara, A. Ramamoorthy, M. Srivastava 296

Session 8 Energy Management and Resource Reclamation

Fixed Priority Scheduling for Reducing Overall Energy on Variable Voltage Processors / G. Quan, L. Niu, X. Hu, B. Mochocki 309

On-Line Dynamic Voltage Scaling for Hard Real-Time Systems Using the EDF Algorithm / C.-H. Lee, K. Shin 319

Rewriting History to Exploit Gain Time / G. Bernat, I. Broster, A. Burns 328

Processor Frequency Selection for SoC Platforms for Multimedia Applications / Y. Liu, A. Maxiaguine, S. Chakraborty, W. Ooi 336

Session 9 Sensor Networks 349

A Scalable Logical Coordinates Framework for Routing in Wireless Sensor Networks / Q. Cao, T. Abdelzaher 349

On Real-time Capacity Limits of Multihop Wireless Sensor Networks / T. Abdelzaher, S. Prabh, R. Kiran 359

Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors / Q. Wang, R. Zheng, A. Tirumala, X. Liu, L. Sha 371

Real-Time Resource Reservation Protocol for Wireless Mobile Ad Hoc Networks / T. Facchinetti, L. Almeida, G. Buttazzo, C. Marchini 382

Session 10 Real-Time Communication and Fault Tolerance

QoS Support for USB 2.0 Periodic and Sporadic Device Requests / C.-Y. Huang, T.-W. Kuo, A.-C. Pang 395

Hard Real-Time Communication in Bus-Based Networks / S. Gopalakrishnan, L. Sha, M. Caccamo 405

Integration of Internal and External Clock Synchronization by the Combination of Clock-State and Clock-Rate Correction in Fault-Tolerant Distributed Systems / H. Kopetz, A. Ademaj, A. Hanzlik 415

On Fault-Sensitive Feasibility Analysis of Real-Time Task Sets / H. Aydin 426

Session 11 Co-Design Techniques

A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems / T. Kitani, Y. Takamoto, K. Yasumoto, A. Nakata, T. Higashino 437

Automatic Generation of Protocol Converters from Scenario-Based Specifications / A. Roychoudhury, P. Thiagarajan, T.-A. Tran, V. Zvereva 447

Model-Driven SoC Design via Executable UML to SystemC / K. Nguyen, Z. Sun, P. Thiagarajan, W.-F. Wong 459

Design Space Exploration and System Optimization with SymTA/S - Symbolic Timing Analysis for Systems / A. Hamann, M. Jersak, K. Richter, R. Ernst 469.

Notes:

"IEEE Computer Society Order Number P2247"--T.p. verso.

Includes bibliographical references and author index.

ISBN:

0769522475

9780769522470

OCLC:

57122580

Access Restriction:

Restricted for use by site license.