The Community for Technology Leaders
Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on (1997)
Newport Beach, CA
Feb. 5, 1997 to Feb. 7, 1997
ISBN: 0-8186-8046-6
TABLE OF CONTENTS
Early Bird Session I: Session Chair: A. Bondavalli

Cesium: Testing Hard Real-time and Dependability Properties of Distributed Protocols (Abstract)

Flaviu Cristian , University of California, San Diego
Guillermo A. Alvarez , University of California, San Diego
pp. 2

Object-Based Checkpoints in Distributed Systems (Abstract)

Hiroaki Higaki , Tokyo Denki University
Katsuya Tanaka , Tokyo Denki University
Makoto Takizawa , Tokyo Denki University
pp. 9

An object-oriented shadow generation algorithm for real-time application (Abstract)

Soochan Hwang , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
P.C.-Y. Sheu , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
T. Wang , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 17
Early Bird Session II: Session Co-Chairs: T. Dillon and C. Nguyen

A framework for adding time into formal object models (Abstract)

Jin Song Dong , Div. of Inf. Technol., CSIRO, Canberra, ACT, Australia
Lin Zucconi , Div. of Inf. Technol., CSIRO, Canberra, ACT, Australia
pp. 26

Time-bounded cooperative recovery with the distributed real-time conversation scheme (Abstract)

K.H. Kim , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
L. Bacellar , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 32

On-Board Preventive Maintenance: Analysis of Effectiveness and Optimal Duty Period (Abstract)

Leon Alkalaj , Jet Propulsion Laboratory
Ann T. Tai , SoHaR Incorporated
Herbert Hecht , SoHaR Incorporated
Savio N. Chau , Jet Propulsion Laboratory
pp. 40

Modeling of a Highly Reliable Real-Time Distributed System Using the RTO.k Model and the Monitor Object (Abstract)

Yong-Woo Park , Konkuk University
Jong-Kook Park , Power Systems Lab., LG Industrial Systems Co., Ltd.
Seung-Min Yang , Soongsil University
Moon Hae Kim , Konkuk University
pp. 48
Paper Session I Models/Language I: Session Chair: R. Paul

Process-Oriented Development of Embedded Systems: Modeling Behavior and Dependability (Abstract)

Dieter K. Hammer , Eindhoven University of Technology, The Netherlands
pp. 57

A framework for location transparency in distributed systems (Abstract)

B. Selic , ObjecTime Ltd., Kanata, Ont., Canada
pp. 66

Object-Oriented Behaviour Modelling or Real-Time Design (Abstract)

Andrew A. Hanish , La Trobe University
Tharam S. Dillon , La Trobe University
pp. 74

Integrating Time-Aware CORBA Objects into O-O Real-Time Computations (Abstract)

Edgar Nett , German National Research Center for Information Technology
Michael Mock , German National Research Center for Information Technology
John Reumann , German National Research Center for Information Technology
Martin Gergeleit , German National Research Center for Information Technology
pp. 83
Paper Session II Operating Systems/Architecture I: Session Chair: H. Hecht

Taxomomy of QoS Specifications (Abstract)

Bikash Sabata , SRI International
Saurav Chatterjee , SRI International
Jaroslaw J. Sydir , SRI International
Michael Davis , SRI International
Thomas F. Lawrence , Rome Laboratory
pp. 100

A Framework of Secure Object System Architecture (Abstract)

Ludovic Rousseau , Centre d'Etudes et De Recherche en Informatique du C.N.A.M.
Stephane Natkin , Centre d'Etudes et De Recherche en Informatique du C.N.A.M.
pp. 108
Paper Session III System Engineering I: Session Chair: L. Zucconi

Object technology for the integration of the infrastructure, data manager, and tracker for command and control applications (Abstract)

J.A. Maurer , Mitre Corp., Bedford, MA, USA
P.C. Krupp , Mitre Corp., Bedford, MA, USA
M.A. Squadrito , Mitre Corp., Bedford, MA, USA
M.D. Gates , Mitre Corp., Bedford, MA, USA
T.M. Wheeler , Mitre Corp., Bedford, MA, USA
B.M. Thuraisingham , Mitre Corp., Bedford, MA, USA
pp. 117

