Established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.

SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications. SafeComp provides ample opportunity to exchange insights and experience on emerging methods, approaches, and practical solutions. It is a single-track conference allowing easy networking.

This 43rd edition of SAFECOMP is a unique occasion to explore and debate hot topics of current challenges and solutions for future safety critical systems.

Submission Guidelines

The tradition of SAFECOMP is to act as a platform for bringing academic research and industrial needs together. Therefore, industrial contributions and real-world experience reports are explicitly invited. We solicit two types of paper submission (in both cases, up to 14 pages incl. bibliography):

• Research papers address a research gap and illustrate how the contribution submitted can help improve the state-of-the-art by advancing current knowledge;
• Practical experience reports / tool descriptions provide new insights and valuable support to practitioners.

Papers exceeding the page limit will be excluded from the review process. All papers will be reviewed by at least three members of the International Programme Committee. Papers must not have been previously published or concurrently submitted elsewhere. 

All paper submissions must be formatted according to the LNCS templates provided by Springer. Abstracts and papers should be submitted in pdf through Easychair.

List of Topics

The conference covers all aspects related to the development, assessment, operation, and maintenance of safety-related and safety-critical computer systems.

Major topics include, but are not limited to:

• Distributed and real-time monitoring and control 
• Fault-tolerant and resilient hardware and software architectures
• Fault detection and recovery mechanisms 
• Security and privacy protection mechanisms for safety applications
• Safety guidelines and standards 
• Safety/security co-engineering and tradeoffs 
• Safety and security qualification, quantification, assurance and certification 
• Threats and vulnerability analysis 
• Risk assessment in safe and secure systems
• Dependability analysis using simulation and experimental measurement 
• Model-based analysis, design, and assessment
• Formal methods for verification, validation, and fault tolerance
• Testing, verification, and validation methodologies and tools
• Multi-concern dependability assurance and standardization

Domains of application are (but not limited to):

• Railways, automotive, space, avionics & process industries
• Highly automated and autonomous systems
• Telecommunication and networks
• Safety-related applications of smart systems and IoT
• Critical infrastructures, smart grids, SCADA
• Medical devices and healthcare
• Surveillance, defense, emergency & rescue
• Logistics, industrial automation, off-shore technology
• Education & training

Committees

International Program Committee

