7th International Conference on Reliable Software Technologies - Ada-Europe 2002

Vienna, Austria, June 17-21, 2002 http://www.ada-europe.org/conference2002.html

SIGAda Ada-Europe 2002 In 2002, the 7th International Conference on Re- on which its ever-changing history has left an liable Software Technologies will take place in Vi- indelible mark, manifested also in the rich cul- enna, Austria, from June 17th to June 21st. The tural heritage. Shaped by its hundreds of years conference offers a technical program and exhibi- as capital of an empire, the city’s ultimate fasci- tion, plus a series of tutorials and a workshop. nation nowadays stems from combining imperial The conference provides an international forum grandeur with explosive modernity. for researchers, developers and users of reliable The conference will take place in the Parkhotel software technologies. Presentations and discus- Sch¨onbrunn which originated in 1907 as the guest sions cover applied and theoretical work currently house of Emperor Franz Josef I. The newly ren- conducted to support the development and main- ovated hotel is located in the immediate vicin- tenance of software systems. ity of the ”Sch¨onbrunn Palace” and its beautiful , a city with about 2 million inhabitants surrounding park, situated close to the center of is situated in the heart of Europe. It is a city Vienna. Preliminary Program

Morning Late Morning After Lunch Afternoon

MaRTE OS: Bringing Embedded Systems and Using Open Source Hardware and Software to Real-Time POSIX Together, Build Reliable Systems, M. Gonz´alezand M. Aldea J. Sherrill and J. Gaisler

Monday Principles of Physical Software Design in Implementing Design Patterns in Ada95, June 17th Ada95, M. Heaney Tutorials M. Heaney

SPARK, an ”Intensive Overview”, P. Amey and R. Chapman

Tuesday Embedded Systems Embedded Systems Real-Time Systems June 18th unsuitable for High Integrity Sessions & object orientation, Systems Exhibition Maarten Boasson Case Studies Vendor presentations On Architectural Wednesday Program Analysis June 19th Stability and Ada Language Sessions & Evolution, Issues Tools Exhibition Mehdi Jazayeri Vendor presentations Thursday Reasoning About Distributed Systems Libraries Contextware: Bridging June 20th Reliable Distributed Physical and Virtual Sessions & Programs, Worlds, Exhibition Rachid Guerraoui Vendor presentations OO Technology Alois Ferscha

Improved Software Testing with the Use of Metrics, A. Sorkowitz

