Conference Image Banner
12th International Conference
on Reliable Software Technologies
Geneva, 25-29 June 2007
ACM SIGAda 2007
Annual International Conference on
Software Development for Safety, Security,
and High Reliability Systems
4 - 8 November 2007
at Washington DC, USA
official website

12th International Conference on Reliable Software Technologies
Ada-Europe 2007

25-29 June 2007, Geneva, Switzerland

PDF Version TXT Version

Conference Chair
Nabil Abdennadher
University of Applied Sciences. Geneva, Switzerland.

Program Co-Chairs
Nabil Abdennadher
University of Applied Sciences. Geneva, Switzerland.

Fabrice Kordon
University Pierre & Marie Curie. France

Tutorial Chair
Dominik Madon
University of Applied Sciences. Geneva, Switzerland.

Exhibition Chair
Neville Rowden Siemens Switzerland

Publicity Chair
Ahlan Marriott
White-elephant, Switzerland

Dirk Craeynest
Aubay Belgium & K.U.Leuven, Belgium

Local Chair
Régis Boesch
University of Applied Sciences. Geneva, Switzerland.




In cooperation with



General Information

The 12th International Conference on Reliable Software Technologies will take place in Geneva, Switzerland. Following the usual style, the conference will span a full week, including a three-day technical program and vendor exhibitions from Tuesday to Thursday, along with parallel workshops and tutorials on Monday and Friday.


26 November 2006 Submission of papers, workshop/tutorial proposals
26 January 2007 Notification to authors
26 February 2007 Camera-ready papers required
25-29 June 2007 Conference


In the last decade the conference has established itself as an international forum for providers and practitioners of, and researchers into, reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a variety of application domains. The program will allow ample time for keynotes, Q&A sessions, panel discussions and social events. Participants will include practitioners and researchers from industry, academia and government organizations interested in furthering the development of reliable software technologies. To mark the completion of the technical work for the Ada language standard revision process, contributions that present and discuss the potential of the revised language are particularly sought after.

For papers, tutorials, and workshop proposals, the topics of interest include, but are not limited to:

  • Methods and Techniques for Software Development and Maintenance: Requirements Engineering, Object-Oriented Technologies, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues.

  • Software Architectures: Patterns for Software Design and Composition, Frameworks, Architecture-Centered Development, Component and Class Libraries, Component-Based Design.

  • Enabling Technology: CASE Tools, Software Development Environments and Project Browsers, Compilers, Debuggers, Run-time Systems.

  • Software Quality: Quality Management and Assurance, Risk Analysis, Program Analysis, Verification, Validation, Testing of Software Systems

  • Critical Systems: Real-Time, Distribution, Fault Tolerance, Information Technology, Safety, Security.

  • Distributed Systems: Reliability, Security, Trust and Safety in Large Scale Distributed Platforms.

  • Mainstream and Emerging Applications: Multimedia and Communications, Manufacturing, Robotics, Avionics, Space, Health Care, Transportation

  • Ada Language and Technology: Programming Techniques, Object-Oriented, Concurrent and Distributed Programming, Evaluation & Comparative Assessments, Critical Review of Language Enhancements, Novel Support Technology, HW/SW platforms

  • Experience Reports: Experience Reports, Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics, Experience Reports on Education and Training Activities with bearing on any of the conference topics

Program Committee

