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 44th edition of SAFECOMP is a unique occasion to explore and debate hot topics of current challenges and solutions for future safety critical systems.

Theme

Managing safety in an era of a software defined computing continuum. Future societal and industrial systems will be increasingly relying on a digitalized infrastructure, from embedded systems, fog/edge-computing systems, to cloud and communications. Entire systems will also increasingly be software defined and upgradeable. Societal and industrial systems consequently be increasingly relying on such digitalized infrastructures, requiring an even stronger and proactive emphasis on key dependability properties, as emphasized by the SafeComp conferences. The theme for SafeComp 2025 has been chosen to highlight some of the following topics and challenges:

• Predictability and reliability of cloud and edge computing, and AI components: The corresponding systems yet have to offer dependability properties suitable for critical systems
• Architectures ensuring safety while enhancing performance
• Co-design of applications and digital infrastructure to achieve cost-efficient dependability
• Trustworthy DevOps – reconciling software and safety practices

Paper 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.

Workshop Submission Guidelines

Workshops are planned for the day preceding the conference. Workshop proposals should be sent by email to the SAFECOMP 2025 Workshop Chairs (Erwin Schoitsch at AIT Austrian Institute of Technology, AT, and Elena Troubitsyna at KTH, SE) and include scope, contents, programme committee and length (half or full day). Accepted contributions will, as far as the publisher’s requirements are fulfilled, be included in the SAFECOMP Workshop Proceedings.

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 Programme Committee

• Alexander Romanovsky, Newcastle University, UK
• Andrea Bondavalli, University of Florence, IT
• Andrea Ceccarelli, University of Florence, IT
• Andreas Heyl, Bosch, DE
• Andrew Rae, Griffith University, AU
• António Casimiro, Universidade de Lisboa, PT
• Behrooz Sangchoolie, RISE Research Institutes of Sweden, SE
• Carmen Carlan, Edge Case Research GmbH, DE
• Christel Seguin, ONERA, FR
• Cody Fleming, Iowa State University, US
• Elena Troubitsyna, KTH - Royal Institute of Technology, SE
• Erwin Schoitsch, AIT Austrian Institute of Technology, AT
• Evgenia Smirni, William and Mary, US
• Ewen Denney, NASA, US
• Felicita Di Giandomenico, ISTI-CNR, IT
• Francesca Saglietti, University of Erlangen-Nuremberg, DE
• Francesco Flammini, Linnaeus University, SE
• Friedemann Bitsch, Hitachi Rail, DE
• Ganesh Pai, KBR / NASA Ames Research Center, US
• Heidy Khlaaf, AI Now Institute, US
• Ibrahim Habli, University of York, UK
• Janusz Gorski, Gdansk University of Technology, PL
• Jérémie Guiochet, LAAS-CNRS, FR
• Jeroen Boydens, KU Leuven, BE
• John Rushby, SRI International, US
• Jose Luis de la Vara, University of Castilla-La Mancha, ES
• Jouni Kivistö-Rahnasto, Tampere University, FI
• Juan Carlos Ruiz, Universitat Politécnica de València, ES
• Kenji Taguchi, UL Japan, JP
• Leonardo Montecchi, NTNU - Norwegian University of Science and Technology, NO
• Magnus Albert, SICK AG, DE
• Marcus Völp, University of Luxembourg, LU
• Maria Panou, Hellenic Institute of Transport, EL
• Mario Trapp, TUM – Technical University of Munich, DE
• Mark-Alexander Sujan, University of York, UK
• Marsha Chechik, University of Toronto, CA
• Martin Rothfelder, Siemens AG, DE
• Mary Cummings, George Mason University, US
• Matteo Rossi, Politecnico di Milano, IT
• Natasha Neogi, NASA-Langley, US
• Peter Daniel, EWICS TC7, UK
• Peter G. Bishop, Adelard, UK
• Peter Popov, City St George's, University of London, UK
• Philippe Palanque, ICS-IRIT - University Toulouse 3, FR
• Simon Burton, University of York, UK
• Stefano Tonetta, FBK, IT
• Valeria Vittorini, Università degli Studi di Napoli Federico II, IT
• Uwe Becker, Draegerwerk AG & Co KGaA, DE
• Wilfried Steiner, TTTech Computertechnik AG, AT
• Wolfgang Ehrenberger, University of Applied Science, DE
• Yan Jia, University of York, UKYiannis Papadopoulos, University of Hull, UK
• Zoltan Micskei, BME - Budapest University of Technology and Economics, HU

Organizing committee

• EWICS TC7 Chair: Mario Trapp (TU Munich, DE)
• EWICS TC7 Vice-Chairs: Francesca Saglietti (University of Erlangen-Nuremberg, DE), Uwe Becker (Draegerwerk AG & Co KGaA, DE)
• General Chairs: Fredrik Asplund (KTH, SE), Martin Törngren (KTH, SE)
• Programme Co-Chairs: Barbara Gallina (MDU, SE), Martin Törngren (KTH, SE)
• Workshop Chairs: Erwin Schoitsch (AIT Austrian Institute of Technology, AT), Elena Troubitsyna (KTH, SE)
• Position papers: Jérémie Guiochet (LAAS-CNRS, Univ. Toulouse, FR)
• Industrial Contacts and Publicity Chairs: Kristina Lundqvist (MDU, SE), Mario Trapp (TU Munich, DE), Håkan Sivencrona (Volvo Cars, SE)
• Publications chair: Friedeman Bitsch (Thales, DE)
• Web chair: Fredrik Asplund (KTH, SE)

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 conference will be held at KTH Royal Institute of Technology, one of Europe’s leading technical universities. KTH conducts research and education in engineering and architecture, and ranks among the top universities in the world in several technical fields. The conference will take place in KTH’s beautiful main Campus located in the northern part of Stockholm city center, easily accessible by public transportation.

Contact

All questions about submissions should be emailed to safecomp2025 (at) easychair (dot) org.