Computer Safety, Reliability, and Security
44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10–12, 2025, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025.
The 15 full papers included in these proceedings were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Safety Arguments/Cases; Data Sets and Dependability Properties; Testing and Complex Environments; Methodologies (1) - Safety Design and Risk Assessment; and Methodologies (2) Machine Learning and Large Language.
Autor*in
Barbara Gallina
Themen in »Computer Safety, Reliability, and Security«
distributed and real-time monitoring and control Fault-tolerant and resilient hardware and software architectures fault detection and recovery mechanisms security & privacy protection mechanisms for safety applications Safety guidelines and standards Safety/security co-engineering and tradeoffs Safety and security qualification, quantification Safety and security assurance and certification Threats and vulnerability analysis Risk assessment in safe and secure systems Dependability analysis using simulation & experimental measures 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