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

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.

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.

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, Distributed Programming, Bindings and Libraries, 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.