Computer Safety Reliability And Security

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021. The 26 regular papers included in this volume were carefully reviewed and selected from 34 submissions. The workshops included in this volume are: DECSoS 2021: 16th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems WAISE 2021: Fourth International Workshop on Artificial Intelligence Safety Engineering DepDevOps 2021: Second International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems USDAI 2021: Second International Workshop on Underpinnings for Safe Distributed AI MAPSOD 2021: First International Workshop on Multi-concern Assurance Practices in Software Design

This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 – Timing Performance in Safety Engineering.

The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP'93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the International Program Com mittee of the Conference. The authors of the papers come from 16 different countries. The subjects covered include formal methods and models, safety assessment and analysis, verification and validation, testing, reliability issues and dependable software tech nology, computer languages for safety related systems, reactive systems technology, security and safety related applications. As to its wide international coverage, unique way of combining partici pants from academia, research and industry and topical coverage, SAFECOMP is outstanding among the other related events in the field.

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers presented together with 5 introductory papers to each workshop, and three invited papers, were carefully reviewed and selected from 49 submissions. This year's workshops are: ASSURE 2017 – Assurance Cases for Software-Intensive Systems; DECSoS 2017 – ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2017 – Next Generation of System Assurance Approaches for Safety-Critical Systems; TIPS 2017 – Timing Performance in Safety Engineering; TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.

This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.

This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation.

This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.

This book constitutes the refereed proceedings of the 28th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Hamburg, Germany, in September 2009. The 25 full papers presented together with two invited talks were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on medical systems, industrial experience, security risk analysis, safety guidelines, automotive, aerospace, verification, valdidation, test, fault tolerance, dependability.