The conference is a leading international forum for providers, practitioners and researchers in 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 challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia and government organizations active in the promotion and development of reliable software technologies.

The topics of interest for the conference include but are not limited to:

    Design and Implementation of Real-Time and Embedded Systems.
    Design and Implementation of Mixed-Criticality Systems.
    Theory and Practice of High-Integrity Systems.
    Software Architectures for Reliable Systems.
    Methods and Techniques for Quality Software Development and Maintenance.
    Ada Language and Technologies.
    Mainstream and Emerging Applications with Reliability Requirements.
    Achieving and Assuring Safety in Machine Learning Systems.
    Experience Reports on Reliable System Development.
    Experiences with Ada.