Object-oriented real-time dependable systems. proceedings : Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems : Anacapri (Capri Island), Italy, 1-3 October, 2003 / edited by L. Bacellar ... [and others] ; sponsored by the IEEE Computer Society Technical Committee on Distributed Processing (TCDP) ; in cooperation with IFIP WG 10.4 on Dependable Computing .. [and others].

Format:

Book

Conference/Event

Contributor:

Bacellar, L. (Luiz)

IEEE Xplore (Online service)

IEEE Computer Society. TC on Distributed Processing.

IFIP WG 10.4 on Dependable Computing.

Conference Name:

Workshop on Object-Oriented Real-Time Dependable Systems (9th : 2004 : Anacapri, Italy)

Language:

English

Subjects (All):

Object-oriented databases--Congresses.

Object-oriented databases.

Real-time data processing--Congresses.

Real-time data processing.

Electronic data processing--Distributed processing--Congresses.

Electronic data processing.

Electronic data processing--Distributed processing.

Computer networks--Congresses.

Computer networks.

Genre:

Conference papers and proceedings.

Physical Description:

xii, 360 pages : illustrations

Other Title:

IEEE International Workshop on Object-Oriented Real-Time Dependable Systems

WORDS 2003 Fall

International Workshop on Object-Oriented Real-Time Dependable Systems

Object-Oriented Real-Time Dependable Systems, 2003, proceedings, Ninth IEEE International Workshop on.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society Press, [2004]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Edsger Dijkstra / B. Randell 3

Dependable Infrastructures and Data Managers for Sensor Networks / B. Thuraisingham 11

Session 1 Infrastructures for Real-Time Systems and Control Systems

Application QoS Based Time-Critical Automated Resource Management in Battle Management Systems / E. Jensen 19

On the Limits of the Precise Specification of Component Interfaces / H. Kopetz, N. Suri 26

Modeling of Dynamically Modifiable Embedded Real-Time Systems / F. Rammig, C. Rust 28

Automated Control Systems for the Safety Integrity Levels 3 and 4 / W. Halang 35

Session 2 Real-Time Systems

Scalable Online Feasibility Tests for Admission Control in a Java Real-Time System / U. Brinkschulte 45

Input-Dependency Analysis for Hard Real-Time Software / J. Gustafsson, B. Lisper, R. Kirner, P. Puschner 53

Achieving Reliable and Timely Task Execution in Mobile Embedded Applications / S. Schemmer, E. Nett 61

Enhancing Dependability of the Battlefield Single Integrated Picture through Metrics for Modeling and Simulation of Time-Critical Scenarios / M. Ceruti, J. Kaina 69

Session 3 Multimedia and Basic Service

Towards the Delay and Synchronization Control for Networked Real-Time Multi-object Networking Multimedia Applications / H. Liu, M. El Zarki 79

Provision of Multimedia Services in a Mobile Ad Hoc Network / W. Sheikh, B. Shafiq, R. Paul, A. Ghafoor 87

Providing Digital Time Stamping Services to Mobile Devices / D. Cotroneo, C. di Flora, A. Mazzeo, L. Romano, S. Russo, G. Saggese 94

Global Time-Based Synchronization of Real-Time Multimedia Streaming / M. Kim, E. Jo, D.-H. Kim 101

Session 4 Security, Safety, and Other Works in Progress

Analysis of Safety Related Architectures / A. Coccoli, A. Bondavalli 111

An Architecture and a General Optimization Framework for Resource Management in Dynamic, Distributed Real-Time Systems / F. Drews, L. Welch 118

An Approach to Configuration Management and Co-simulation in Distributed Embedded Systems / R. Gumzej, W. Halang 125

A Fault-Tolerant Real-Time Multicast Protocol RFRM/X / Y. Hong, J. No 131

Tolerance to Access-Point Failures in Dependable Wireless Local-Area Networks / R. Gandhi 136

