Computer safety, reliability and security

Více o knize

The European Commission highlights the emerging dependability requirements in the information society, driven by the prevalence of embedded and networked systems and the complexity of large-scale information and communication infrastructures. The Conference on Computer Safety, Reliability, and Security (Safecomp) addresses these needs by reviewing current trends and experiences in relevant scientific and industrial areas. Safecomp serves as a platform for technology transfer among academia, industry, and research institutions, fostering the exchange of ideas and insights among experts. This year marks the 20th anniversary of Safecomp, which began with its first conference organized by EWICS in Stuttgart in 1979. The Proceedings celebrate this milestone by including 25 orally presented papers and the full versions of 14 poster presentations, all selected from 76 submissions. The papers primarily focus on Safety Assessment and Human Factors, Verification and Validation, Design for Safety, Formal Methods, and Security, aligning closely with the core themes of Safecomp.