Ada Europe KULeuven
Organization   |   Call for Papers   |   Program   |   Registration   |   Venue
Call for Exhibitors   |   Call for Sponsors

AE2001 Home

Program Information

arrow Download Information         arrow Workshops         arrow Paper & vendor presentations
arrow Invited Speakers arrow Tutorials

Download Information

Invited Speakers

    arrow   [ Tue May 15, 09:00 ]   Building Formal Models for Software Requirements
        (Axel van Lamsweerde, Université Catholique de Louvain, Belgium)

      Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of services and constraints, and the assignment of responsibilities for the resulting requirements to agents such as humans, devices, and software. Getting high-quality requirements is difficult and critical. Recent surveys have confirmed the growing recognition of RE as an area of primary concern in software engineering research and practice.

      The talk will first briefly introduce RE by discussing its main motivations, objectives, activities, and challenges. The role of rich models as a common interface to all RE processes will be emphasized. We will then review various techniques available to date for system modeling, from semi-formal to formal, with the aim of showing their relative strengths and weaknesses when applied during the RE stage of the software lifecycle, notably, their limited scope, their lack of abstraction, their poor separation of concerns, and their lack of methodological guidance. The talk will then discuss a number of recent efforts to overcome such problems through RE-specific techniques for goal-oriented elaboration of requirements, multiparadigm specification, the handling of non-functional requirements, the management of conflicting requirements, and the handling of abnormal agent behaviors.

      Short Biography
      Axel van Lamsweerde is Full Professor of Computing Science at the University of Louvain, Belgium. He is co-founder of the CEDITI technology transfer institute partially funded by the European Union. He has also been a research associate at Philips Research Laboratories, the University of Oregon, and the Computer Science Laboratory of SRI International, Menlo Park, CA. His professional interests are in technical approaches to requirements engineering and, mor generally, in lightweight formal methods for reasoning about software engineering products and processes.

      van Lamsweerde is an ACM fellow. Since 1995, he is Editor-in-Chief of the ACM Transactions on Software Engineering and Methodology (TOSEM). He has been program chair of major software engineering conferences and workshops, including ESEC'91, ICSE'94, and IWSSD'93. He is member of the Editorial Boards of the Automated Software Engineering Journal and the Requirements Engineering Journal.

    arrow   [ Tue May 15, 16:30 ] Using Ada in Interactive Digital Television Systems
        (Pascal Heraud, CANAL+ Technologies, France)

      Since 1996, the Digital Television (DTV) market has been exponentially growing. Based on widely accepted MPEG and DVB standards, the digital television offers a higher image quality as well as an unlimited number of interactive services. Canal+ Technologies provides a complete end-to-end solution for Digital Television operators, from the central broadcast centers to the set-top boxes at home. The DTV broadcast center systems have availability, reliability and load constraints which require a robust implementation. For this reason, the server-side components of the Canal+ Technologies software have been developed in Ada.

      This presentation explains the architecture of a Digital Television system and how Ada is used inside this system. It also describes how this system is currently re-engineered from a proprietary Ada 83 / OpenVMS implementation using the DEC Ada compiler to an Ada 95 multi-platform implementation using the GNAT compiler.

      Short Biography
      Pascal Héraud works in the team doing the porting and re-engineering of the Canal+ applications from Ada 83 on OpenVMS to Ada 95 on multiple platforms. Before joining Canal+, he spent many years at Aonix as a software engineer working on both AdaWorld and ObjectAda products, both in Paris and San Diego.

    arrow   [ Wed May 16, 09:00 ] Testing from formal specifications: a generic approach
        (Marie-Claude Gaudel, Université de Paris-Sud, France)

      MC Gaudel was involved in a car accident and is still recovering. Her paper is printed in the proceedings but her keynote speech will be replaced by J.W. Moore's SWEBOK Report. (see below)

      Deriving test cases from specifications is now recognised as a major application of formal approaches to software development. Several solutions have been proposed for various formalisms: behavioural descriptions such as transition systems, model-based specifications, algebraic specifications, etc.

      This talk will present our general approach of test data selection from formal specifications. A notion of "exhaustive test set" is derived from the semantics of the formal notation and from the definition of a correct implementation. Then a finite test set is selected via some "testing hypothesis". This approach will be illustrated by its application to the case of algebraic specifications, object oriented Petri nets (CO-OPN2), LUSTRE, and full Lotos. Several case studies and industrial experiments will be reported.

      Short Biography
      Marie-Claude Gaudel was appointed full professor at the University of Paris-Sud in 1984 and is now professeur classe exceptionelle. Before joining UPS, she was a researcher at INRIA, then managed the Software Engineering group at the industrial research center of Alcatel-Alsthom (Marcoussis, France). Her research interests include formal methods, program robustness and testing methods. For many years, she has pushed for effective use of formal methods in all phases of critical system development, with an emphasis on testing activity.

      She is president of the Scientific Board of INRIA and is chair of the Board of RENATER (the French computer network for education and research). She is Doctor Honoris Causa of EPFL, and she got the CNRS Silver Medal in 1996 for her work on software testing.

    arrow   [Wed May 16, 09:00 ] A Report on the Software Engineering Body of Knowledge Project
        (James W. Moore, The MITRE Corporation, USA)

      The Software Engineering Body of Knowledge (SWEBOK) project is an effort of the IEEE Computer Society to characterize the contents and boundaries of the software engineering discipline. The key product of the project is a Guide which outlines the discipline and provides citations to key references in the literature. It is hoped that the Guide will serve as the basis for curriculum development, curriculum accreditation, and professional development. As the SWEBOK project nears the end of its second-of-three phases, we can perceive its likely contents. This brief report provides a summary of the project and its progress, and an overview of the Trial Use version of the SWEBOK Guide.

      Short Biography
      Jim Moore is an Executive Editor of the Software Engineering Body of Knowledge Project. He is a thirty-year veteran of software engineering and an ten-year veteran of software engineering standardization. He received his B.S. in Mathematics from the University of North Carolina (Chapel Hill) and his M.S. in Systems and Information Science from Syracuse University. Jim has worked in both the commercial and defense sectors for IBM and, now, The MITRE Corporation, where he is a focal point for standardization activities. Currently, he serves as the Head of the US delegation to ISO/IEC JTC1/SC7 (Software Engineering). He is a recipient of the IEEE's Third Millenium Award and has been named to the Computer Society's Golden Core. His book on Software Engineering Standards was published in 1997.

    arrow   [ Thu May 17, 09:00 ] Logic versus Magic in Critical Systems
        (Peter Amey, Praxis Critical Systems)

      A prevailing trend in software engineering is the use of tools which apparently simplify the problem to be solved. Often, however, this results in complexity being concealed or "magicked away". For the most critical of systems, where a credible case for safety and integrity must be made prior to there being any service experience, we cannot tolerate concealed complexity and must be able to reason logically about the behaviour of the system. The presentation draws to on real life project experience to identify some historical and current magics and their effect on high integrity software development; this is contrasted with the cost and quality benefits that can be made from taking a more logical and disciplined approach.

      Short Biography
      Peter Amey is an aeronautical engineer by original professional training. He was a serving engineering officer in the Royal Air Force where he spent several years at the Boscombe Down test establishment working on the certification of aircraft armament systems. Peter joined Program Validation Ltd to develop SPARK and th SPARK Examiner and continues that work with Praxis Critical Systems. As well as developing SPARK he has used it on the Tornado, Eurofighter and Lockheed C130J programmes.

    arrow   [ Thu May 17, 16:30 ] Can Java meet its real-time deadlines ?
        (Brian Dobbing, Praxis Critical Systems)

      Ada has been-there, done-that as regards meeting real-time programming requirements. The Ada95 revision addressed almost all the concerns that had plagued Ada83's usability. But Java is now the flavor of the month for just about everything it seems. Current Java semantics for all things concurrent are much inferior to even the generally rejected Ada83 tasking model, and so two on-going competing initiatives to fix Java concurrency are in progress. Both attempt to make Java suitable for real-time by addressing predictability, performance, footprint and missing features. But how successful are these attempts, and will they achieve the goal of producing high-reliability, high-performance and predictable Java-based software?

      Short Biography of presenter
      Brian Dobbing is senior technician at Praxis Critical Systems. Praxis Critical Systems. Previously he was Chief Technical Consultant at Aonix Europe and has been involved in the production of Ada development tools and runtime systems for almost 20 years. He was a member of ISO WG9 during the Ada95 revision process and spearheaded the definition of the Ravenscar Profile. Brian is also technical editor of the J Consortium working group that is defining ISO standard extensions to the Java platform for high integrity systems.

      Short Biography of co-author
      Ben Brosgol, a senior member of the technical staff of Ada Core Technologies in the U.S., has had a long and direct participation in the Ada effort as a language designer, implementor, educator and user. A well-known figure in the international Ada community and currently the Chair of ACM SIGAda, he has delivered many papers and tutorials at Ada conferences, including several in-depth comparisons of Ada and Java. Since early 1999 he has been involved with the real-time Java efforts. Ben is a primary member of the Real-Time for Java Expert Group, who have been operating under Sun's Java Community Process to specify a set of real-time extensions to the Java platform. He is also a reviewer of the J-Consortium's proposed core real-time Java extensions.



