Ada-Europe 2019
The 24th International Conference on Reliable Software Technologies - Ada-Europe 2019
Scope and Topics
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: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance;
- Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Mixed-Criticality Architectures, Design Methods, Analysis Methods;
- Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities;
- Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development;
- Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Model-driven Architecture and Engineering, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools;
- Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK;
- Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc;
- Achieving and Assuring Safety in Machine Learning Systems;
- Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics;
- Experiences with Ada: Reviews of the Ada 2012 language features, implementation and use issues, positioning in the market and in the software engineering curriculum, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics.
Organizing committee
Conference & Program Chair
- Tullio Vardanega - University of Padua, Italy
Educational Tutorial & Workshop Chair
- Dene Brown - SysAda Ltd, UK
Industrial Chair
- Maurizio Martignano - Spazio IT, Italy
Exhibition & Sponsorship Chair
- Ahlan Marriott - White Elephant GmbH, Switzerland
Publicity Chair
- Dirk Craeynest - Ada-Belgium & KU Leuven, Belgium
Local Chair
- Maciej Sobczak - GE Aviation - EDC Warsaw, Poland
Program Committee
- Mario Aldea, Univ. de Cantabria, ES
- Johann Blieberger, Vienna Univ. of Technology, AT
- Bernd Burgstaller, Yonsei Univ., KR
- Antonio Casimiro, Univ. Lisboa, PT
- Barbara Gallina, Malardalen Univ., SE
- Michael Gonzalez Harbour, Univ. de Cantabria, ES
- J. Javi Gutierrez, Univ. de Cantabria, ES
- Jerome Hugues, ISAE, FR
- Hubert Keller, Karlsruhe Institute of Technology, DE
- Raimund Kirner, Univ. of Hertfordshire, UK
- Franco Mazzanti, ISTI-CNR, IT
- Laurent Pautet, Telecom ParisTech, FR
- Luis Miguel Pinho, CISTER/ISEP, PT
- Erhard Plodereder, Univ. Stuttgart, DE
- Juan A. de la Puente, Univ. Pol. de Madrid, ES
- Jorge Real, Univ. Pol. de Valencia, ES
- Jose Ruiz, AdaCore, FR
- Sergio Saez, Univ. Pol. de Valencia, ES
- Elad Schiller, Chalmers Univ. of Technology, SE
- Frank Singhoff, Univ. de Bretagne Occidentale, FR
- Jorge Sousa Pinto, Univ. of Minho, PT
- Tucker Taft, AdaCore, USA
- Elena Troubitsyna, Abo Akademi Uni., FI
- Santiago Uruena, GMV, ES
- Tullio Vardanega, Univ. of Padua, IT
- Marcus Volp, Univ. of Luxembourg, LU
Industrial Committee
- Ian Broster, Rapita Systems, UK
- Dirk Craeynest, Ada-Belgium & KU Leuven, BE
- Goncalo Gouveia, Critical Techworks, PT
- Thomas Gruber, Austrian Institute of Technology, AT
- Andreas Jung, European Space Agency, NL
- Ismael Lafoz, Airbus Military, ES
- Patricia Lopez Cueva, Thales Alenia Space, FR
- Ahlan Marriott, White Elephant, CH
- Maurizio Martignano, Spazio-IT, IT
- Silvia Mazzini, Intecs, IT
- Marco Panunzio, Thales Alenia Space, FR
- Paul Parkinson, Wind River, UK
- Jean-Pierre Rosen, AdaLog, FR
- Jose Emilio Salazar Marsa, GMV, ES
- Helder Silva, Edisoft, PT
- Jacob Sparre Andersen, JSA Cons., DK
- Pawel Zakrzewski, GE Aviation, PL