SafeComp 2025

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.

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

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.

Contact
All questions about submissions should be emailed to safecomp2025@easychair.org .

Safecomp2025