Paper & vendor presentations

    arrow   See Final Program (PDF) for more detailed information

    arrow   Paper and vendor presentation tracks on Tuesday May 15

    • [ Program Analysis ]
      • Parameter-induced aliasing in Ada ( Wolfgang Gellerich, Erhard Ploedereder )
      • Slicing tagged objects in Ada ( Z. Chen, B. Xu, H. Yang )
      • OASIS - an ASIS secondary library for analyzing object-oriented Ada code ( Alexei Kuchumov, Sergey Rybin, Alfred Strohmeier )

    • [ Software Process & Productivity ]
      • Why we have problems producing quality software: When the product and process become confused ( David A. Cook, Les Dupaix )
      • The Contribution of the Ada Language to System Development. A Market Survey ( Ada UK )

    • [ Distributed Systems ]
      • Building modern distributed systems ( Laurent Pautet, Samuel Tardieu )
      • A toolkit for reliable communication in distributed computer-controlled systems ( Luis Miguel Pinho, Francisco Vasques )
      • Building robust applications by reusing non-propietary software ( F. Guerra, J. Miranda, J. Calero )

    • [ Vendor Presentation Tracks ]

    arrow   Paper and vendor presentation tracks on Wednesday May 16

    • [ Real-Time Systems ]
      • New developments in Ada runtime profile definition and language refinements ( Joyce L. Tokar )
      • Complex task implementation in Ada ( Alfons Crespo, Patricia Balbastre, Silvia Terrasa )
      • Implementing a flexible scheduler in Ada ( Guillem Bernat, Alan Burns )

    • [ Language and Patterns ]
      • Expression templates in Ada ( Alexandre Duret-Lutz )
      • A design pattern for state machines and concurrent activities ( Bo Sanden )
      • Component libraries and language features ( Ehud Lamm, The Open University, Israel )

    • [ Dependable Systems ]
      • Experience report: using the SPARK toolset for showing the absence of run-time errors in safety-critical software ( Darren Foulger, Steve King )
      • Scenario-based system assessment ( Silke Kuball, et al. )
      • Test suite reduction and fault detection effectiveness: an empirical evaluation ( T.Y. Chen, M.F. Lau )

    • [ APIs and Components ]
      • JEWL: a GUI library for educational use ( John English )
      • Object-oriented stable storage based on mirroring ( Xavier Caron, Jörg Kienzle, Alfred Strohmeier )
      • Transaction support for Ada ( Jörg Kienzle, Ricardo Jiménez Peris, Alexander Romanovsky, M. Patiño Martinez )

    • [ Vendor Presentation Tracks ]

    arrow   Paper and vendor presentation tracks on Thursday May 17

    • [ Real-Time Kernels ]
      • MARTE OS: an Ada kernel for real-time embedded applications ( Mario Aldea Rivas, Michael González Harbour )
      • Implementing Ada.Real_Time.Clock and absolute delays in real-time kernels ( Juan Zamorano, Jose F. Ruiz, Juan A. de la Puente )
      • Defining new non-preemptive dispatching and locking policies for Ada ( Alan Burns )

    • [ Standard Formats: UML & XML ]
      • Modelling communication interfaces with ComiX ( Frank Oppenheimer, Dongming Zhang, Wolfgang Nebel )
      • Safe web forms and XML processing with Ada ( Mário Amado Alves )
      • Mapping UML to Ada ( Bill Taylor, Einar W Karlsen )

    • [ System Evolution ]
      • Ship System 2000, a stable architecture under continuous evolution ( Björn Källberg, Rei Stråhle )
      • Migrating large applications from Ada83 to Ada95 ( Philippe Waroquiers, et al. )
      • An application case for the Ravenscar Profile: Porting OBOSS to GNAT/ORK ( Rodrigo García García, Tullio Vardanega, Juan Antonio de la Puente )

    • [ Vendor Presentation Tracks ]

Back to index page   [ Back to index page ]   Back to index page

  Last Changed : 12/May/2001
  Contents of this page : Dirk Craeynest
  Webmaster : Dirk Walravens