International Conference on Computer Safety, Reliability and Security

概要

SafeComp 2026 focuses on engineering approaches to manage safety amid complexity and sustainability requirements, ensuring that solutions remain viable and affordable in the long term. 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. Relevant domains of application are, but are 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. We solicit two types of paper submission: 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. All contributions can have a maximum extension of up to 14 pages including bibliography. All paper submissions must be formatted according to the LNCS templates by Springer.

情報源ランク

地図