FINAL PROGRAM International Conference on Reliable Software Technologies (Ada-Europe'96) http://lglwww.epfl.ch/Ada-Europe/Conference/1996/ -------------------------------------------------------------------------- PART A: TECHNICAL SESSIONS Monday ------ Opening Session (Session chair: Alfred Strohmeier) --------------- (Monday, June 10, 1996, 18:00 - 19:30) John Barnes, President of Ada-Europe: Welcome address. Alfred Strohmeier, Conference Chair: Welcome address. Programming the Internet in Ada 95 1 S. Tucker Taft Followed at 19:30 by the GNAT-Tail Party, cocktail sponsored by ACT-Europe. ---------------------------------------------------------------------------- Tuesday ------- Invited Speech (Session chair: Alfred Strohmeier) -------------- (Tuesday, June 11, 8h30-9h30) Reliability Modeling for Safety Critical Software 17 Norman F. Schneidewind ******* Break and Exhibition Opening (9:30 - 10:30) ---------------------------- ******* Software Development Methods (Session chair: Ed Colbert) ---------------------------- (Tuesday, June 11, 10h30-12h30) Iterative Software Development for Large Ada Programs 101 Philippe Kruchten, Christopher J. Thompson HCSD Unit Development Process: Step-Wise Process Improvement 111 David Emery, Jaswinder S. Madhur An Approach to Increasing Software Component Reusability in Ada 89 Hyoseob Kim, Cornelia Boldyreff Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries 78 Juan Antonio de la Puente, Alejandro Alonso, Angel Alvarez ******* Lunch (12:30 - 14:00) ----- ******* Compilers and Tools (Session chair: Michael Gonzalez Harbour) ------------------- (Tuesday, June 11, 14h00-15h30) ASIS for GNAT: From the Prototype to the Full Implementation 298 Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasily Fofanov Handling Irregular Grammars in Ada 312 Drasko Sotirovski, Philippe Kruchten Interprocedural Call Optimization 319 Tim Birus, Christine Cipriani, Dean Sutherland Experience Reports I (Session chair: Mark S. Gerhardt) -------------------- (Tuesday, June 11, 14h00-15h30) The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95 427 Chad Bremmon Converting the Part Task Nautical Simulator to Ada 95 439 Kor Molenmaker Visibility Control and Migration of Interfaces in Large Ada Systems 451 Vincent Celier ******* Break and Vendor Session (15:30 - 16:30) ------------------------ ******* Interfacing with Other Worlds (Session chair: Erhard Ploedereder) ----------------------------- (Tuesday, June 11, 16h30-18h00) Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83 396 Thierry Millan, Pierre Bazex Interoperability of C++ Classes and Ada Tagged Types (extra notes) Robert Dewar, Cyrille Comar An Ada 95 Harness for Converting Legacy Fortran Applications 413 Bernd Gliss Experience Reports II (Session chair: Charlene Roberts-Hayden) --------------------- (Tuesday, June 11, 16h30-18h00) Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question! 460 Philippe Waroquiers Experiences Applying a Practical Architectural Method 471 David E. Emery, Richard F. Hilliard II, Timothy B. Rice A Decade of Development and Deployment of Distributed Ada Systems 485 John D. Smart ******* Ada-Europe General Assembly (18:00 - 19:00) ******* Vendor Hospitality Suites (19:00 - late) ---------------------------------------------------------------------------- Wednesday --------- Invited Speech (Session chair: Alfred Strohmeier) -------------- (Wednesday, June 12, 8h30-9h30) Fault-Tolerance by Replication in Distributed Systems 38 André Schiper ******* Break and Vendor Session (9:30 - 10:30) ------------------------ ******* Distributed Systems (Session chair: Laurent Pautet) ------------------- (Wednesday, June 12, 10h30-12h30) Secure Communication in Distributed Ada 198 Jörg Kienzle, Thomas Wolf, Alfred Strohmeier Using Object-Oriented Methods in Ada 95 to Implement Linda 211 Kristina Lundqvist, Göran Wall Shared Packages Through Linda 223 Göran Wall, Kristina Lundqvist Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications 235 Francisco J. Miranda, Angel Alvarez, Sergio Averalo, Francisco J. Guerra Verification and Validation (Session chair: Stephane Barbey) --------------------------- (Wednesday, June 12, 10h30-12h30) A Framework for Testing Object-Oriented Software Using Formal Specifications 159 Rohan Fletcher, A.S.M. Sajeev On Some Characterisation Problems of Subdomain Testing 147 T. Y. Chen, Y. T. Yu Testing Ada 95 Programs for Conformance to Rapide Architectures 123 Neel Madhav Tasking Deadlocks in Ada 95 Programs and Their Detection 135 Jingde Cheng, Kazuo Ushijima ******* Lunch (12:30 - 14:00) ----- ******* Safety & Security (Session chair: Lars Asplund) ----------------- (Wednesday, June 12, 14h00-15h30) Ada 95 and Critical Systems: An Analytical Approach 171 Dan Craigen, Mark Saaltink, Steve Michell The Use of Ada in Critical Systems, such as the TGV Hervé Legall, Gilles Legoff, Marc Richard-Foy (Extra notes) Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment 183 Alfred Rosskopf Asis Panel (Co-chairs: Currie Colket and Sergey Rybin) (Extra notes) ---------- (Wednesday, June 12, 14h00-15h30) ******* Break and Vendor Session (15:30 - 16:30) ------------------------ ******* The Ada 95 Programming Language I (Session chair: Stef Van Vlierberghe) --------------------------------- (Wednesday, June 12, 16h30-18h00) Beyond Ada 95: The Addition of Persistence and Its Consequences 342 Michael J. Oudshoorn, Stephen C. Crawley An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming 370 Patrick de Bondeli Extending the Object-Orientedness of Ada 95 357 Bernd Holzmueller Asis Panel (continued) (Co-chairs: Currie Colket and Sergey Rybin) (Extra notes) ---------- (Wednesday, June 12, 16h30-18h00) ****** Bus departure for the Banquet (18:45 SHARP) Banquet at the Chateau du Chatelard (19:00 - 23:30) ---------------------------------------------------------------------------- Thursday ------- Invited Speech (Session chair: Alfred Strohmeier) -------------- (Thursday, June 13, 8h30-9h30) Ada 95: An Effective Concurrent Programming Language 58 Alan Burns ******* Break and Vendor Session (9:30 - 10:30) ------------------------ ******* Real-Time Systems (Session chair: Jean-Pierre Rosen) ----------------- (Thursday, June 13, 10h30-12h30) The Dining Philosophers in Ada 95 247 Benjamin M. Brosgol Using Ada 95 for Prototyping of Real-Time Systems 262 Jorge Real, Agustin Espinosa, Alfons Crespo The GNARL Implementation of POSIX/Ada Signal Services 275 Dong-Ik Oh, Ted P. Baker, Seung-Jin Moon Implementing Protected Types on Embedded Targets 287 David Mundie, John Fardo, Ed Kuzemchak ******* Lunch (12:30 - 14:00) (Exhibition closes) ----- ******* The Ada 95 Programming Language II (Session chair: Angel Alvarez) ---------------------------------- (Thursday, June 13, 14h00-15h30) Where Does GOTO Go to? 385 Wolfgang Gellerich, Markus Kosiol, Erhard Ploedereder Augmenting Ada 95 with Additional Real-Time Features 330 Johann Blieberger, Roland Lieger, Bernd Burgstaller Planning the Transition to Ada 95 for a Large Real-Time Project 500 Roland Feith, Michael Tonndorf The Business Case of Ada ------------------------ (Thursday June 13, 14h00-15h30 panel chaired by Bob Mathis, Director of ARA ******* Break (15:30 - 16:30) ----- ******* Closing Session (Session chair: Alfred Strohmeier) --------------- (Thursday, June 13, 1996, 16:30 - 17:30) Transitioning the AJPO Dr. Charles Engle, Director of the Ada Joint Program Office John Barnes, President of Ada-Europe: Best paper and best presentation awards. John Barnes, President of Ada-Europe: Farewell address. ********************************************************************** PART B: TUTORIALS, WORKSHOPS AND JOINT EVENTS --------------------------------------------- TUTORIALS (all at hotel Montreux Palace) (8:30 - 12:00, and 13:30 - 17:00) Monday, June 10, Full Day o OOP with Ada 95 and other gOODies, John Barnes o Object Technology Project Management, Richard T. Due o Real-Time and Distributed Features of Ada 95, Joyce L. Tokar Friday, June 14, Full Day o Software Architecture and Iterative Development Process, Philippe Kruchten Friday, June 14, Morning o Task Schedulability Analysis, Vance Christiaanse o Writing Java(tm)-Compatible Applets in Ada 95, S. Tucker Taft Friday, June 14, Afternoon o Information Systems Programming in Ada 95, Benjamin M. Brosgol o Real-Time POSIX, Michael Gonzalez Harbour WORKSHOPS --------- Monday, June 10, Afternoon (13:30 - 17:00): Design Patterns for Active Objects (Location to be announced) Organizer: Mark Gerhardt, Gerhardt_Mark@srs.loral.com Thursday, June 13, Afternoon (14:00 - 17:30): Design and Coding Guidelines for Ada 95 Organizer: Philippe Kruchten, pkruchten@rational.com JOINT EVENTS (by invitation only) ------------ ASIS Working Group (Monday, June 10, Eurotel Riviera) ISO WG9 (Friday, June 14, Eurotel Riviera) ARG Meeting (Sat-Mon, June 15-17, Eurotel Riviera)