Computer Safety, Reliability, and Security
43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024.
The 19 full papers included in this volume were carefully reviewed and selected from 80 submissions. They have been organized in topical sections as follows: Fault Injection and Tolerance; System and Software Safety Assurance; Automated Driving Systems; Security of safety-critical systems; Safety Verification; and Autonomous Systems.
Autor*in
Andrea Ceccarelli
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