Friday June 21st CORBA 3 and CORBA Tutorials & WG9 Meeting for Embedded Systems, Workshop S. Ron Oliver Workshop: A Standard Cleanroom Software Engineering: Container Library for Ada, An Overview, E. Lamm W. Bail Invited Speakers Embedded Systems Unsuitable Contextware: Bridging Physical for Object Orientation and Virtual Worlds Maarten Boasson, Quaerendo Invenietis Alois Ferscha, University of Linz bv & University of Amsterdam Alois Ferscha joined the University of Linz as full It will be argued that the current focus on object professor in 2000. He published more than 60 technology is detrimental to progress in embed- technical papers on topics related to parallel and ded systems. The core of the problem is that OO distributed computing. Currently his research is fine for analysis but does not answer the de- interests are in the areas of Pervasive Comput- sign needs. Solutions for shortcomings are sought ing, Embedded Software Systems, Wireless Com- within the OO dogma, making things worse. This munication, Multiuser Cooperation, Distributed talk will outline a different approach. Interaction and Distributed Interactive Simula- tion. Maarten Boasson studied mathematics in Gro- ningen, the Netherlands. He became involved in On Architectural Stability and advanced studies aiming at control of complex- ity, both of the development process and of the Evolution system under development itself. This resulted in the creation of a novel architecture for distributed Mehdi Jazayeri, Technical University of reactive systems, that has been applied success- Vienna fully in numerous systems and is, more than 10 Many organizations are now pursuing software ar- years after its introduction, still unsurpassed in chitecture as a way to control their software de- its support for integration, fault tolerance and velopment and evolution challenge. A software component reuse. In 1996 Boasson was appointed architecture describes the properties of a family professor of computer science at the University of of products, thus addressing the problems of both Amsterdam, where he holds a chair in Industrial development and evolution. An important prob- Complex Computer Systems. He played a ma- lem is to be able to evaluate the ”goodness” of jor role in establishing a dutch national research a proposed architecture. The talk will propose program in embedded systems, and is currently stability or resilience as a measure of goodness associate editor-in-chief of IEEE Software. of an architecture. The stability of an architec- ture is a measure of how well it accommodates Reasoning About Reliable Dis- new family members. It can be measured by the amount of code changes necessary for the intro- tributed Programs duction of a new member. A case study of several releases of a telecommunication software system Rachid Guerraoui, Swiss Federal Insti- containing a few million lines of code will be used tute of Technology in Lausanne (EPFL) to demonstrate one way to try to estimate ar- What does it mean for a distributed program to chitectural stability. The talk will also present be reliable? A program is reliable if it looks like the challenges in software evolution and conclude a centralized program that does never fail. This with recommendations for future research. talk aims at addressing the ramifications underly- Mehdi Jazayeri is a professor of computer sci- ing this first glance intuitive answer. While doing ence at the Technical University of Vienna. He so, the talk overviews several decades of work on spent many years in software research and devel- correctness of distributed programs, from Lam- opment at several companies, in- port’s atomicity and Papadimitrious’ serializabil- cluding ten years at Hewlett-Packard Laborato- ity, to linearizability and x-ability. ries in Palo Alto, California. His recent work Rachid Guerraoui is professor in computer sci- has been concerned with component-base soft- ence at the Swiss Federal Institute of Technol- ware engineering of distributed systems, partic- ogy in Lausanne (EPFL). He leads the Dis- ularly Web-based systems. He is a coauthor tributed Programming Laboratory and teaches of Programming Language Concepts (John Wi- object-oriented programming and distributed al- ley, 1998), Fundamentals of Software Engineering gorithms. He is interested in devising abstrac- (Prentice-Hall, 2002), and Software Architecture tions for reliable distributed programming. for Product Families (Addison-Wesley, 2000). Other Program Details Exhibiting Social Program Exhibition space will be provided at the Parkho- Several activities have already been organized. tel Sch¨onbrunn in the area of the so-called On Tuesday the City of Vienna has invited us all ”Kaisersalon”. The exhibition and a summary of for a reception at the historic town hall. Before the exhibits will be publicized in handouts, con- that we will enjoy a guided tour by bus that will ference schedule, and conference program. An- provide a first impression of the city and several nouncements will be made in the course of tech- of its well-known sights. nical presentations. Wednesday evening the conference banquet will Sponsoring take place at a famous ”Heurigen” in Grinz- ing. Over a glass of wine and traditional Vi- A sliding scale of sponsorship provides a range of ennese cuisine we will have the opportunity benefits. All levels include display of the spon- to experience several of the mundane ingredi- sor’s logo on the conference web site and it the ents such as ”Schrammel-Musik” and ”Wiener program. Gem¨utlichkeit” that add to the flair of this city. See the conference web site for more details ( http://www.ada-europe.org/conference2002.html ). Organization Conference Chair Tutorial Chair Local Organization Chair Gerhard H. Schildt Helge Hagenauer Bernd Burgstaller Technical University Vienna University of Salzburg Technical University Vienna Department of Computer-Aided Dept. Comp. Science & System Department of Computer-Aided Automation Analysis Automation [email protected] [email protected] [email protected] Program Co-Chairs Exhibition Chair Johann Blieberger Technical University Vienna Thomas Gruber Department of Computer-Aided Austrian Research Centers Automation Seibersdorf [email protected] [email protected] Alfred Strohmeier Publicity Chair Swiss Fed. Inst. of Technology Lausanne Dirk Craeynest Software Engineering Lab Offis nv/sa & K.U.Leuven Alfred.Strohmeier@epfl.ch [email protected]

In cooperation with With the support of

The city of Vienna

SIGAda

http://www.ada-europe.org/conference2002.html