Goal Structuring Notation (GSN) is becoming increasing popular; practitioners use it in the railway, air traffic management and nuclear industries, amongst others. Originally developed to present safety assurance arguments, GSN need not be restricted to safety assurances only; in principle, you can use it to present (and test) any argument. Anyone wishing to support, or refute, a claim can use GSN. Written by an experienced practitioner, The Goal Structuring Notation is both for those who wish to prepare and present compelling arguments using the notation, and for those who wish to review such arguments critically and effectively. To emphasise the versatility of this approach The Goal Structuring Notation presents examples and questions based on diverse subject areas including Business Management, Drama, Engineering, Politics and Astrobiology. Simple examples introduce each symbol of the notation before introducing more complex structures which illustrate how the symbols work together in practical scenarios. To aid learning, questions and problems augment the text, so that the reader may reflect upon and try out the new concepts and principles presented. As a comprehensive instruction in the basics of GSN and it’s application, The Goal Structuring Notation also serves as a references or manual for the practitioner to dip into as problems are encountered or as a key resource for engineers working in those industries which require a clear description of the notation, covering the initial principles and showing why each piece of the notation is necessary. Originally developed to present safety assurance arguments, GSN need not be so restricted. GSN - The Goal Structuring Notation presents examples from diverse subject areas, including business management, drama, engineering, politics and astrobiology.

Aircraft System Safety: Assessments for Initial Airworthiness Certification presents a practical guide for the novice safety practitioner in the more specific area of assessing aircraft system failures to show compliance to regulations such as FAR25.1302 and 1309. A case study and safety strategy beginning in chapter two shows the reader how to bring safety assessment together in a logical and efficient manner. Written to supplement (not replace) the content of the advisory material to these regulations (e.g. AMC25.1309) as well as the main supporting reference standards (e.g. SAE ARP 4761, RTCA/DO-178, RTCA/DO-154), this book strives to amalgamate all these different documents into a consolidated strategy with simple process maps to aid in their understanding and optimise their efficient use. - Covers the effect of design, manufacturing, and maintenance errors and the effects of common component errors - Evaluates the malfunctioning of multiple aircraft components and the interaction which various aircraft systems have on the ability of the aircraft to continue safe flight and landing - Presents and defines a case study (an aircraft modification program) and a safety strategy in the second chapter, after which each of the following chapters will explore the theory of the technique required and then apply the theory to the case study

This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages for safety related aspects, safety and security.

This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance.

Current Issues in Safety-Critical Systems contains the invited papers presented at the eleventh annual Safety-critical Systems Symposium, held in February 2003. The safety-critical systems domain is rapidly expanding and its industrial problems are always candidates for academic research. It embraces almost all industry sectors; current issues in one are commonly appropriate to others. The Safety-critical System Symposium provides an annual forum for discussing such issues. The papers contained within this volume cover a broad range of subjects. They represent a great deal of industrial experience as well as some academic research. All the papers are linked by addressing current issues in safety-critical systems: Dependability Requirements Engineering; Human Error Management; Influences on Risk; Safety Cases; Reforming the Law; Safety Management and Safety Standards.

Containing selected papers from the ICRESH-ARMS 2015 conference in Lulea, Sweden, collected by editors with years of experiences in Reliability and maintenance modeling, risk assessment, and asset management, this work maximizes reader insights into the current trends in Reliability, Availability, Maintainability and Safety (RAMS) and Risk Management. Featuring a comprehensive analysis of the significance of the role of RAMS and Risk Management in the decision making process during the various phases of design, operation, maintenance, asset management and productivity in Industrial domains, these proceedings discuss key issues and challenges in the operation, maintenance and risk management of complex engineering systems and will serve as a valuable resource for those in the field.

This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022. The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.