The tradition of SafeComp is to act as a platform for bringing together academic research and industrial needs. In 2021 we want this industrial and real-world experience to be a strong element of the conference.
We solicit two types of papers:
research papers (up to 14 pages - should describe the research gap that is addressed and explain how the proposed contribution advances current knowledge)
practical experience reports/tool descriptions (up to 8 pages - should convey a clear message and lessons for practitioners)
All papers will be reviewed by three members of the Programme Committee. Papers must not have been previously published or concurrently submitted elsewhere.
Topics
The conference covers the development, assessment, operation, and maintenance of safety-related and safety-critical computer systems. Major topics include, but are not limited to:
Development, verification, and assessment
Model-based safety analysis, design, and assessment
Formal methods for verification, validation, and fault tolerance
Fault detection and recovery mechanisms
Resilient and fault-tolerant HW and SW architectures
Distributed and real-time monitoring and control
Safety/security co-engineering and risk assessment
Testing, verification, and validation methods and tools
Qualification, assurance, and certification methods and tools
Data-driven techniques for engineering dependable systems
Cyber-physical threats and vulnerability analysis
Safety and security guidelines, standards and certification
Safety and security assurance cases
Topics related to the SafeComp 2020 theme of safe human-robotic and autonomous systems (RAS) interaction:
Human acceptance of robotic and autonomous systems (RAS)
Teaming - safe human-system teaming
Safe human-RAS interaction
Transfer of tasks from humans to systems
Ethics, governance and regulation of RAS
We welcome submissions from any domain where safety-critical systems are in use or being developed.
Submission guidelines
Submission will be via EasyChair - details will be announced here.
Conference proceedings
All accepted regular papers, practical experience reports and tool papers will be published by Springer in the LNCS Series.
Read Springer's “Information for Authors of Computers Science Proceedings”, where you can download templates for the preparation of your papers.
Important dates
Workshop and tutorial proposal submission: 25 January 2021
Abstract submission: 1 February 2021
Full paper submission: 15 February 2021
Notification of acceptance: 29 April 2021
Camera-ready submission: 27 May 2021
Download the PDF Call for Papers.