Ada-Europe 2019
Date: Jun 10, 2019 12:00 am – Jun 14, 2019 11:00 am
Location: Warsaw, Poland
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
- António Casimiro, Univ. Lisboa, PT
- Barbara Gallina, Mälardalen Univ., SE
- Michael González Harbour, Univ. de Cantabria, ES
- J. Javi Gutiérrez, Univ. de Cantabria, ES
- Jérôme 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
- Luís Miguel Pinho, CISTER/ISEP, PT
- Erhard Plödereder, Univ. Stuttgart, DE
- Juan A. de la Puente, Univ. Pol. de Madrid, ES
- Jorge Real, Univ. Pol. de València, ES
- José Ruiz, AdaCore, FR
- Sergio Sáez, Univ. Pol. de València, 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, Åbo Akademi Uni., FI
- Santiago Urueña, GMV, ES
- Tullio Vardanega, Univ. of Padua, IT
- Marcus Völp, Univ. of Luxembourg, LU
Industrial Committee
- Ian Broster, Rapita Systems, UK
- Dirk Craeynest, Ada-Belgium & KU Leuven, BE
- Gonçalo 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
- José Emilio Salazar Marsà, GMV, ES
- Helder Silva, Edisoft, PT
- Jacob Sparre Andersen, JSA Cons., DK
- Pawel Zakrzewski, GE Aviation, PL
Submitted by Anonymous
on
Date: Jun 10, 2019 12:00 am – Jun 14, 2019 11:00 am
Location: Warsaw, Poland
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
- António Casimiro, Univ. Lisboa, PT
- Barbara Gallina, Mälardalen Univ., SE
- Michael González Harbour, Univ. de Cantabria, ES
- J. Javi Gutiérrez, Univ. de Cantabria, ES
- Jérôme 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
- Luís Miguel Pinho, CISTER/ISEP, PT
- Erhard Plödereder, Univ. Stuttgart, DE
- Juan A. de la Puente, Univ. Pol. de Madrid, ES
- Jorge Real, Univ. Pol. de València, ES
- José Ruiz, AdaCore, FR
- Sergio Sáez, Univ. Pol. de València, 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, Åbo Akademi Uni., FI
- Santiago Urueña, GMV, ES
- Tullio Vardanega, Univ. of Padua, IT
- Marcus Völp, Univ. of Luxembourg, LU
Industrial Committee
- Ian Broster, Rapita Systems, UK
- Dirk Craeynest, Ada-Belgium & KU Leuven, BE
- Gonçalo 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
- José Emilio Salazar Marsà, GMV, ES
- Helder Silva, Edisoft, PT
- Jacob Sparre Andersen, JSA Cons., DK
- Pawel Zakrzewski, GE Aviation, PL
Submitted by Anonymous
on