Diversity in the Software Development Process (Abstract)

Bojan Cukic , University of Houston
Anouar Jamoussi , University of Houston
Victoria Hilford , University of Houston
Farokh B. Bastani , University of Houston
Michael R. Lyu , University of Houston
pp. 129

Formal Timing Analysis of OMT Designs Using LIMITS (Abstract)

T. Naks , Tallinn Technical University
L. Motus , Tallinn Technical University
pp. 137
Parallel Paper Session IV.1 Models/Language II: Session Chair: D. Hammer

Timed-event abstraction and timing constraints in distributed real-time programming (Abstract)

O. van Roosmalen , Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
J. Hooman , Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
pp. 153

Issues in achieving temporal and semantic coherency in distributed real-time applications (Abstract)

K. Ramamritham , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 161

Sequence Specification for Concurrent Object-Oriented Applications (Abstract)

Ramakrishna V. Vishnuvajjala , University of Minnesota, Minneapolis, MN
Yamin Wang , University of Minnesota, Minneapolis, MN
Wei-Tek Tsai , University of Minnesota, Minneapolis, MN
pp. 163
Parallel Paper Session IV.2 Operating Systems/Architecture II: Session Chair: C. Pereira

A Method for Real-Time Scheduling Problems (Abstract)

Phillip Q. Hwang , National Imagery and Mapping Agency
Leyuan Shi , University of Wisconsin-Madison
pp. 172

Real-time Scheduling for Synchronized Presentation of Multimedia Information in Distributed Multimedia Systems (Abstract)

Shahab Baqai , School of Electrical & Computer Engineering, Purdue University
Arif Ghafoor , School of Electrical & Computer Engineering, Purdue University
Ray Paul , Testing & Evaluation, 3000 Pentagon, Purdue University
M. Farrukh Khan , Testing & Evaluation, 3000 Pentagon, Purdue University
pp. 177

A Configuration Approach for Distributed Object-Oriented System Customization (Abstract)

Julius Leite , Universidade Federal Fluminense
Orlando Loques , Universidade Federal Fluminense
Rodrigo A. Botafogo , Universidade Federal Fluminense
pp. 185

Deadlocks in fully uncoordinated checkpointing rollback recovery systems (Abstract)

S. Bhattacharya , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
S. Sanyal , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
V. Shah , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 190
Paper Session V System Validation and Verification: Session Chair: M. Raynal

Automatic generation of tests for timing constraints from requirements (Abstract)

I. Lee , Dept. of Comput. Sci., Kentucky Univ., Lexington, KY, USA
D. Clarke , Dept. of Comput. Sci., Kentucky Univ., Lexington, KY, USA
pp. 199

Integration of Time in Canonical Testers for Real-Time Systems (Abstract)

P. Laurencot , Universite de Bordeaux I
R. castanet , Universite de Bordeaux I
pp. 207

Incremental Verification of Architecture Specification Language for Real-Time Systems (Abstract)

Jeffrey J P Tsai , University of Illinois at Chicago
Ray Paul , Testing and Evaluation, 300 Pentagon, Washington, DC 20301
A. P. Sistla , University of Illinois at Chicago
Avinash Sahay , University of Illinois at Chicago
pp. 215
Parallel Paper Session VI.1 Models/Language III: Session Chair: S. Son

Object-Oriented Real Time Systems Modeling and Verification (Abstract)

David C. Kung , The Univ. of Texas at Arlington
Bill Carroll , The Univ. of Texas at Arlington
John Lin , The Univ. of Texas at Arlington
Pei Hsia , The Univ. of Texas at Arlington
pp. 224

A Model for a Flexible and Predictable Object-Oriented Real-Time System (Abstract)

Peter Molin , University of Karlskrona/Ronneby
Jan Bosch , University of Karlskrona/Ronneby
pp. 232

