The Community for Technology Leaders
Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on (1996)
Laguna Beach, CA
Feb. 1, 1996 to Feb. 2, 1996
ISBN: 0-8186-7570-5
TABLE OF CONTENTS
Session 1: Real-Time Object Models and Languages

A node as a real-time object (Abstract)

S. Poledna , Wien Univ., Austria
H. Kopetz , Wien Univ., Austria
pp. 2

Real time formal specification using VDM/sup ++/ (Abstract)

E. Durr , Delft Univ. of Technol., Netherlands
J. Van Katwijk , Delft Univ. of Technol., Netherlands
S. Goldsack , Delft Univ. of Technol., Netherlands
pp. 17

Schedulability and Safety Analysis in the Graphical Communicating Shared Resources (Abstract)

Hanene Ben-Abdallah , Department of Computer and Information Science University of Pennsylvania
Young Si Kim , Electronics and Telecommunications Research Institute Taejon, Korea
Insup Lee , Department of Computer and Information Science University of Pennsylvania
pp. 25
Session 2: Real-Time O.S. Architectures and Mechanisms

A Client-Server Approach to DCE Inter-Operability (Abstract)

Terrance A. Stedman , Rome Laboratory (U.S. Air Force)
Patrick M. Hurley , Rome Laboratory (U.S. Air Force)
pp. 46

Implementation of a Transparent RPC for Distributed Object-Oriented Systems (Abstract)

O.S. Van Roosmalen , Eindhoven University of Technology Electronic wsinonno@win.tue.nl
W.J.M. Lemmens , Eindhoven University of Technology Electronic wsinonno@win.tue.nl
pp. 54

The DREAM library support for PCD and RTO.k programming in C++ (Abstract)

C. Subbaraman , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
Y. Kim , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
K.H. Kim , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 59

TaskPair-scheduling with optimistic case execution times-an example for an adaptive real-time system (Abstract)

H. Streich , German Nat. Res. Center for Comput. Sci., St. Augustin, Germany
M. Gergeleit , German Nat. Res. Center for Comput. Sci., St. Augustin, Germany
pp. 69
Session 3: Real-Time Fault Tolerance

Adaptive software fault tolerance policies with dynamic real-time guarantees (Abstract)

E. Nett , GMD-SET.RS, St. Augustin, Germany
A. Bondavalli , GMD-SET.RS, St. Augustin, Germany
F. Tarini , GMD-SET.RS, St. Augustin, Germany
P. Bizzarri , GMD-SET.RS, St. Augustin, Germany
H. Streich , GMD-SET.RS, St. Augustin, Germany
pp. 78

Toward Dependable Safety-Critical Software (Abstract)

Bojan Cukic , University of Houston
Anouar Jamoussi , University of Houston
Farokh Bastani , University of Houston
Victoria Hilford , University of Houston
pp. 86

Ada95 Object-Oriented and Real-Time Support for Development of Software Fault Tolerance Reusable Components (Abstract)

Eltefaat H. Shokri , SoHaR Incorporated {shokri,tso}@sohar.com
Kam S. Tso , SoHaR Incorporated {shokri,tso}@sohar.com
pp. 93

Multiple invariant system design for fault-tolerant real-time applications (Abstract)

I.-L. Yen , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 101
Panel Session 1: Major Research Issues in ORDS

Position paper: resource management for complex distributed systems (Abstract)

M.B. Davis , SRI Int., Menlo Park, CA, USA
J.J. Sydir , SRI Int., Menlo Park, CA, USA
pp. 113
Session 4: Real-Time Software Engineering

Integration of formal verification with real-time design (Abstract)

G. Krasovec , Adv. Syst. Technol., Englewood, CO, USA
P. Ward , Adv. Syst. Technol., Englewood, CO, USA
N. Shankar , Adv. Syst. Technol., Englewood, CO, USA
pp. 128

Specification and analysis of real-time systems in Statecharts (Abstract)

Sung Deok Cha , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Seoul, South Korea
Hyoung Seok Hong , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Seoul, South Korea
pp. 137

An Analytical Approach to Change for the Design of Reusable Real-Time Software (Abstract)

Pradeep K. Khosla , Carnegie Mellon University
Carol L. Hoover , Carnegie Mellon University
pp. 144

System Development Based on a Real-Time Object Model (Abstract)

Tae-Myung Yoon , Soongsil University
Seung-Min Yang , Soongsil University
Shin Heu , Hanyang University, Seoul, Korea
Moon Hae Kim , Kunkuk University
Jung-Guk Kim , HUFS, Seoul, Korea
Byoung-Joon Min , Inchon University
pp. 152

Object-oriented software development with fault tolerance for distributed real-time systems (Abstract)

J.-W. Kim , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
S.S. Yau , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
J. Wang , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 160
Panel Session 2: Real-Time Demands on CORBA and Other Established Object-Oriented Systems

Position paper: real-time is a critical feature for CORBA, just like everything else (Abstract)

R.M. Soley , Object Manage. Group Inc., Framingham, MA, USA
pp. 170

CORBA Technology for Cross-Domain Interoperability in Embedded Military Systems, and Issues in Its Use (Abstract)

Dock Allen , Computing Devices International e-mail Dock.Allen@cdev.com
pp. 173

On real-time extensions to object request brokers: a panel position paper (Abstract)

B. Thuraisingham , Mitre Corp., Bedford, MA, USA
P. Krupp , Mitre Corp., Bedford, MA, USA
V. Wolfe , Mitre Corp., Bedford, MA, USA
pp. 182

Using Object Frameworks to Enable Real-Time and Dependability in a Modular Operating System (Abstract)

Douglas M. Wells , Open Software Foundation Research Institute http://www.osf.org/ri
pp. 186
Session 5: Real-Time System Design

An object-based model for dependable real-time distributed systems (Abstract)

D. Mosse , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
Y.-J. Chen , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
S.-K. Chang , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 192

Object-oriented implementation of an infrastructure and data manager for real-time command and control systems (Abstract)

R.A. Sigel , Mitre Corp., Bedford, MA, USA
P. Krupp , Mitre Corp., Bedford, MA, USA
E. Bensley , Mitre Corp., Bedford, MA, USA
T. Wheeler , Mitre Corp., Bedford, MA, USA
M. Squadrito , Mitre Corp., Bedford, MA, USA
B. Thuraisingham , Mitre Corp., Bedford, MA, USA
pp. 201

Design and optimization of complex real-time dependable systems (Abstract)

P.Q. Hwang , Dept. of Ind. Eng., Wisconsin Univ., Madison, WI, USA
L. Shi , Dept. of Ind. Eng., Wisconsin Univ., Madison, WI, USA
pp. 218
Session 6: Simulation Technologies and Applications

Fault-Tolerant Real-Time Synchronous Collaboration Environment using WWW (Abstract)

Insook Chung , Konkuk University
Sunyoung Han , Konkuk University
Geonyou Jo , Konkuk University
Soomyung Park , Konkuk University
Kwan-Ho song , National Computerization Agency
pp. 226

A Simulation Study of Real-Time MPEG Traffic Using Forward Error Control Scheme (Abstract)

Kwei-Jay Lin , Department of Electrical and Computer Engineering University of California, Irvine
Lee C. Hu , Department of Electrical and Computer Engineering University of California, Irvine
pp. 232

Author Index (PDF)

pp. 241
89 ms
(Ver )