Conference Call for Papers

Call for Papers

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

SafeComp 2024 Key Theme

Safety in a cyber-physical interconnected world

The seamless and pervasive interaction of the cyber and physical domains is an irrevocable trend, which poses new challenges to the validation of safety and security. In addition to the increasing architectural complexity, the range of human intervention during operation tends to decrease.

By its key theme "safety in a cyber-physical interconnected world", SafeComp 2024 aims to raise the focus on the following topics:

• Development and licensing of safety-relevant cyber-physical systems 
• Safety of the human-in-the-loop and in socio-technical systems
• Cooperative autonomous system design and evaluation
• Interdependence of safety, security and performance
• Security aspects of safety-relevant applications

Workshops at SafeComp

It is planned to have workshops on the day preceding the conference. Workshop proposals should be sent by email to the SafeComp 2024 Workshop Chairs Barbara Gallina and Erwin Schoitsch including scope and contents, Programme Committee, and length (half or full day).

Paper Submission Details

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.

Conference and Workshop Proceedings

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.

 

Download the call for paper in leaflet version.