Abdennadher Nabil, University of Applied Sciences, West. Switzerland
Alonso Alejandro, Universidad Politécnica de Madrid, Spain
Asplund Lars, Mälardalens Högskola, Sweden
Barnes Janet, Praxis High Integrity Systems, UK
Blieberger Johann, Technische Universität Wien, Austria
Boasson Maartin, University of Amsterdam, the Netherlands
Burgstaller Bernd, University of Sydney, Australia
Craeynest Dirk, Aubay Belgium & K.U.Leuven, Belgium
Crespo Alfons, Universidad Politécnica de Valencia, Spain
Devillers Raymond, Université Libre de Bruxelles, Belgium
González Harbour Michael, Universidad de Cantabria, Spain
Gutiérrez José Javier, Universidad de Cantabria, Spain
Hadded Serge, Université Paris-Dauphine, France
Hately Andrew, Eurocontrol CRDS, Hungary
Hommel Günter, Technischen Univesität Berlin, Germany
Keller Hubert, Institut für Angewandte Informatik, Germany
Kermarrec Yvon, ENST Bretagne, France
Kienzle Jörg, McGill University, Canada
Kordon Fabrice, Université Pierre & Marie Curie, France
Llamosi Albert, Universitat de les Illes Balears, Spain
Lundqvist Kristina, MIT, USA
Mazzanti Franco, ISTI-CNR Pisa, Italy
McCormick John, University of Northern Iowa, USA
Michell Stephen, Maurya Software, Canada
Miranda Javier, Universidad Las Palmas de Gran Canaria, Spain
Moldt Daniel, University of Hamburg, Germany
Pautet Laurent, Telecom Paris, France
Petrucci Laure, LIPN, Université Paris 13, France
Pinho Luís Miguel, Polytechnic Institute of Porto, Portugal
Plödereder Erhard, Universität Stuttgart, Germany
de la Puente Juan A., Universidad Politécnica de Madrid, Spain
Real Jorge, Universidad Politécnica de Valencia, Spain
Romanovsky Alexander, University of Newcastle upon Tyne, UK
Rosen Jean-Pierre, Adalog, France
Ruiz José, AdaCore, France
Schonberg Edmond, New York University & AdaCore, USA
Seinturier Lionel, INRIA Lille, France
Shing Man-Tak, Naval Postgraduate School, USA
Tokar Joyce, Pyrrhus Software, USA
Vardanega Tullio, Università di Padova, Italy
Wellings Andy, University of York, UK
Winkler Jürgen, Friedrich-Schiller-Universität, Germany
Zaffalon Luigi, University of Applied Sciences, West. Switzerland


Authors are invited to submit original contributions. Paper submissions shall be in English, should be complete and should not exceed 20 double-spaced pages in length. Authors should submit their work via the Web submission system accessible from the conference Home page. The preferred format for submission is PDF. Postscript can also be accepted, as long as it was generated selecting the “optimize for portability” option. Submissions by other means and formats will not be accepted. If you do not have easy access to the Internet, or you do not have an appropriate Web browser, please contact the Program Co-Chair Nabil Abdennadher, whose address details are on the flip side of this call as well as on the conference Home page.


The conference proceedings, including all accepted papers, will be published in the Lecture Notes in Computer Science (LNCS) series by Springer Verlag, which will be available at the start of the conference. The authors of accepted papers shall prepare their camera-ready submissions in full conformance with the LNCS style, not exceeding 12 pages and strictly by February 26, 2007. For format and style guidelines authors should refer to: Failure to comply will prevent the paper from appearing in the conference proceedings.


Ada-Europe will offer honorary awards for the best paper and the best presentation, which will be presented during the banquet and at the close of the conference respectively.

Call for Tutorials

Tutorials should address subjects that fall within the scope of the conference and may be proposed as either half- or a full-day events. Proposals should include a title, an abstract, a description of the topic, a detailed outline of the presentation, a description of the presenter's lecturing expertise in general and with the proposed topic in particular, the proposed duration (half day or full day), the intended level of the tutorial (introductory, intermediate, or advanced), the recommended audience experience and background, and a statement of the reasons for attending. Proposals should be submitted by e-mail to the Tutorial Chair Dominik Madon. The providers of full-day tutorials will receive a complimentary conference registration as well as a fee for every paying participant in excess of 5; for half-day tutorials, these benefits will be accordingly halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorial in issues preceding and/or following the conference.

Call for Workshops

Workshops on themes within the conference scope may be arranged to discuss matters of immediate technical interest as well as to foster action on longer-term technical objectives. Proposals may be submitted for half- or full-day workshops, to be scheduled on either ends of the main conference. Workshop proposals should be submitted by e-mail to the Conference Chair Nabil Abdennadher The workshop organiser shall also commit to preparing proceedings for timely publication in the Ada User Journal.


Commercial exhibitions will span the three days of the main conference. Vendors and providers of software products and services should contact the Exhibition Chair Neville Rowden, as soon as possible for further information and for allowing suitable planning of the exhibition space and time.

Reduced Fees for Students

A small number of grants are available for students who will (co-)author and present papers at the conference. A reduction of 25% will be made to the conference fee. Contact the Conference Chair Nabil Abdennadher for details.