Computer Safety, Reliability, and Security
45th International Conference, SAFECOMP 2026, Valencia, Spain, September 23–25, 2026, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 45th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2026, held in Valencia, Spain, during September 23–25, 2026.
The 23 full papers included in this volume were carefully reviewed and selected from 125 submissions. The papers cover the following topical sections: Fault tolerance and diagnosis; Safety Protection; Cybersecurity and mixed-criticality in safety-critical systems; Safety of AI-Based Systems; Industrial Safety Engineering in the AI-Era; Engineering Safety Systems; Practice of hazard analysis and risk assessment; Quantitative methods; Real-time aspects; and Testing.
Autor*in
Elena Troubitsyna
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