Redundant Optical Path Design Based on Multiagents and Its Experimental Evaluation / Y. Kakuda, K. Suezawa, S. Inoue, H. Nakazato 144

Session 5 Fault-Tolerance and Software Engineering

Decentralized Resource Management and Fault-Tolerance for Distributed CORBA Applications / C. Reverte, P. Narasimhan 155

Assessing the Dependability of SOAP RPC-Based Web Services by Fault Injection / N. Looker, J. Xu 163

Automated Verification of the Dependability of Object-Oriented Real-Time Systems / H. Ding, C. Zheng, G. Agha, L. Sha 171

An Adaptive Fault-Tolerant Component Model / J. Fraga, F. Siqueira, F. Favarim 179

A Guided Tour on Total Order Specifications / S. Cimmino, C. Marchetti, R. Baldoni 187

Middleware Design and Human Factor / T. Nakajima 195

Session 6 Distributed Systems and Mobile Environments

Super Distributed Objects: An Execution Environment for I-centric Services / S. Arbanowski, S. Steglich, I. Radusch, R. Popescu-Zeletin 201

A Presence Service Architecture for Supporting Spontaneous Interaction / T. Nakajima 209

A Resource and QoS Management Framework for a Real-Time Event System in Mobile Ad Hoc Environments / H. Duran-Limon, G. Blair, A. Friday, T. Sivaharan, G. Samartzidis 217

A Cluster-Based TMO-Structured Scalable Approach for Location Information Systems / Y. Nah, K. Kim, T. Wang, M. Kim, J. Lee, Y. Yang 225

A Pro-active Management and Rerouting Framework for QoS Critical Distributed Applications Using Active Technology / R. Correia, C. Carmo, E. Cecilio, L. Bacellar, L. Pirmez 234

Session 7 Component-Based Software Architecture and Engineering

Architectural Challenges for "Ambient Dependability" / L. Simoncini 245

Practical Aspects of IP Take-over Mechanisms / C. Fetzer, N. Suri 250

Meta Model Driven Framework for the Integration and Extension of Application Components / A. Talevski, E. Chang, T. Dillon 255

Improving the Reliability of Concurrent Object-Oriented Software Designs

An Approach Using Colored Petri Nets and UML / R. Pettit IV, H. Gomaa 262

RT-POD: A Framework for Real-Time Systems Participation in Own Defense / C. Gill 270

Session 8 Embedded Computing Systems

Mobile Middleware Solutions for the Adaptive Management of Multimedia QoS to Wireless Portable Devices / P. Bellavista, A. Corradi 283

Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation / J. Park, S. Kim, S. Hong 292

Foucault's Pendulum in the Distributed Control Lab / A. Rasche, P. Troger, M. Dirska, A. Polze 299

Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems / K. Kim 307

Session 9 Dependability: Research Trends and Field Experiences

Using the Multi-threaded Computation Model as a Unifying Framework for Hardware-Software Co-design and Implementation / D. Niehaus, D. Andrews 317

Extending UML towards a Useful OO-Language for Modeling Dependability Features / M. Dal Cin 325

Security Vulnerabilities

From Data Analysis to Protection Mechanisms / R. Iyer, S. Chen, J. Xu, Z. Kalbarczyk 331

Modelling Predictable Component-Based Distributed Control Architectures / H. Schmidt, I. Peake, J. Xie, I. Thomas, B. Kramer, A. Fay, P. Bort 339

Multiple Failure Correction in the Time-Triggered Architecture / W. Steiner, M. Paulitsch, H. Kopetz 347

Lessons Learned in Designing and Evaluating Railway Control Systems / A. Amendola, R. Di Maio, M. Iacobuzio, F. Poli, F. Scalabrini 355.

Notes:

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

"WORDS 2003 Fall"--Half t.p.

"Dedicated to the honor of late Prof. Edsger W. Dijkstra"--Half t.p. verso.

Includes bibliographical references and author index.

ISBN:

0769520545

9780769520544

OCLC:

54669597

Access Restriction:

Restricted for use by site license.