Object-Oriented Real-Time Dependable Systems (Words '97): 3rd International Workshop 1997 ed. [Pehme köide]

Message from the Workshop General Co-Chairs ix(1) Workshop Organization x Early Bird Session I 2(24) Session Chair: A. Bondavalli Cesium: Testing Hard Real-time and Dependability Properties of Distributed Protocols 2(7) G. Alvarez F. Cristian Object-Based Checkpoints in Distributed Systems 9(8) K. Tanaka H. Higaki M. Takizawa An Object-Oriented Shadow Generation Algorithm for Real-Time Application 17(9) T. Wang P. Sheu S. Hwang Early Bird Session II 26(31) Session Co-Chairs: T. Dillon C. Nguyen A Framework for Adding Time into Formal Object Models 26(6) J. Dong L. Zucconi Time-Bounded Cooperative Recovery with the Distributed Real-Time Conversation Scheme 32(8) K. Kim L. Bacellar On-Board Preventive Maintenance: Analysis of Effectiveness and Optimal Duty Period 40(8) A. Tai S. Chau L. Alkalaj H. Hecht Modeling of a Highly Reliable Real-Time Distributed System using the RTO.k Model and the Monitor Object 48(9) M. Kim Y. Park S. Yang J. Park Paper Session I Models/Language I 57(35) Session Chair: R. Paul Process-Oriented Development of Embedded Systems: Modeling Behavior and Dependability 57(9) D. Hammer A Framework for Location Transparency in Distributed Systems 66(8) B. Selic Object-Oriented Behavior Modelling for Real-Time Design 74(9) A. Hanish T. Dillon Integrating Time-Aware CORBA Objects into O-O Real-Time Computations 83(9) M. Gergeleit M. Mock E. Nett J. Reumann Paper Session II Operating Systems/Architecture I 92(25) Session Chair: H. Hecht Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems 92(8) A. Bondavalli F. Giandomenico I. Mura Taxonomy for QoS Specifications 100(8) B. Sabata S. Chatterjee M. Davis J. Sydir T. Lawrence A Framework of Secure Object System Architecture 108(9) L. Rousseau S. Natkin Paper Session III System Engineering I 117(29) Session Chair: L. Zucconi Object Technology for the Integration of the Infrastructure, Data Manager, and Tracker for Command and Control Applications 117(12) M. Gates P. Krupp J. Maurer M. Squadrito B. Thuraisingham T. Wheeler Diversity in the Software Development Process 129(8) V. Hilford M. Lyu B. Cukic A. Jamoussi F. Bastani Formal Timing Analysis of OMT Designs using LIMITS 137(9) L. Motus T. Naks Parallel Paper Session IV.1 Models/Language II 146(26) Session Chair: D. Hammer A Framework for Real-Time Object-Oriented Database Models 146(7) J. Taina S. Son Timed-Event Abstraction and Timing Constraints in Distributed Real-Time Programming 153(8) J. Hooman O. van Roosmalen Issues in Achieving Temporal and Semantic Coherency in Distributed Real-Time Applications 161(2) K. Ramamritham Sequence Specification for Concurrent Object-Oriented Applications 163(9) Y. Wang R. Vishnuvajjala W. Tsai Parallel Paper Session IV.2 Operating Systems/Architecture II 172(27) Session Chair: C. Pereira A Method for Real-Time Scheduling Problems 172(5) L. Shi P. Hwang Real-Time Scheduling for Synchronized Presentation of Multimedia Information in Distributed Multimedia Systems 177(8) R. Paul M. Khan S. Baqai A. Ghafoor A Configuration Approach for Distributed Object-Oriented System Customization 185(5) O. Loques R. Botafogo J. Leite Deadlocks in Fully Uncoordinated Checkpointing Rollback Recovery Systems 190(9) V. Shah S. Sanyal S. Bhattacharya Paper Session V System Validation and Verification 199(25) Session Chair: M. Raynal Automatic Generation of Tests for Timing Contraints from Requirements 199(8) D. Clarke I. Lee Integration of Time in Canonical Testers for Real-Time Systems 207(8) P. Laurencot R. Castanet Incremental Verification of Architecture Specification Language for Real-Time Systems 215(9) J. Tsai A. Sistla A. Sahay R. Paul Parallel Paper Session VI.1 Models/Language III 224(25) Session Chair: S. Son Object-Oriented Real Time Systems Modeling and Verification 224(8) D. Kung J. Lin P. Hsia B. Carroll A Model for a Flexible and Predictable Object-Oriented Real-Time System 232(8) J. Bosch P. Molin RTR Model: An Approach for Dealing with Real-Time Programming in Open Distributed Systems 240(9) J. Fraga J. Farines O. Furtado Parallel Paper Session VI.2 Applications 249(23) Session Chair: I. Lee An Architecture for a Tightly Coupled Conferencing System 249(7) S. Ahn S. Lee D. Lee S. Han An Approach to Safety Verification of Object-Oriented Design Specification for an Elevator Control System 256(8) E. Kim S. Kusumoto T. Tsuchiya T. Kikuno Applying Object-Oriented Concepts to the Development of Real-Time Industrial Automation Systems 264(8) C. Pereira Panel Session: Selecting Quality of Service in a Heterogeneous Environment: Bandwidth, Security, Fault Tolerance and Real-Time Behavior 272(11) Chair/Moderator: R. Soley Panelists: P. Krupp P. Melliar-Smith T. Lawrence E. Nett R. Schantz Separation of Concerns: Functionality vs. Quality of Service 272(3) P. Melliar-Smith L. Moser P. Narasimhan Real-Time Behaviour in a Heterogeneous Environment? 275(8) E. Nett Paper Session VII Dependability and Fault Tolerance 283(32) Session Chair: K. Ramamritham Real-Time Dependable Decisions in Timed Asynchronous Distributed Systems 283(8) M. Raynal An Object-Oriented Fault-Tolerance Framework based on Specialization Techniques 291(7) I. Yen An Approach for Adaptive Fault-Tolerance in Object-Oriented Open Distributed Systems 298(8) E. Shokri H. Hecht P. Crane J. Dussault K. Kim Probabilistic Analysis of Real-Time Dependable Systems 306(9) L. Moser P. Melliar-Smith E. Thomopoulos Paper Session VIII Communication 315(17) Session Chair: W. Tsai Object-Based Message Ordering in Group Communication 315(8) T. Tachikawa M. Takizawa Developing a Real-time Metaobject Protocol 323(9) S. Mitchell A. Wellings A. Burns Paper Session IX System Engineering II 332(23) Session Chair: K. Kikuno Toward Optimal Assignment of Human Functions in Complex Defense Systems via Uniform Object Modeling and Real-Time Simulation 332(7) C. Nguyen K. Kim Architecture of an Autonomous Distributed System and Verification of Implementation as a Logistics Information Management System 339(8) N. Kataoka H. Koizumi H. Simizu Multimedia Service Object Modeling 347(8) J. Kim J. Hong B. Min M. Kim Index of Authors 355