From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: * X-Spam-Status: No, score=1.6 required=5.0 tests=BAYES_00,INVALID_DATE, TO_NO_BRKTS_PCNT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,4e3f265316846c82,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-09-10 06:46:27 PST Path: nntp.gmd.de!xlink.net!rz.uni-karlsruhe.de!news.uni-ulm.de!news.belwue.de!zib-berlin.de!news.th-darmstadt.de!terra.wiwi.uni-frankfurt.de!zeus.rbi.informatik.uni-frankfurt.de!news.dfn.de!Germany.EU.net!EU.net!ub4b!idefix.CS.kuleuven.ac.be!neptunus.cs.kuleuven.ac.be!not-for-mail From: dirk@neptunus.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada Subject: Ada in Europe Symposium - programme (long!) Date: 9 Sep 1994 17:46:51 +0200 Organization: Dept. Computer Science, K.U.Leuven Distribution: world Message-ID: <34q01b$j6h@neptunus.cs.kuleuven.ac.be> NNTP-Posting-Host: neptunus.cs.kuleuven.ac.be Date: 1994-09-09T17:46:51+02:00 List-Id: I managed to get a machine readable version of the programme for the Ada in Europe Symposium, which takes place at the end of the month in Copenhagen, Denmark. It seems this information is not (yet) available widely, so I'm posting a cleaned-up version here. This programme is also available via WWW: http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/9409-aie.html I hope this helps. Dirk Craeynest | Absynt (semantics directed compiler construction) (Team Ada) | EROOS (environment for OO analysis and design) Ada-Belgium Newsletter Editor | e-mail: dirk@cs.kuleuven.ac.be Katholieke Universiteit Leuven | dirk@source.asset.com Department of Computer Science | phone: ++32(0)16-201015 x3575 Celestijnenlaan 200 A | fax: ++32(0)16-205308 B-3001 Leuven (Heverlee), Belgium | http://www.cs.kuleuven.ac.be/~dirk ------------------------------------------------------------------------ First Symposium 'ADA IN EUROPE' organised by EUROSPACE & ADA-EUROPE 26-30 September 1994 The major European Software Engineering Conferences 'Ada in Aerospace' and 'Ada-Europe' merge to a single event of global significance Programme SAS Scandinavia Hotel Amager Boulevard 70 2300 COPENHAGEN S / DENMARK ------------------------------------------------------------------------ -------------------- ORGANISING COMMITTEE -------------------- Symposium Logistics: Ms. Rosy PLET, Public Relations EUROSPACE 16 bis, avenue Bosquet 75007 PARIS, FRANCE Tel. +33 (1) 45 55 83 53 Fax. +33 (1) 45 51 99 23 Abstracts, tutorials and panels: - Mr. Marcel TOUSSAINT, EUROSPACE (see address above) - Mr. Finn HASS, Computer Resources International A/S Space Systems Division (Denmark) Tel. +45 (45) 82 21 00 Fax. +45 (45) 82 26 20 - Mr. Lars ASPLUND, Uppsala University Department of Computer Systems (Sweden) Tel. +46 (18) 18 35 27 Fax. +46 (18) 55 02 25 -------------------------------- CHAIRMEN AND PROGRAMME COMMITTEE -------------------------------- Chairman: Finn HASS, C.R.I. (Chairman of 'Ada and S/W Engineering Panel' of Eurospace) Vice Chairman: John BARNES, Consultant (Ada-Europe President) Programme Committee Members: ADA-EUROPE: L. ASPLUND Department of Computer Systems (Sweden) J. BARNES John Barnes Informatics (UK) X. CUSSET 3ip (France) K. MANGOLD ATM Computer GmbH (Germany) J.P. ROSEN Adalog (France) EUROSPACE: D. ALZERRA Dassault Electronique (France) R. BORCZ DASA - MBB (Germany) S. CHANDLER Logica Space and Communications (UK) F. CICERI Laben (Italy) L. DESPLAS Matra Marconi Space (France) R. FLABAT SHAPE (Belgium) A. FODDE Alenia Spazio (Italy) R. GERLICH DASA - Dornier (Germany) G. GUARRERA Alenia Spazio (Italy) F. HASS C.R.I. (Denmark) P. LACAN Aerospatiale (France) R. LANDWEHR Competence Center Informatik (Germany) G. MACCHIA Space Software Italia (Italy) P. MAZAL CNES (France) C. MAZZA ESA-ESOC (Germany) A. MOYA European Union (Belgium) P. PANARONI Intecs Sistemi (Italy) C. ROLLS ESA-ESTEC (The Netherlands) J.S. STEVENS British Aerospace (UK) M. TOUSSAINT Eurospace (France) G. WALSH SENER (Spain) ------------------------------------------------------------------------ Tutorial on Monday 26 September 1994, from 9:30 to 12:30 Joint Application Development (JAD) Using Object-Oriented Models by John A. ANDERSON (SYNETICS, USA) Tel: + 1 703 848 25 50 - Fax: +1 703 848 25 87 Object-oriented development methods have transformed many of the activities of modern software engineering. Object-oriented methods are more expressive and comprehensive than earlier approaches. Joint Application Development (JAD) is an innovative technique for structuring the interaction among users, customers, analysts and developers. JAD streamlines the requirements elicitation process and improves communication between contractors and customers. JAD offers proven tools and techniques that can produce responsive systems in up to 40% less time. Originally, the JAD approach was applied in information systems applications. The incorporation of object-oriented modeling techniques have resulted in a powerful combination of communication and technical precision that is effective in embedded systems applications as well. While JAD provides the structure for the relationship between contractor and developer, object-oriented analysis provides more effective models of the problem domain that stimulate discussion and help remove common ambiguities. This tutorial introduces the concepts of object-oriented analysis and discusses how various traditional analysis techniques (e.g., data flow diagrams, state transition diagrams, and entity relationship diagrams) can be applied to establish a more comprehensive model of the problem domain. The JAD concept and process are described in detail illustrating how and where object-oriented models can be applied. Industry examples illustrate the power of object-oriented analysis methods and how the JAD process was used to resolve issues during development. This tutorial will clarify technical and management expectations, as well as identify resources for further investigation. The presentation is aimed at developers and managers in industry. ------------------------------------------------------------------------ Tutorial on Monday 26 September 1994, from 9:30 to 12:30 Meeting Hard Deadlines with Ada 9X by Svend BODILSEN (DDC-I A/S, Denmark) Tel: +45 45 87 11 44 - Fax: +45 45 87 22 17 After establishing a common frame work for the discussions the tutorial will introduce the most important scheduling theories and their analytical characteristics and limitations, in particular the description of sporadic tasks and transient overload. Furthermore, the implication on system development, and possible Ada 9X implementations will be discussed. The following scheduling theories will be discussed: Cyclic executives Rate monotonic scheduling Deadline monotonic scheduling Priority inheritance protocol Priority ceiling protocol Immediate priority ceiling protocols This in principle discusses the Annex H: Real-Time Systems of the Annotated Ada 9X Reference Manual. The above mentioned scheduling theories are valid for mono-processors. The discussion will be extended to cover multi-processors systems as well. During the discussion it will be evident that some support tools are required to obtain the basic timing figures required by the theories in order to determine the schedulability of a given Ada program. The following support tools will be needed to determine the schedulability of an Ada 9X partition: Basic block timing determination User guided schedulability analysis tools ------------------------------------------------------------------------ Tutorial on Monday 26 September 1994, from 9:30 to 12:30 HOOD and Object Oriented Programming, a case study by Maurice HEITZ (CISI GROUP, France) Tel: +33 61 17 66 66 - Fax: +33 61 54 13 39 and Pierre DISSAUX (TNI, France) Tel: +33 98 05 44 27 - Fax: =33 98 49 45 33 PRESENTATION This tutorial gives practical advises for the integration of object oriented analysis and programming techniques within the HOOD framework. An approach is defined that aims at using several methods (e.g. OMT models for analysis, for design, HOOD, STDs) and defining their co-operation with HOOD in the life-cycle by developers with different OOP backgrounds and experience. It has been applied for demonstration and validation on a several studies implemented in C++ and possibly in Ada 9X. The tutorial will first recall OOP and HOOD concepts, and illustrate HOOD Abstract Data Type (HADT) object extensions and their implementation in the TNI STOOD toolset. In a second time, a case study (the FQS) will be intensively studied and demonstrated. Finally a conclusion will be given on how applying the suggested approach in the context of large projects and development standards. The FQS (Fifo Queuing System) case study is a toy system running under X_WINDOW system that has a control window taking USER commands to create and destroy producers and consumers. A window is also to each producer and consumer in the system for input and output of text messages. Producers and consumers communicate through a FIFO BUFFER. A full HOOD documentation of the FQS will be part of the proceedings. WHO SHOULD ATTEND? This tutorial addresses design, management and programming issues and should be attended by senior software designers, project managers, software designers and programmers familiar with HOOD, Ada or C. Some knowledge on object oriented concepts (class, inheritance and polymorphism) is however highly recommended in order to favour the assimilation of the concepts in the short time allocated (3 to 4 hours?). ------------------------------------------------------------------------ Tutorial on Monday 26 September 1994, from 14:30 to 17:30 Managing the Transition to Ada 9X by Ms. Chris ANDERSON (Ada 9X Project Manager) and Erhard PLOEDEREDER (Chair, Ada 9X Distinguished Reviewers) INTENDED AUDIENCE: Program managers, project managers and lead technical designers, involved in projects that will use Ada 9X as the implementation language or that will transition from Ada 83 to Ada 9X in the 1994-1997 timeframe. SUMMARY: The tutorial will provide the audience with a wealth of information, both managerial and technical, to assist in the planning of a transition strategy for projects and companies to Ada 9X. It Is intended as a highly interactive tutorial. in which the audience can explore their important problems at some depth with the presenters. This tutorial is an updated version of a tutorial presented at TRI-Ada'93. SUBJECTS COVERED: - brief recap of project history, status, and standardization schedule - brief summary of major enhancements in Ada 9X - role of Annexes in the Ada 9X standard and what they mean to users - compatibility issues in migrating Ada 83 code into an Ada 9X environment - interoperability issues arising in the transition - making the transition easier by guidelines in using Ada 83 - interacting with Ada 9X vendors - major steps by the Ada 9X project to ease the transition to Ada 9X - validation status of Ada 83 and Ada 9X compilers - revised validation approach for Ada 9X - the proposed DoD policy with regard to the use of Ada 9X (mandated when and under what circumstances) - a checklist of things to consider and to deal with in transition - suggested transition strategy. ------------------------------------------------------------------------ Tutorial on Monday 26 September 1994, from 14:30 to 17:30 Object-Oriented Programming with Ada 9X by Stephane Barbey, Magnus Kempe, and Prof. Alfred Strohmeier (the Swiss Federal Institute of Technology in Lausanne) Contact person: Stiphane Barbey (stephane.barbey@di.epfl.ch) Tel: +41 21 693 5243 - Fax: +41 21 693 5079 Abstract Ada 9X--the revised definition of the Ada programming language-- provides support for object-oriented programming. This course provides a comprehensive view of object-oriented programming with Ada; it is divided in three parts. First, it examines the new, object-oriented features of the language, their use, and how they fit into Ada's strong type system and genericity mechanisms. Basic object-oriented mechanisms are covered, such as: type extension, inheritance, and polymorphism. We then show how to integrate these mechanisms into good programming practices; topics include incremental programming, heterogeneous data structures, mixing inheritance, and design for reuse. Finally, we compare standard object-oriented idioms in Ada with those of major object-oriented languages (e.g. C++, Eiffel). Background assumed by the tutorial We assume limited acquaintance with object-oriented concepts, and a general familiarity with a Pascal-like programming language. However, no specific Ada experience is required. This tutorial has, in past years, been taught to a world-wide attendance from industry and academia. Intended audience This tutorial is intended for anyone who wants to learn object-oriented programming with Ada 9X. The tutorial may also be of interest to programmers familiar with other object-oriented languages, and who want to widen their perspective of object-oriented technology. ------------------------------------------------------------------------ Tutorial on Monday 26 September 1994, from 14:30 to 17:30 Ada: The "Other" Open Systems Language by David EMERY (The MITRE Corporation, USA) Tel: +1 617 271 2815 - Fax: +1 617 271 4686 Open Systems developers usually look to C as the programming language for their applications. This is due to the wide availability of C language bindings for open systems components such as POSIX and X Windows, and also because of C's portability. Ada provides an alternative to C for developing applications in an Open Systems Environment. This tutorial presents Ada as a viable language for implementing Open Systems based applications. The Open Systems models from the POSIX Open Systems Guide (POSIX.0) and the NIST APP will be discussed. For each Open System standards, the state of Ada bindings for the standard will be discussed. The tutorial will also present The MITRE Corporation experiences developing Open Systems Applications in Ada, and survey some current DoD projects using Ada to develop Open Systems. Learning Objectives (at the end of the tutorial, the attendee should be able to): 1. Understand the following terms: open system, formal standard, public standard, interface, binding, reference model, profile. 2. Provide a simple reference model for an open system. 3. Know the current status of common formal and de-facto standards currently used in profiles. Know the state of Ada bindings for these standards. 4. Provide a profile based on a reference model that selects appropriate standards and bindings. Identify where the selected standards overlap, and resolve overlaps. Identify shortcomings in the profile, and discuss ways to fill these gaps. 5. Understand the issues in measuring conformance to a profile. Know the difference between implementation conformance and application conformance. ------------------------------------------------------------------------ Tutorial on Friday 30 September 1994, from 9:30 to 17:30 MIL-STD-SDD (498) Revisions to DOD-STD-2167A by Lewis GRAY (Ada PROS Inc., USA) Tel: +1 703 591 5247 - Fax: +1 703 591 5005 This course first compares overviews of the proposed new standard, MIL-STD-498, and the current standard DOD-STD-2167A. It follows by reviewing the system engineering requirements in the two standards, then it examines software process and software design requirements in both standards in detail. The course concludes with a review of other functional areas in both standards and Ada-community reactions to the new standard. OBJECTIVES Present major similarities and differences between MIL-STD-498 and DOD-STD-2167A. Train managers and engineers to document MIL-STD-498's software units differently from 2167A's CSCs and CSUs. WHO SHOULD ATTEND Engineers and managers already familiar with DOD-STD-2167A who wish to review the new contracting requirements that they may face if MIL-STD-498 supersedes it. ------------------------------------------------------------------------ Tutorial on Friday 30 September 1994, from 9:30 to 12:30 Process Management Concepts and the Capability Maturity Model (CMM) for Software by Judy Bamberger (Sequent Computer Systems Inc, USA) Tel: +1 503 578 3028 - Fax: +1 503 578 7562 bamberg@sequent.com (internet) Abstract: This hands-on, interactive workshop introduces the process management concepts on which the CMM is based, discusses the benefits of process management, and presents the five-level maturity model. The concepts behind key portions of the Repeatable and Defined Levels are used in the several exercises throughout this workshop. At the end of this workshop, attendees will be able to discuss and demonstrate basic process management concepts, describe the five levels of process maturity, describe the characteristics of a Repeatable Level organization, and compare their project/organization to Repeatable Level characteristics. This workshop provides an introduction to the Capability Maturity Model, which is being used internationally as one mechanism to select contractors and subcontractors for producing software on government and commercial contracts. The relationship between the CMM and ISO 9000 is discussed based on attendee questions. The applicability of the Capability Maturity Model to overall software process improvement programs is also demonstrated. Intended Audience: Software engineering practitioners, managers, educators; government and industry. Geared to those who want to learn one (of many) ways to view software engineering process and quality issues and some strategies for implementing process and quality programs in their current position. This work is based on the real-world application of tools created by the Software Engineering Institute in government and commercial software development organizations. ------------------------------------------------------------------------ Tutorial on Friday 30 September 1994, from 14:30 to 17:30 Components of an Effective Process Improvement Program by Judy Bamberger (Sequent Computer Systems Inc, USA) Tel: +1 503 578 3028 - Fax: +1 503 578 7562 bamberg@sequent.com (internet) Abstract Process improvement is messy; it takes time; it takes patience; it takes creativity and perseverance. And guess what - there is no one right way! This workshop introduces several skills and concepts that have proven effective, and provides time for individuals and teams to discuss and practice them. A case study is woven through the workshop, so the attendees can practice as they learn. This workshop provides an introduction or a refresher to leadership and team skills, as well as sponsorship building and managing technological change. These skills, strategies, techniques and tools are applicable to software process improvement efforts modeled after the Capability Maturity Model or ISO 9000, or improvement programs, or any other focus or framework. In other words, this workshop is not focused on "here is how you get to Maturity Level X" - we have found that such cookbook formulae invariably fail. Instead, this workshop focuses on basic skills that can be adapted and tailored to each organization, group, team, and applied across the board. Intended Audience: Software engineering practitioners, managers, educators; government and industry. Geared to those who are leading or who are (or will be) involved in process improvement activities. This work is based on an extended bibliography of tried-and-true techniques and models across industry in general. ------------------------------------------------------------------------ First Symposium 'Ada in Europe' 26-30 September 1994, Copenhagen PROGRAMME Symposium Chairman: Finn HASS, C.R.I., Denmark ------------------------- MONDAY, 26 SEPTEMBER 1994 ------------------------- 9:30 to 12:30 TUTORIAL by Synetics* (separate registration) Joint Application Development (JAD) Using Object-Oriented Models 9:30 to 12:30 TUTORIAL by DDC-I A/S* (separate registration) Meeting Hard Deadlines with Ada 9X 9:30 to 12:30 TUTORIAL by Cisi Group and TNI* (separate registration) HOOD and Object Oriented Programming, a case study 14:30 to 17:30 TUTORIAL by Ms. C. Anderson (Ada-9X Project Manager) and Mr. E. PLOEDEREDER (Chair, Ada 9X Distinguished Reviewers)* (separate registration) Managing the Transition to Ada 9X 14:30 to 17:30 TUTORIAL by the Swiss Federal Institute of Technology in Lausanne* (separate registration) Object-oriented programming with Ada 9X 14:30 to 17:30 TUTORIAL by The MITRE Corporation* (separate registration) Ada: the "Other" Open Systems Language 16:00 to 18:00 REGISTRATION OF THE PARTICIPANTS OF THE SYMPOSIUM 18:00 WELCOME TO THE SYMPOSIUM Symposium Chairman 18:15 Opening Address C. Anderson, Ada-9X Project Manager 19:30 BUFFET-DINNER HOSTED BY EUROSPACE * Subject to confirmation -------------------------- TUESDAY, 27 SEPTEMBER 1994 -------------------------- SESSION 1 - COMPILER ISSUES, LANGUAGE Session Chairman: J. Barnes, JBI, UK ------------------------------------- 9:00 Run-Time Check Elimination for Ada 9X P. L|tzen Moller (DDC-I A/S, Denmark) DISCUSSION 9:30 Adequacy of the Ada Tasking Model to the new generation of multi-threading operating systems J. Sevestre, J. Brygier (Alsys, France)) DISCUSSION 10:00 Merging Ada 9X and C++ in a Graphics System Software Architecture J.R. Kayloe, P.K. Lawlis (Air Force Institute of Technology, USA) DISCUSSION 10:30 COFFEE BREAK SESSION 2 - SAFETY Session Chairman: J. Walsh, SENER, Spain ---------------------------------------- 10:45 The AECSS Fault Tolerant Distributed Ada Testbed and Application P. Rogers (SBS Engineering Inc., USA) M. Pitarys (United States Air Force) DISCUSSION 11:15 FAA Certification of Ada Run-Time Systems S. Silberg, T.B. Rasmussen (DDC-I A/S, Denmark) DISCUSSION 11:45 Event diagnosis and recovery in real-time on-board autonomous mission control F. Ciceri, L. Marradi (Laben, Italy) DISCUSSION 12:15 DEMONSTRATIONS/VENDOR SESSIONS 13:00 LUNCH SESSION 3 - CRITICALITY/ FORMAL METHODS Session Chairman: R. Gerlich, DASA, Germany ------------------------------------------- 14:30 Tool Support for High Integrity Ada Software J.A. McDermid, A.D. Hutcheon, D.T. Jordan, R.H. Pierce, I.C. Wand (York Software Engineering Ltd., UK) DISCUSSION 15:00 Testing of Ada Abstract Data Types using Formal Specification S. Barbey, D. Buchs (Swiss Federal Institute of Technology) DISCUSSION 15:30 Using RAISE and LOTOS within the European Space Software Development Environment P. Taylor (EDS, UK) DISCUSSION SESSION 4 - OBJECT ORIENTED DEVELOPMENT/ OBJECT ORIENTED DESIGN Session Chairman: F. Hass, CRI, Denmark --------------------------------------------------------------- 16:00 COFFEE BREAK 16:15 Object orientation is not always best! R. Ward, J. Stevens (BAe, UK) DISCUSSION 16:45 Beyond abstract data types: giving life to objects D. Sotirovski, S.S. Jovanovic, P. Kruchten (Hughes Aircraft of Canada) DISCUSSION 17:15 Experiences Integrating Object-Oriented Analysis with Joint Application J.A. Anderson (Synetics Corporation, USA) Development (JAD) DISCUSSION 17:45 DEMONSTRATIONS/VENDOR SESSIONS 18:30 to 19:30 - PANEL I - SAFETY AND RELIABILITY Panel Chairman: F. Hass, CRI, Denmark ------------------------------------------------- Discussion based on practical applications in various areas: Airbus, Railway Systems, EFA, Rafale, etc. ---------------------------- WEDNESDAY, 28 SEPTEMBER 1994 ---------------------------- SESSION 5 - DESIGN, OBJECT ORIENTED DESIGN, DESIGN TOOLS Session Chairman: P. Obermayer, CCI, Germany -------------------------------------------------------- 9:00 Integrating Modular, Object Oriented Programming and Application Generator Technologies in large Real Time and Distributed Developments M. Heitz (CISI Group, France) P. Dissaux (TNI) DISCUSSION 9:30 A new approach for HOOD / Ada mapping E. Morel (Rational Software Corporation, France) DISCUSSION 10:00 Shlaer/Mellor or Rumbaugh? A Discussion of two popular Object-Oriented Methods H. Schneeweiss (Cadre Technologies GmbH, Germany) DISCUSSION SESSION 6 - MANAGEMENT/TRAINING Session Chairman: C. Rolls, ESA/ESTEC, The Netherlands ------------------------------------------------------ 10:30 COFFEE BREAK 10:45 How should military Ada software be documented? L. Gray (Ada PROS, USA) DISCUSSION 11:15 Evolving an Ada Curriculum to 9X J. Rymer (Loral Federal Systems, USA) DISCUSSION 11:45 Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment L.P. Gale (BSO/Nieuwegein BV, The Netherlands) DISCUSSION 12:15 DEMONSTRATIONS/VENDOR SESSIONS 13:00 LUNCH SESSION 7 - LIFE CYCLE Session Chairman: X. Cusset, 3IP, France ---------------------------------------- 14:30 Extended application of Ada to cover ECBS with O4S I. +gren (Romet AB, Sweden) DISCUSSION 15:00 Development of a Lightweight Object-Based Process Model Under Pragmatic Constraints F.J. Nu(ez, R. Prades (ESA/ESOC, Germany) DISCUSSION 15:30 ESSPASE - European Space SW Product Assurance Support Environment F. Correrini, P. Panaroni (Intecs Sistemi, Italy) DISCUSSION SESSION 8 - PROJECTS (SESSION A) Session Chairman: G. Guarrera, Alenia Spazio, Italy --------------------------------------------------- 16:00 COFFEE BREAK 16:15 Test Philosophy and Validation Strategy of on board real time software in Envisat-1satellite radar-altimeter S. Francola (Alenia Spazio, Italy) M. Manigrasso (CAP Gemini SESA Italia) DISCUSSION 16:45 Development of Ada SW at ERNO for the Columbus project E. Herrmann, J. Hoyng, P. Athmann, F. Kruse (DASA/ERNO, Germany) DISCUSSION 17:15 A knowledge-based system for diagnosis in veterinary medicine G. Brunet (IUT-Statistic and Data Processing, France) DISCUSSION 17:45 DEMONSTRATIONS/VENDOR SESSIONS 19:30 to 9X ? - PANEL II - ADA AFTER 9X --------------------------------------- Discussion topics not finalised at the present time. --------------------------- THURSDAY, 29 SEPTEMBER 1994 --------------------------- SESSION 8 - PROJECTS (SESSION B) Session Chairman: C Jorgensen, CRI, Denmark ------------------------------------------- 9:00 Safety aspects of the Ariane 5 on-board software S.A. Birnie (EASAMS Systems Engineering, Germany) DISCUSSION 9:30 Ada controls the European Robotic Arm J. Wiggers (Fokker Space & Systems BV, The Netherlands) DISCUSSION 10:00 Using Automatic Ada Source Code Generation for the Development of the Rafale Mission Computers Application Software H. Le Doeuff (Dassault Electronique, France) DISCUSSION 10:30 COFFEE BREAK SESSION 9 - RE-USE/ ADA LIBRARIES Session Chairman: L. Asplund, Uppsala University, Sweden -------------------------------------------------------- 10:45 A fully Reusable Class of Objects for Synchronization and Communication in Ada 9X P. de Bondeli (France) DISCUSSION 11:15 Interfacing Computer Communications from Ada in a Diverse and Evolving Environment S.S. Jovanovic, L. Simon, D. Sotirovski (Hughes Aircraft of Canada) DISCUSSION 11:45 Cost-Benefit Analysis for Software-Reuse - A Decision Procedure H. Noseck (Competence Center Informatik GmbH, Germany) 12:15 DEMONSTRATIONS/VENDOR SESSIONS 13:00 LUNCH SESSION 10 - RUN-TIME Session Chairman: P. Lacan, Aerospatiale, France ------------------------------------------------ 14:30 Ex2: integrating Ada and EXTRA support in a doubly portable Extended Executive designed for Hard Real Time Systems G. Pitette, J.Y. Corniglion (CR2A, France) D. Gepner (Dassault Electronique, France) T. Gohon (Sextant Avionique, France) D. Ragueneau (SAGEM, France) DISCUSSION 15:00 Distribution of Tasks within a Centrally scheduled Local Area Network L. Asplund, L. Bjvrnfot, K. Lundqvist, G. Wall (Uppsala University, Sweden) 15:30 Handling interrupts in Ada 9X J.L. Tokar (Tartan Inc., USA) 16:00 COFFEE BREAK SESSION 11 - REAL TIME Session Chairman: K. Mangold, ATM Computer, Germany --------------------------------------------------- 16:15 Tuning Ada Programs in Advance R. Gerlich (DASA/Dornier, Germany) U. Wagner (FH Albstadt-Sigmaringen, Germany) DISCUSSION 16:45 CEDEX - A tool for the selection of a development and execution environment for Real Time On-Board Applications J. Abadie (CNES, France) B. Busquere (CISI, France) DISCUSSION 17:15 Portability effort estimates for real time applications written in Ada through static code analysis P.E. Obermayer, J. Schrver, G. Sch|er, A. Klimek, P. Kompalla, R. Landwehr (Competence Center Informatik GmbH, Germany) DISCUSSION DEMONSTRATIONS/VENDORS/TOOLS SESSIONS -------------------------------------- Presentations describing products or specific tools, to be scheduled as additional presentations: Life*ADA: An APSE Integrating Multiple Compiler Systems S.U.Palm (C.R.I. A/S, Denmark) Traceability in the large E. Andre (Sema Group, France) (additional vendor presentations are possible) Test Methods and Tools for SOHO Mass Memory Unit Software P. Arberet, L. Desplas (Matra Marconi Space France) ------------------------- FRIDAY, 30 SEPTEMBER 1994 ------------------------- 9:30 to 12:30 TUTORIAL by Synetics* (separate registration) Joint Application Development (JAD) Using Object-Oriented Models 9:30 to 17:30 TUTORIAL by Ada PROS, Inc.* (separate registration) MIL-STD-SDD (498) Revision to DOD-STD-2167A 9:30 to 12:30 TUTORIAL by Sequent Computer Systems Inc.* (separate registration) Process Management Concepts and the Capability Maturity Model (CMM) for Software 14:30 to 17:30 TUTORIAL by Sequent Computer Systems Inc.* (separate registration) Components of an Effective Process Improvement Program * Subject to confirmation ------------------------------------------------------------------------ ------------------- GENERAL INFORMATION ------------------- LOCATION The Symposium will take place at the Hotel: SAS Scandinavia Hotel Amager Boulevard 70 2300 COPENHAGEN S / DENMARK Tel. +45 33 11 23 24 Fax. +45 31 57 01 93 REGISTRATION Advance: Please complete the enclosed registration form and send it to Eurospace before August 15, 1994. On-site: The Symposium Secretariat will open on Monday, 26 September, 1994 from 16:00 to 18:00 p.m. for late registrations, documentation and information, and will remain in operation throughout the Symposium. SYMPOSIUM FEES A Symposium fee of 4 800 FF is asked from all participants, including speakers and chairmen. This fee includes lunches, coffee breaks, buffet dinner (please indicate on the registration form if you wish to participate) and proceedings. However, students registering before July 1, 1994 get a reduced fee of 1 500 FF. The fee for tool demonstrations is from 20 000 FF (9 m2), 25 000 FF (12 m2) to 30 000 FF (15 m2), including one attendance fee for the Symposium paper presentations. TUTORIALS Registrations to tutorials are to be sent to EUROSPACE by August 15 at the latest using the attached Form. The list of tutorials will be finalised on August 15, 1994 following the number of registrations received for each tutorial. Each author may cancel its tutorial if there are not sufficient registrations at that date. Tutorial fees have to be paid by cash directly to the authors at the Symposium in Copenhagen. PAYMENT Before the Symposium: - by cheque payable in French Francs, or - by bank transfer to the order of EUROSPACE, Bank account N+ 5329 R - 50, at CREDIT LYONNAIS, Agence 572, 55 avenue des Champs Elysies, F-75381 PARIS CEDEX 08 (please ask your bank to indicate your name and "Ada" in order to avoid any error). At the Symposium: by cash in French Francs only. Payment by credit card is not possible. CANCELLATIONS Refunds of 50% will be made if a written request is received before September 16, 1994. No refunds will be made for cancellations received after this date but substitutions are possible. HOTEL RESERVATIONS Block reservations have been made at special Symposium rates at SAS Scandinavia Hotel. Delegates are requested to make their room reservations very rapidly and at the latest by August 15, 1994 using the attached room reservation form and send it to Eurospace. LANGUAGE English will be the language of the Symposium. PRESENTATION FACILITIES Overhead and slide projectors will be available. Any other presentation facility can be supplied by applying to EUROSPACE before September 16, 1994. TRAVEL AND BANK FACILITIES Travel and exchange arrangements can be made by the Concierge of the Hotel. PROCEEDINGS Proceedings will be published after the Symposium. Authors are requested to send their full text as soon as possible to EUROSPACE and at the latest at the Symposium following the instructions already provided to them. TOOL DEMONSTRATIONS are scheduled at the end of each morning and afternoon in a special show room, next to the Conference Room. Vendors presentations can be organised in the conference room during these periods. The preliminary list of exhibitors is as follows: ALSYS IRVINE COMPILER C.R.I. A/S RATIONAL COMPETENCE CENTER INFORMATIK SEMA GROUP DASSAULT ELECTRONIQUE TLD SYSTEMS LTD. DDC-INTERNATIONAL VERDIX FOR ANY FURTHER INFORMATION, PLEASE CONTACT: Ms. Rosy PLET, Public Relations EUROSPACE Tel: + 33 (1) 45 55 83 53 Fax: + 33 (1) 45 51 99 23 ------------------------------------------------------------------------