Ada-Europe 2018
23rd International Conference on Reliable Software Technologies (Ada-Europe 2018)
Organized by U.Lisboa on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ada Resource Association (ARA)
The conference has over the years become 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 representing industry, academia and government organizations active in the promotion and development of reliable software technologies. The Ada language, a reliable software technology by design, crosses all topics of the conference, which nonetheless also welcomes any other technologies proposed or in use for reliable software.
This edition of Ada-Europe features a focused Special Session on Security in Safety-Critical Systems. Safety-critical systems, on which we daily bet our lives, have become increasingly more complex, networked and distributed. In combination with the growing professionalism of adversarial teams, this demands not only for safe systems but systems that remain safe while under attacks. This session seeks (but is not limited to) contributions aiming at bridging the safety and security gap in cyber-physical and other safety-critical systems. Topics include: Software and System Aspects of Secure and Dependable CPS, Vulnerabilities and Protective Measures for Safety-Critical System Infrastructures, and Fault and Intrusion Tolerance and Long-Term Unattended Operation for Safety-Critical Systems. For further information please contact the Special Session Chair directly.
For the general track of the conference, topics of interest include but are not limited to: Real-Time and Embedded Systems, Mixed-Criticality Systems, Theory and Practice of High-Integrity Systems, Software Architectures, Methods and Techniques for Software Development and Maintenance, Formal Methods, Ada Language and Technologies, Software Quality, Mainstream and Emerging Applications, Experience Reports in Reliable System Development, Experiences with Ada.
The conference proceedings will be published in the Lecture Notes in Computer Science (LNCS) series by Springer, and will be available at the conference.
Ada-Europe will offer honorary awards for the best regular paper and the best presentation.
Chairs and Committees
General chair
- Nuno Neves, LASIGE/U. Lisboa, Portugal (nuno at di.fc.ul.pt)
Program chair
- Antonio Casimiro, LASIGE/U. Lisboa, Portugal (casim at ciencias.ulisboa.pt)
Special Session Chair
- Marcus Volp, University of Luxembourg, Luxembourg (marcus.voelp at uni.lu)
Tutorial and Workshop chair
- David Pereira, CISTER/ISEP, Portugal (dmrpe at isep.ipp.pt)
Industrial co-chairs
- Marco Panunzio, Thales A.S., FR (marco.panunzio at thalesaleniaspace.com)
- Jose Rufino, LASIGE/U. Lisboa, Portugal (ruf at ciencias.ulisboa.pt)
Publication chair
- Pedro Ferreira, LASIGE/U. Lisboa, Portugal (pmf at ciencias.ulisboa.pt)
Publicity chair
- Dirk Craeynest, Ada-Europe and KU Leuven (Dirk.Craeynest at cs.kuleuven.be)
Exhibition co-chairs
- Jose Neves, GMV Skysoft, Portugal (jose.neves at gmv.com)
- Ahlan Marriott, White Elephant, Switzerland (ahlan at Ada-Switzerland.ch)
Local secretariat
- Madalena Almeida, Viagens Abreu, Portugal (madalena.almeida at abreu.pt)
Program Committee
- Mario Aldea, Universidad de Cantabria, Spain
- Ezio Bartocci, Vienna University of Technology, Austria
- Johann Blieberger, Vienna University of Technology, Austria
- Rakesh Bobba, Oregon State University, USA
- Bernd Burgstaller, Yonsei University, Korea
- Antonio Casimiro, LASIGE/U. Lisboa, Portugal
- Juan A. de la Puente, Universidad Politecnica de Madrid, Spain
- Virgil Gligor, Carnegie Mellon University, USA
- Michael Gonzalez Harbour, Universidad de Cantabria, Spain
- J. Javier Gutierrez, Universidad de Cantabria, Spain
- Jerome Hugues, ISAE, France
- Ruediger Kapitza, Technische Universitat Braunschweig, Germany
- Hubert Keller, Karlsruhe Institute of Technology, Germany
- Raimund Kirner, Univ. of Hertfordshire, UK
- Adam Lackorzynski, TU Dresden and Kernkonzept GmbH, Germany
- Kristina Lundkvist, Malardalen University, Sweden
- Franco Mazzanti, ISTI-CNR, Italy
- Laurent Pautet, Telecom ParisTech, France
- Luis Miguel Pinho, CISTER/ISEP, Portugal
- Erhard Plodereder, Universitat Stuttgart, Germany
- Jorge Real, Universitat Politecnica de Valencia, Spain
- Jose Ruiz, AdaCore, France
- Sergio Saez, Universitat Politecnica de Valencia, Spain
- Elad Schiller, Chalmers University of Technology, Sweden
- Frank Singhoff, Universite de Bretagne Occidentale, France
- Jorge Sousa Pinto, University of Minho, Portugal
- Tucker Taft, AdaCore, USA
- Elena Troubitsyna, Abo Akademi University, Finland
- Santiago Uruena, GMV, Spain
- Tullio Vardanega, Universita di Padova, Italy
- Marcus Volp, University of Luxembourg, Luxembourg
Industrial Committee
- Ian Broster, Rapita Systems, UK
- Luis Correia, EMPORDEF-TI, Portugal
- Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
- Thomas Gruber, Austrian Institute Of Technology (AIT), Austria
- Andreas Jung, European Space Agency, the Netherlands
- Ismael Lafoz, Airbus Defence and Space, Spain
- Ahlan Marriott, White Elephant, Switzerland
- Maurizio Martignano, Spazio IT, Italy
- Marco Panunzio, Thales Alenia Space, France
- Jean-Pierre Rosen, Adalog, France
- Jose Rufino, LASIGE/U. Lisboa, Portugal
- Emilio Salazar, GMV, Spain
- Helder Silva, EDISOFT, Portugal
- Jacob Sparre Andersen, JSA Consulting, Denmark
- Andreas Wortmann, OHB System, Germany