RTR Model: An Approach for Dealing with Real-Time Programming in Open Distributed Systems (Abstract)

Joni Fraga , Universidade Federal de Santa Catarina
Jean-Marie Farines , Universidade Federal de Santa Catarina
Olinto Furtado , Universidade Federal de Santa Catarina
pp. 240
Parallel Paper Session VI.2 - Applications: Session Chair: I. Lee

An architecture for a tightly coupled conferencing system (Abstract)

Seungro Lee , Dept. of Comput. Eng., Konkuk Univ., Seoul, South Korea
Dongman Lee , Dept. of Comput. Eng., Konkuk Univ., Seoul, South Korea
Sunyoung Han , Dept. of Comput. Eng., Konkuk Univ., Seoul, South Korea
A. Sangjoon , Dept. of Comput. Eng., Konkuk Univ., Seoul, South Korea
pp. 249

An approach to safety verification of object-oriented design specification for an elevator control system (Abstract)

T. Kikuno , Dept. of Inf. & Math. Sci., Osaka Univ., Japan
T. Tsuchiya , Dept. of Inf. & Math. Sci., Osaka Univ., Japan
Eun Mi Kim , Dept. of Inf. & Math. Sci., Osaka Univ., Japan
S. Kusumoto , Dept. of Inf. & Math. Sci., Osaka Univ., Japan
pp. 256
Panel Session: Selecting Quality of Service in a Heterogeneous Environment: Bandwidth, Security, Fault Tolerance and Real-Time Behavior: Chair/Moderator: R. Soley: Panelists: P. Krupp, P. Melliar-Smit

Separation of Concerns: Functionality vs. Quality of Service (Abstract)

L. E. Moser , University of California, Santa Barbara
P. Narasimhan , University of California, Santa Barbara
P. M. Melliar-Smith , University of California, Santa Barbara
pp. 272

Real-Time Behaviour in a Heterogeneous Environment? (Abstract)

E. Nett , German National Research Center for Information Technology (GMD)
pp. 275
Paper Session VII Dependability and Fault Tolerance: Session Chair: K. Ramamritham

An Approach for Adaptive Fault-Tolerance in Object-Oriented Open Distributed Systems (Abstract)

Herbert Hecht , SoHaR Incorporated
Patrick Crane , SoHaR Incorporated
Jerry Dussault , Rome Laboratory, USAF
Eltefaat Shokri , SoHaR Incorporated
K. H. (Kane) Kim , University of California, Irvine
pp. 298

Probabilistic Analysis of Real-Time Dependable Systems (Abstract)

P. M. Melliar-Smith , University of California, Santa Barbara
L. E. Moser , University of California, Santa Barbara
E. Thomopoulos , University of California, Santa Barbara
pp. 306
Paper Session VIII Communication: Session Chair: W. Tsai

Object-Based Message Ordering in Group Communication (Abstract)

Takayuki Tachikawa , Tokyo Denki University
Makoto Takizawa , Tokyo Denki University
pp. 315

Developing a Real-time Metaobject Protocol (Abstract)

S. E. Mitchell , University of York
A. J. Wellings , University of York
A. Burns , University of York
pp. 323
Paper Session IX System Engineering II: Session Chair: K. Kikuno

Toward optimal assignment of human functions in complex defense systems via uniform object modeling and real-time simulation (Abstract)

C.M. Nguyen , Adv. Syst. Technol. Branch, Naval Surface Warfare Center, Dahlgren, VA, USA
K.H. Kim , Adv. Syst. Technol. Branch, Naval Surface Warfare Center, Dahlgren, VA, USA
pp. 332

Multimedia Service Object Modeling (Abstract)

Jin Pyo Hong , Hankuk Univ. of Foreign Studies, Korea
Jung-Guk Kim , Hankuk Univ. of Foreign Studies, Korea
Byoung-Joon Min , University of Inchon, Korea
Moon Hae Kim , Konkuk University, Korea
pp. 347

Index of Authors (PDF)

pp. 355
98 ms
(Ver )