Advertisement

The Agile Safety Case

  • Thor Myklebust
  • Tor Stålhane

Table of contents

  1. Front Matter
    Pages i-xii
  2. Thor Myklebust, Tor Stålhane
    Pages 1-18
  3. Thor Myklebust, Tor Stålhane
    Pages 19-46
  4. Thor Myklebust, Tor Stålhane
    Pages 47-65
  5. Thor Myklebust, Tor Stålhane
    Pages 67-86
  6. Thor Myklebust, Tor Stålhane
    Pages 87-99
  7. Thor Myklebust, Tor Stålhane
    Pages 101-110
  8. Thor Myklebust, Tor Stålhane
    Pages 111-135
  9. Thor Myklebust, Tor Stålhane
    Pages 137-164
  10. Thor Myklebust, Tor Stålhane
    Pages 165-200
  11. Thor Myklebust, Tor Stålhane
    Pages 201-213
  12. Back Matter
    Pages 215-235

About this book

Introduction

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.

Keywords

Safety critical systems Software safety Software verification and validation Agile software development Empirical software engineering

Authors and affiliations

  • Thor Myklebust
    • 1
  • Tor Stålhane
    • 2
  1. 1.Software Engineering, Safety and SecuritySINTEF ICTTrondheimNorway
  2. 2.NTNUTrondheimNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-70265-0
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-70264-3
  • Online ISBN 978-3-319-70265-0
  • Buy this book on publisher's site