GSN - The Goal Structuring Notation
GSN - The Goal Structuring Notation

Author: John Spriggs

Publisher: Springer Science & Business Media

Published: 2012-01-05

Total Pages: 197

ISBN-13: 1447123123

DOWNLOAD EBOOK

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

Published: 2016-09-12

Total Pages: 424

ISBN-13: 0081009321

DOWNLOAD EBOOK

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

Published: 2014-09-03

Total Pages: 356

ISBN-13: 331910506X

DOWNLOAD EBOOK

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

Published: 2020-09-03

Total Pages: 255

ISBN-13: 303058920X

DOWNLOAD EBOOK

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

Published: 2012-12-06

Total Pages: 273

ISBN-13: 1447106539

DOWNLOAD EBOOK

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

Published: 2015-12-14

Total Pages: 722

ISBN-13: 3319235974

DOWNLOAD EBOOK

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

Published: 2022-08-24

Total Pages: 383

ISBN-13: 3031148355

DOWNLOAD EBOOK

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

Published: 2020-08-19

Total Pages: 450

ISBN-13: 3030545490

DOWNLOAD EBOOK

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

Published: 2019-03-07

Total Pages: 201

ISBN-13: 0768002753

DOWNLOAD EBOOK

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.

The Agile Safety Case
The Agile Safety Case

Author: Thor Myklebust

Publisher: Springer

Published: 2018-01-29

Total Pages: 242

ISBN-13: 3319702653

DOWNLOAD EBOOK

The safety case (SC) is one of the railway industry’s most important deliverables for creating confidence in their systems. This is the first book on how to write an SC, based on the standard EN 50129:2003. Experience has shown that preparing and understanding an SC is difficult and time consuming, and as such the book provides insights that enhance the training for writing an SC. The book discusses both "regular" safety cases and agile safety cases, which avoid too much documentation, improve communication between the stakeholders, allow quicker approval of the system, and which are important in the light of rapidly changing technology. In addition, it discusses the necessity of frequently updating software due to market requirements, changes in requirements and increased cyber-security threats. After a general introduction to SCs and agile thinking in chapter 1, chapter 2 describes the majority of the roles that are relevant when developing railway-signaling systems. Next, chapter 3 provides information related to the assessment of signaling systems, to certifications based on IEC 61508 and to the authorization of signaling systems. Chapter 4 then explains how an agile safety plan satisfying the requirements given in EN 50126-1:1999 can be developed, while chapter 5 provides a brief introduction to safety case patterns and notations. Lastly, chapter 6 combines all this and describes how an (agile) SC can be developed and what it should include. To ensure that infrastructure managers, suppliers, consultants and others can take full advantage of the agile mind-set, the book includes concrete examples and presents relevant agile practices. Although the scope of the book is limited to signaling systems, the basic foundations for (agile) SCs are clearly described so that they can also be applied in other cases.