GSN - The Goal Structuring Notation

GSN - The Goal Structuring Notation
Author: John Spriggs
Publisher: Springer Science & Business Media
Total Pages: 197
Release: 2012-01-05
Genre: Technology & Engineering
ISBN: 1447123123

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

Aircraft System Safety
Author: Duane Kritzinger
Publisher: Woodhead Publishing
Total Pages: 424
Release: 2016-09-12
Genre: Business & Economics
ISBN: 0081009321

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

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security
Author: Andrea Bondavalli
Publisher: Springer
Total Pages: 356
Release: 2014-09-03
Genre: Computers
ISBN: 331910506X

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.

Model-Based Safety and Assessment

Model-Based Safety and Assessment
Author: Marc Zeller
Publisher: Springer Nature
Total Pages: 255
Release: 2020-09-03
Genre: Computers
ISBN: 303058920X

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

Current Issues in Safety-Critical Systems
Author: Felix Redmill
Publisher: Springer Science & Business Media
Total Pages: 273
Release: 2012-12-06
Genre: Computers
ISBN: 1447106539

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.

Current Trends in Reliability, Availability, Maintainability and Safety

Current Trends in Reliability, Availability, Maintainability and Safety
Author: Uday Kumar
Publisher: Springer
Total Pages: 722
Release: 2015-12-14
Genre: Technology & Engineering
ISBN: 3319235974

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.

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security
Author: Mario Trapp
Publisher: Springer Nature
Total Pages: 383
Release: 2022-08-24
Genre: Computers
ISBN: 3031148355

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.

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security
Author: António Casimiro
Publisher: Springer Nature
Total Pages: 450
Release: 2020-08-19
Genre: Computers
ISBN: 3030545490

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance. *The conference was held virtually due to the COVID-19 pandemic. The chapter ‘Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware’ is available open access under an Open Government License 3.0 via link.springer.com.

The Role of ISO 26262

The Role of ISO 26262
Author: Juan Pimentel
Publisher: SAE International
Total Pages: 201
Release: 2019-03-07
Genre: Technology & Engineering
ISBN: 0768002753

Safety has been ranked as the number one concern for the acceptance and adoption of automated vehicles since safety has driven some of the most complex requirements in the development of self-driving vehicles. Recent fatal accidents involving self-driving vehicles have uncovered issues in the way some automated vehicle companies approach the design, testing, verification, and validation of their products. Traditionally, automotive safety follows functional safety concepts as detailed in the standard ISO 26262. However, automated driving safety goes beyond this standard and includes other safety concepts such as safety of the intended functionality (SOTIF) and multi-agent safety. The Role of ISO 26262 addresses the concept of safety for self-driving vehicles through the inclusion of 10 recent and highly relevent SAE technical papers. Topics that these papers feature include model-based systems engineering (MBSE) and the use of SysML language in a management-based approach to safety As the fourth title in a series on automated vehicle safety, this contains introductory content by the Editor with 10 SAE technical papers specifically chosen to illuminate the specific safety topic of that book.