• Magnus Albert (SICK AG, DE)
• Uwe Becker (Draegerwerk AG & Co KGaA, DE)
• Alessandro Biondi (Scuola Superiore Sant'Anna, IT)
• Peter G. Bishop (Adelard, UK)
• Friedemann Bitsch  (GTS Deutschland GmbH, DE)
• Andrea Bondavalli (University of Florence, IT)
• Jeroen Boydens (Katholieke Universiteit Leuven, BE)
• Simon Burton (Fraunhofer Institute for Cognitive Systems, DE)
• António Casimiro (Universidade de Lisboa, PT)
• Marsha Chechik (University of Toronto, CA)
• Peter Daniel (EWICS TC7, UK)
• Ewen Denney (NASA, US)
• Felicita Di Giandomenico (ISTI-CNR, IT)
• Wolfgang Ehrenberger (University of Applied Science, DE)
• John Favaro (Intecs, IT)
• Francesco Flammini (Linnaeus University, Sweden, SE)
• Barbara Gallina (Mälardalen University, SE)
• Janusz Gorski (Gdansk University of Technology, FETI, DSE, PL)
• Lars Grunske (Humboldt University Berlin, DE)
• Jérémie Guiochet (LAAS-CNRS, FR)
• Ibrahim Habli (University of York, UK)
• Andreas Heyl (Bosch, DE)
• Maritta Heisel (University of Duisburg-Essen, DE)
• Yan Jia (University of York, UK)
• Phil Koopman (Carnegie Mellon University, US)
• Francesca Lonetti (ISTI-CNR, IT)
• John McDermid (University of York, UK)
• Zoltan Micskei (BME - Budapest University of Technology and Economics, HU)
• Leonardo Montecchi (NTNU - Norwegian University of Science and Technology, NO)
• Ganesh Pai (KBR / NASA Ames Research Center, US)
• Philippe Palanque (ICS-IRIT, University Toulouse 3, FR)
• Yiannis Papadopoulos (University of Hull, UK)
• Peter Popov (City University, UK)
• Andrew Rae (Griffith University, AU)
• Alexander Romanovsky (Newcastle University, UK)
• Matteo Rossi (Politecnico di Milano, IT)
• Martin Rothfelder (Siemens AG, DE)
• Juan Carlos Ruiz Garcia (Universitat Politécnica de València, ES)
• John Rushby (SRI International, US)
• Francesca Saglietti (University of Erlangen-Nuremberg, DE)
• Behrooz Sangchoolie (RISE Research Institutes of Sweden, SE)
• Erwin Schoitsch (AIT Austrian Institute of Technology, AT)
• Christel Seguin (ONERA, FR)
• Evgenia Smirni (College of William and Mary, US)
• Wilfried Steiner (TTTech Computertechnik AG, AT)
• Mark-Alexander Sujan (The University of Warwick, UK)
• Kenji Taguchi (National Institute of Informatics, JP)
• Stefano Tonetta (FBK, IT)
• Martin Törngren (KTH - Royal Institute of Technology, SE)
• Elena Troubitsyna (KTH - Royal Institute of Technology, SE)
• Marcus Völp (University of Luxemburg, LU)
• Helene Waeselynck (LAAS-CNRS, FR)
• Tommaso Zoppi (University of Trento, IT)

Organizing committee

• EWICS TC7 Chair: Mario Trapp (Technical University of Munich, DE)

• EWICS TC7 Vice-Chair: Francesca Saglietti (University of Erlangen-Nuremberg, DE)

• General Chairs: Andrea Bondavalli (University of Florence, IT), Andrea Ceccarelli (University of Florence, IT)

• Programme Co-Chairs: Andrea Ceccarelli (University of Florence, IT), Mario Trapp (Technical University of Munich, DE)

• Workshop and Special Session Chairs: Barbara Gallina (Mälardalen University, SE), Erwin Schoitsch (AIT, AT), Elena Troubitsyna (KTH, SE)

• Industrial Contacts and Publicity Chairs: Antonio Casimiro (University of Lisbon, PT), Ilir Gashi (City University, UK), Wilfried Steiner (TTTech, AT)

• Publication Chair: Friedemann Bitsch (Thales, DE)

• Local Organization Chairs: Paolo Lollini (University of Florence, IT), Emanuele Bellini (University of Roma Tre, IT)

• Web Chair: Francesco Mariotti (University of Florence, IT)

• Local Organizing Committee: Muhammad Atif, Francesco Mariotti, Tommaso Puccetti, Marzieh Kordi (University of Florence, IT)

Publication

All accepted research papers,  practical experience reports, and tool descriptions will be published by Springer in the LNCS series (Lecture Notes on Computer Science) in the SafeComp and the SafeComp Workshop volumes.

Venue

The NH Hotel in Florence is located in the Porta al Prato area, near one of the historical gates of the ancient walls of Florence and facing the Parco delle Cascine, the largest green space in the city. From the hotel, with a twenty-minute walk along the Arno riverbanks, you can reach the main touristic spots of the city, as the spectacular Florence Cathedral (Duomo di Firenze), the Uffizi art gallery, or the shopping district of San Lorenzo.

Florence (Italian: Firenze) is the capital and the most populous city of Tuscany, with approximately 380,000 inhabitants in the city and over 1.5 million in the metropolitan area. Florence is famous for its history. A centre of medieval European trade and finance and one of the wealthiest cities of the time, Florence is considered the birthplace of the Renaissance, and has been called the Athens of the Middle Ages. From 1865 to 1871 the city was also the capital of the Kingdom of Italy. The historic centre of Florence attracts millions of tourists each year and was declared a World Heritage Site by UNESCO in 1982. Due to Florence's artistic and architectural heritage, it is typically ranked as one of the most beautiful cities in the world. The city also contains numerous museums and art galleries, such as the Uffizi Gallery and the Pitti Palace.