WORDS '97 Preliminary Program (Version 2) IEEE Computer Society 3rd International Workshop on Object-oriented Real-time Dependable Systems Balboa Bay Club 1221 W. Coast Highway Newport Beach, California, 92663, USA February 5 (3pm) - 7, 1997 Sponsored by: IEEE Computer Society TC on Distributed Processing in cooperation with IFIP WG 10.4 on Dependable Computing +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The Workshop Registration Form and the Hotel Reservation Form for presenting authors and co-authors and the application for participation as a guest are in the following web site: URL: http://www.eng.uci.edu/dream/words97.html +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ======================================================================= Wednesday, February 5 - ----------------------------------------------------------------------- 3:00 - 3:30 PM Greetings (among early arriving participants) - ----------------------------------------------------------------------- 3:30 - 4:30 PM Early Bird Session I "Cesium: Testing Hard Real-time and Dependability Properties of Distributed Protocols" Guillermo A. Alvarez and Flaviu Cristian, UC - San Diego "Object-Based Checkpoints in Distributed Systems" Katsuya Tanaka, Hiroaki Higaki, and Makoto Takizawa Tokyo Denki University, Japan "An Object-Oriented, Real-Time Shadow Generation Algorithm" Taehyung Wang and Phillip C.-Y. Sheu, UC - Irvine Soochan Hwang, Hankuk Aviation University, Korea - ----------------------------------------------------------------------- 4:30 - 4:40 PM BREAK - ----------------------------------------------------------------------- 4:40 - 6:20PM Early Bird Session II "A Framework for Adding Time into Formal Object Models" Jin Song Dong and Lin Zucconi CSIRO, Australia "Time-Bounded Cooperative Recovery with the Distributed Real-Time Conversation Scheme" Kane Kim, UC - Irvine Luiz Bacellar, UTRC "On-Board Preventive Maintenace: Analysis of Effectiveness and Optimal Duty Period" Ann T. Tai, SoHaR Incorported Savio N. Chau and Leon Alkalaj, JPL Herbert Hecht, SoHaR Incorported "Modeling of a Highly Reliable Real-Time Distributed System using the RTO.k Model and the Monitor Object" Moon Hae Kim and Yong-Woo Park, Konkuk University, Korea Seung-Min Yang, Soongsil University, Korea - ----------------------------------------------------------------------- 6:30 - 7:30 PM Informal Reception (covered by the registration fee) - ----------------------------------------------------------------------- ======================================================================= Thursday, February 6 - ----------------------------------------------------------------------- 8:00 - 8:20 AM Opening Session - ----------------------------------------------------------------------- 8:20 - 9:40 AM Paper Session I - Models/Language I Session Chair: Ray Paul, Pentagon, USA "Process-Oriented Development of Embedded Systems: Modeling Behavior and Dependability" Dieter K. Hammer, Eindhoven U. of Technology, The Netherlands "A Framework for Location Transparency in Distributed Systems" Bran Selic, ObjectTime Ltd, Canada "Object-Oriented Behaviour Modelling for Real-Time Design" Andrew A. Hanish and Tharam S. Dillon, La Trobe University Bundoora, Australia "Integrating Time-Aware CORBA Objects into O-O Real-Time Computations" M. Gergeleit and E. Nett, GMD, Germany - ----------------------------------------------------------------------- 9:40 - 10:00 AM Break - ----------------------------------------------------------------------- 10:00 - 11:00 AM Paper Session II - Operating Systems/Architecture - I Session Chair: Herbert Hecht, SoHaR Incorporated, USA "Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems" A. Bondavalli, CNUCE/CNR, Italy F. Di Giandomenico, IEI/CNR, Italy Ivan Mura, University of Pisa, Italy "Taxonomy for QoS Specifications" B. Sabata, S. Chatterjee, M. Davis, and J. J. Sydir, SRI T. F. Lawrence, Rome Laboratory "A Framework of Secure Object System Architecture" L. Rousseau and S. Natkin CEDRIC/CNAM, France - ----------------------------------------------------------------------- 11:00 - 11:10 AM Break - ----------------------------------------------------------------------- 11:10 AM - 12:10 PM Paper Session III - System Engineering I Session Chair: Phillip Hwang, Defense Mapping Agency, USA (Tentative) "Object Techonogy for the Integration of the Infrastructure, Data Manager, and Tracker for Command and Control Applications" M.D.Gates, P.C.Krupp, J.A.Maurer, M.A.Squadrito, B.M.Thuraisingham and T.M.Wheeler The MITRE Corp. "Diversity in the Software Development Process" V.Hilford, M.R.Lyu, B.Cukic, A. Jamoussi, and F.B.Bastani University of Houston "Formal Timing Analysis of OMT designs using LIMITS" L. Motus and T. Naks, TTU, Estonia - ----------------------------------------------------------------------- 12:10 - 3:40 PM Lunch Cruise (covered by the registration fee) - ----------------------------------------------------------------------- 3:40 - 5:00 PM Parallel Paper Session IV.1 - Models/Language II Session Chair: D.K. Hammer, Eindhoven University of Technology, Netherlands (Tentative) "A Framework for Real-Time Object-Oriented Database Model" J.Taina and S.Son, U. of Virginia "Timed-Event Abstraction and Timing Constraints in Distributed Real-Time Programming" J.Hooman and Onno van Roosmalen, Eindhoven University of Technology, Netherlands "Temporal and Semantic Coherency in Distributed Real-Time Applications" K.Ramamritham, U. of Mass. "Sequence Specification for Concurrent Object-Oriented Applications" Y.Wang, R.V Vishnuvajjala Wei-Tek Tsai, U. of Minnesota - ----------------------------------------------------------------------- 3:40 - 5:00 PM Parallel Paper Session IV.2 - Operating Systems/Architecture II Session Chair: Carlos Eduardo Pereira Federal University of Rio Grande do Sul, Brazil (Tentative) "A Method for Real-Time Scheduling Problems" Leyuan Shi, University of Wisconsin-Madison Phillip Hwang, Defense Mapping Agency "Real-Time Scheduling for Synchronized Presentation of Multimedia Information in Distributed Multimedia Systems" Ray Paul, Pentagon, USA M.F. Khua, S. Baqai, and Arif Ghafoor, Purdue University "A Configuration Approach for Distributed Object-Oriented System Customization" O.Loques, R.A.Botafogo and J.Leite, U. Federal Fluminense, Brazil "Deadlocks in Fully Uncoordinated Checkpointing Rollback Recovery Systems" V.Shah, S.Sanyal and S.Bhattacharya Arizona State University - ----------------------------------------------------------------------- 5:00 - 5:10 PM Break - ----------------------------------------------------------------------- 5:10 - 6:10 PM Paper Session V - System Validation and Verification Session Chair: Michel Raynal, IRISA, France "Automatic Generation of Tests for Timing Contraints from Requirements" Duncan Clarke and Insup Lee, University of Pennsylvania "Integration of time in canonical testers for real-time systems" P.Laurencot and R.Castanet Universite Bordeaux I, France "Incremental Verification Of Architecture Specification Language For Real-Time Systems" Jeffrey J. P. Tsai and A. Sahay University of Illinois at Chicago Ray Paul, Pentagon ======================================================================= Friday, February 7 - ----------------------------------------------------------------------- 8:00 - 9:00 AM Parallel Paper Session VI.1 - Models/Language III Session Chair: Sang H. Son, University of Virginia (Tentative) "Object-Oriented Real Time Systems Modeling and Verification" D.C.Kung, J.Lin, Pei Hsia, and B. Carroll The Univ. of Texas at Arlington "A Model for a Flexible and Predictable Object-Oriented Real-Time System" J.Bosch and Peter Molin, University of Karlskrona/Ronneby, Sweden "RTR Model: An Approach for Dealing With Real-Time Programming in Open Distributed Systems" J. Fraga, J.-M.Farines, and O.Furtado, U. Federal de Santa Catarina, Brazil - ----------------------------------------------------------------------- 8:00 - 9:00 AM Parallel Paper Session VI.2 - Applications Session Chair: Kinji Mori, Hitachi SDL, Japan (Tentative) "An Architecture for a Tightly Coupled Conferencing System" S.Ahn, S.Lee, D.Lee, and S.Han, Konkuk University, Korea "An Approach to Safety Verification of Object-Oriented Design Specification for an Elevator Control System" E.M.Kim, S.Kusumoto, T.Tsuchiya and T.Kikuno Osaka University, Japan "Applying Object-Oriented Concepts to the Development of Real-Time Industrial Automation Systems" Carlos Eduardo Pereira Federal University of Rio Grande do Sul, Brazil - ----------------------------------------------------------------------- 9:00 - 9:10 AM Break - ----------------------------------------------------------------------- 9:10 AM - 10:40 AM Panel Session: Selecting Quality of Service in a Heterogeneous Environment: Bandwidth, Security, Fault Tolerance and Real-Time Behavior Chairs/Moderator: Richard Mark Soley, Object Management Group, Inc. Panelists: Peter Krupp, MITRE Michael Melliar-Smith, U.C. Santa Barbara Tom Lawrence, USAF Rome Laboratory Edgar Nett, GMD, Germany Richard Schantz, BBN - ----------------------------------------------------------------------- 10:40 - 10:50 AM Break - ----------------------------------------------------------------------- 10:50 - 12:10 PM Paper Session VII - Dependability and Fault Tolerance Session Chair: TBD "Real-Time Dependable Decisions in Timed Asynchronous Distributed Systems" Michel Raynal, IRISA, France "An Object-Oriented SNMR Framework for Dependable Systems" I-L.Yen, Michigan State University "An Approach for Adaptive Fault-Tolerance in Object-Oriented Open Distributed Systems" E.Shokri, H.Hecht, SoHar Inc. J.Dussault, Rome Laboratory Kane Kim, Univ. of CA - Irvine P.Crane, SoHaR Inc. "Probabilistic Analysis of Real-Time Dependable Systems" L. E. Moser, P. M. Melliar-Smith, and E. Thomopoulos UC - Santa Barbara - ----------------------------------------------------------------------- 12:10 - 1:30 PM Group Lunch in the Club (covered by the registration fee) - ----------------------------------------------------------------------- 1:30 - 2:50 PM Paper Session VIII - Communicaiton Session Chair: W.T. Tsai, Univ. of Minnesota (Tentative) "Object-Based Message Ordering in Group Communication" T.Tachikawa and M.Takizawa Tokyo Denki University, Japan "Developing a Real-time Metaobject Protocol" S. E. Mitchell, A. J. Wellings, and A. Burns, University of York, UK "Agent communication network for multimedia communication services" Ryozo Kishimoto, NTT, Japan - ----------------------------------------------------------------------- 2:50 - 3:00 PM Break - ----------------------------------------------------------------------- 3:00 - 4:00 PM Paper Session IX - System Engineering II Session Chair: K. Kikuno, Osaka University, Japan (Tentative) "Toward Cost Reduction in Operation and Maintenance of Complex Real-Time Defense Systems Via Optimal Allocation of Human- Function Resource" Cuong M. Nguyen Naval Surface Warfare Center "Architecture of an Autonomous Distributed System and Verification of Implementation as a Logistics Information Management System" N.Kataoka, H.Koizumi and H.Simizu, Mitsubishi Electric Corp, Japan "Multimedia Service Object Modeling" J.-G.Kim, J.-P. Hong, HUFS, Korea B.-J. Min, Univ. of Inchon, Korea M.H. Kim, Konkuk Univ., Korea - ----------------------------------------------------------------------- 4:00 - 4:10 PM Break - ----------------------------------------------------------------------- 4:10 - 4:40 PM Planning and Discussion of Future WORDS' ======================================================================= THEME This workshop, which is the third in the highly successful WORDS series, continues its theme in integrating three computer system engineering technologies (CSETs): Object-oriented CSET, Real-time CSET, and Dependable CSET. For inclusion in the workshop program, contributions that present significant advances in integrating any two of the three component technology fields were invited. Industrial applications such as multimedia interactive services that facilitate such integrations were also encouraged to be addressed. The workshop is intended to be a forum for substantial exchange of newly recognized research issues, advanced promising formulations and research progress reports which may be of conceptual, theoretical, innovative design, or experimental nature, and represent technological or scientific advances. The workshop will have a limited number of participants, probably not exceeding 50, of whom about a half will be invited participants. A selection of appropriate papers will be recommended for publication in a special issue of IJSKE (the International Journal of Software Engineering and Knowledge Engineering) and another magazine. - ----------------------------------------------------------------------- WORKSHOP GENERAL CO-CHAIRS Thomas Lawrence Edgar Nett USAF ROME Laboratory GMD U.S.A. Germany lawrence@cliff.cs.rl.af.mil nett@gmd.de PROGRAM CO-CHAIRS Richard Soley Phillip C-Y Sheu OMG University of California, Irvine U.S.A. U.S.A. soley@omg.org sheu@ece.uci.edu CO-TREASURERS Luiz Bacellar, UTRC, USA Kane Kim, University of California, Irvine, USA LOCAL-ARRANGEMENTS CO-CHAIRS Eltefaat Shokri, SoHaR, USA Taehyung Wang, UC, Irvine, USA, thwang@ece.uci.edu REGISTRATION CHAIR Chittur Subbaraman, UC, Irvine, USA, csubbara@ece.uci.edu PUBLICITY COMMITTEE Dock Allen, Computing Devices International, USA Farokh Bastani, University of Houston, USA Arif Ghafoor, Purdue University, USA Dieter Hammer, Eindhoven University of Technology, Netherlands Tohru Kikuno, Osaka University, Japan K.J. Lin, University of California, Irvine, USA Cuong Nguyen, NSWC, USA Raymond Paul, Office of the Under Secretary of Defense, USA (Chair) Alex Stoyenko, NJIT, USA PROGRAM COMMITTEE S.K. Chang, University of Pittsburgh, USA Tharam Dillon, La Trobe University, Australia Michel Gien, Chorus Systems, France P. Gopinath, Honeywell, USA Moon H. Kim, Konkuk University, Korea Insup Lee, University of Pennsylvania, USA Kinji Mori, Hitachi SDL, Japan Carlos Pereira, UFRGS, Brazil Krithi Ramamritham, University of Massachusetts, USA O.S. van Roosmalen, Eindhoven University of Technology, Netherlands Bhavani Thuraisingham, MITRE Corporation, USA Anand Tripathi, NSF, USA Jeffrey Tsai, University of Illinois-Chicago, USA W.T. Tsai, University of Minnesota, USA Joseph Urban, Arizona State University, USA Lonnie Welch, University of Texas at Arlington, USA Doug Wells, OSF, USA I-Ling Yen, Michigan State University, USA STEERING COMMITTEE Kane Kim, University of California, Irvine (Chair) Hermann Kopetz, Technische Universitat Wien, Austria =======================================================================