Fifth International Workshop on Object-Oriented Real-Time Dependable Systems. November 18-20, 1999, Monterey, California : proceedings / sponsored by IEEE Computer Society Technical Committee on Distributed Processing.

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

IEEE Computer Society. TC on Distributed Processing.

Conference Name:

Workshop on Object-Oriented Real-Time Dependable Systems (5th : 1999 : Monterey, Calif.)

Language:

English

Subjects (All):

Object-oriented databases--Congresses.

Object-oriented databases.

Electronic data processing--Distributed processing--Congresses.

Electronic data processing.

Electronic data processing--Distributed processing.

Genre:

Conference papers and proceedings.

Physical Description:

x, 155 pages : illustrations

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, [2000]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Opening Remarks / Phillip Sheu, Luiz Bacellar

Paper Session 1 Software Engineering

On the Coordination of Autonomous Systems / M. Mock, E. Nett 5

Steering of Real-Time Systems based on Monitoring and Checking / O. Sokolsky, M. Viswanathan, I. Lee, M. Kim, S. Kannan 11

A Database Approach to Testing and Evaluating of Object-Oriented Programs / S. Ohara, L. Hu, M. Hui, T. Wang, P. Sheu, F. Tsunoda 19

Paper Session 2 Run-Time Support

Batching Earliest Deadline First Scheduling / M. Moghaddas, B. Hamidzadeh 29

Protocol for Groups of Pseudo-Active Replicated Objects / H. Higaki, N. Nemoto, K. Tanaka, M. Takizawa 35

Transparent Object Replication: A Formal Model / P. Dechering, E. Jong 43

Software Testing of the Behavioral Aspects of Objects / S. Wong, T. Dillon, A. Hanish, E. Chang 51

Paper Session 3 Newly Emerging Issues

Towards a Real-Time Agent Architecture

A Whitepaper / L. DiPippo, E. Hodys, B. Thuraisingham 59

Do Current Technology Trends Enforce a Paradigm Shift in the Industrial Automation Market? / H. Kopetz

Vertically Distributed Real-Time Computer Systems: Integrating the Enterprise / E. Jensen

Paper Session 4 Real-Time Distributed Computing Tools

Real-Time and Object-Oriented Issues for an Inspection Workstation Application / J. Horst

Applying a Scalable CORBA Event Service to Large-scale Distributed Interactive Simulations / C. O'Ryan, D. Levine, D. Schmidt, J. Noseworthy 67

A Preliminary Assessment of the Real-Time Properties of Windows CE 3.0 / C. Netter, L. Bacellar

Dependable Objects for Databases, Middleware and Methodologies: A Position Paper / M. Ceruti, B. Thuraisingham 75

Paper Session 5 QoS

On Framing Object Relationships to Improve QoS in Distributed Systems / M. Mortazavi 81

High-level Integrated Design Environment for Dependability (HIDE) / A. Bondavalli, M. Dal Cin, D. Latella, A. Pataricza 87

Towards Automatic Synthesis of QoS Preserving Implementations from Object-Oriented Design Models / M. Saksena 93

A CORBA Service Enabling Programmer-Friendly Object-Oriented Real-Time Distributed Computing / K. Kim, D. Beck, J. Liu, H. Miyazaki, E. Shokri 101

Paper Session 6 Fault-Tolerance and Other Works in Progress

General Framework for Fault Tolerance from ISO/ITU Reference Model for Open Distributed Processing (RM-ODP) / J. Putman 111

An Experiment with Adaptive Fault Tolerance in Highly-Constraint Systems / E. Shokri, P. Beltas 119

Towards Language Support for Component-Oriented Real-Time Programming / M. Franz, P. Frohlich, T. Kistler 125

Process Algebraic Approach to the Parametric Analysis of Object Scheduling in Real-time Systems / H. Kwak, I. Lee 131

Paper Session 7 Protocols

Object-based Precedency of Messages in Object-based Systems / Y. Timura, K. Tanaka, M. Takizawa 141

Requirements Specification of an Automotive System with Hybrid Sequence Charts / R. Grosu, I. Kruger, T. Stauner 149

Panel Discussion: Summary of Progress and New Issues.

Notes:

Includes bibliographical references and index.

ISBN:

076950616X

9780769506166

0769506178

9780769506173

0769506186

9780769506180

OCLC:

44025793

Access Restriction:

Restricted for use by site license.