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.

Agile Methods for Safety-Critical Systems
Agile Methods for Safety-Critical Systems

Author: Nancy Van Schooenderwoert

Publisher: Createspace Independent Publishing Platform

Published: 2018-06-04

Total Pages: 130

ISBN-13: 9781717543141

DOWNLOAD EBOOK

This book, packed with real-world insights and direct experiences, is for managers who want the benefits of Agile but also must address regulatory compliance, integration of software with other disciplines, and product safety. In it, we combine our understanding of Agile development, hardware/software integration, and regulatory requirements. We know that Agile is simple but not easy; leadership is crucial to make this change spread. We aim to show how you can navigate the transition.

SafeScrum® – Agile Development of Safety-Critical Software
SafeScrum® – Agile Development of Safety-Critical Software

Author: Geir Kjetil Hanssen

Publisher: Springer

Published: 2018-11-23

Total Pages: 237

ISBN-13: 3319993348

DOWNLOAD EBOOK

This book addresses the development of safety-critical software and to this end proposes the SafeScrum® methodology. SafeScrum® was inspired by the agile method Scrum, which is extensively used in many areas of the software industry. Scrum is, however, not intended or designed for use with safety-critical systems; hence the authors propose guidelines and additions to make it both practically useful and compliant with the additional requirements found in safety standards. The book provides an overview of agile software development and how it can be linked to safety and relevant safety standards. SafeScrum® is described in detail as a useful approach for reaping the benefits of agile methods, and is intended as a set of ideas and a basis for adaptation in industry projects. The book covers roles, processes and practices, and documentation. It also includes tips on how standard software process tools can be employed. Lastly, some insights into relevant research in this new and emerging field are provided, and selected real-world examples are presented. The ideas and descriptions in this book are based on collaboration with the industry, in the form of discussions with assessment organizations, general discussions within the research fields of safety and software, and last but not least, the authors’ own experiences and ideas. It was mainly written for practitioners in industry who know a great deal about how to produce safety-critical software but less about agile development in general and Scrum in particular.

Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security

Author: Amund Skavhaug

Publisher: Springer

Published: 2016-09-01

Total Pages: 408

ISBN-13: 3319454803

DOWNLOAD EBOOK

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.

Functional Safety and Proof of Compliance
Functional Safety and Proof of Compliance

Author: Thor Myklebust

Publisher: Springer Nature

Published: 2022-01-03

Total Pages: 284

ISBN-13: 303086152X

DOWNLOAD EBOOK

This book aims to facilitate and improve development work related to all documents and information required by functional safety standards. Proof of Compliance (PoC) is important for the assessor and certification bodies when called up to confirm that the manufacturer has developed a software system according to the required safety standards. While PoC documents add functionality to the product neither for the developer nor for the customer, they do add confidence and trust to the product and ease certification, and as such are important for the product’s value. In spite of this added value, the documentation needed for PoC is often developed late in the project and in a haphazard manner. This book aims at developers, assessors, certification bodies, and purchasers of safety instrumented systems and informs the reader about the most important PoC documents. A typical PoC documentation encompasses 50 to 200 documents, several of which are named in the safety standards (e.g., 82 documents in IEC 61508:2010 series, 101 documents in EN 5012X series and 106 work products in ISO 26262:2018 series). These documents also include further references, typically one to twenty of them, and the total number of pages developed by the manufacturer varies between 2000 and 10000 pages. The book provides guidance and examples what to include in the relevant plans and documents.

Safety and Reliability. Theory and Applications
Safety and Reliability. Theory and Applications

Author: Marko Cepin

Publisher: CRC Press

Published: 2017-06-14

Total Pages: 3668

ISBN-13: 1351809733

DOWNLOAD EBOOK

Safety and Reliability – Theory and Applications contains the contributions presented at the 27th European Safety and Reliability Conference (ESREL 2017, Portorož, Slovenia, June 18-22, 2017). The book covers a wide range of topics, including: • Accident and Incident modelling • Economic Analysis in Risk Management • Foundational Issues in Risk Assessment and Management • Human Factors and Human Reliability • Maintenance Modeling and Applications • Mathematical Methods in Reliability and Safety • Prognostics and System Health Management • Resilience Engineering • Risk Assessment • Risk Management • Simulation for Safety and Reliability Analysis • Structural Reliability • System Reliability, and • Uncertainty Analysis. Selected special sessions include contributions on: the Marie Skłodowska-Curie innovative training network in structural safety; risk approaches in insurance and fi nance sectors; dynamic reliability and probabilistic safety assessment; Bayesian and statistical methods, reliability data and testing; oganizational factors and safety culture; software reliability and safety; probabilistic methods applied to power systems; socio-technical-economic systems; advanced safety assessment methodologies: extended Probabilistic Safety Assessment; reliability; availability; maintainability and safety in railways: theory & practice; big data risk analysis and management, and model-based reliability and safety engineering. Safety and Reliability – Theory and Applications will be of interest to professionals and academics working in a wide range of industrial and governmental sectors including: Aeronautics and Aerospace, Automotive Engineering, Civil Engineering, Electrical and Electronic Engineering, Energy Production and Distribution, Environmental Engineering, Information Technology and Telecommunications, Critical Infrastructures, Insurance and Finance, Manufacturing, Marine Industry, Mechanical Engineering, Natural Hazards, Nuclear Engineering, Offshore Oil and Gas, Security and Protection, Transportation, and Policy Making.

Systems, Software and Services Process Improvement
Systems, Software and Services Process Improvement

Author: Jakub Stolfa

Publisher: Springer

Published: 2017-08-23

Total Pages: 683

ISBN-13: 3319642189

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the 24th EuroSPI conference, held in Ostrava, Czech Republic, in September 2017.The 56 revised full papers presented were carefully reviewed and selected from 97 submissions. They are organized in topical sections on SPI and VSEs, SPI and process models, SPI and safety, SPI and project management, SPI and implementation, SPI issues, SPI and automotive, selected key notes and workshop papers, GamifySPI, SPI in Industry 4.0, best practices in implementing traceability, good and bad practices in improvement, safety and security, experiences with agile and lean, standards and assessment models, team skills and diversity strategies.

Safety and Security Engineering IX
Safety and Security Engineering IX

Author: G. Passerini

Publisher: WIT Press

Published: 2022-01-18

Total Pages: 338

ISBN-13: 178466443X

DOWNLOAD EBOOK

Formed of papers originating from the 9th International Conference on Safety and Security Engineering, this book highlights research and industrial developments in the theoretical and practical aspects of safety and security engineering. Safety and Security Engineering, due to its special nature, is an interdisciplinary area of research and application that brings together, in a systematic way, many disciplines of engineering from the traditional to the most technologically advanced. This volume covers topics such as crisis management, security engineering, natural disasters and emergencies, terrorism, IT security, man-made hazards, risk management, control, protection and mitigation issues. The meeting aims to attract papers in all related fields, in addition to those listed under the Conference Topics, as well as case studies describing practical experiences. Due to the multitude and variety of topics included, the list is only indicative of the themes of the expected papers. Authors are encouraged to submit abstracts in all areas of Safety and Security, with particular attention to integrated and interdisciplinary aspects. Specific themes include: Risk analysis and assessment; Safety engineering; Accident monitoring and management; Information and communication security; Protection of personal information; Fire safety; Disaster and emergency management; Critical infrastructure; Counter-terrorism; Occupational health; Transportation safety and security; Earthquakes and natural hazards; Surveillance systems; Safety standards and regulations; Cybersecurity / e-security; Safety and security culture; Border security; Disaster recovery.

Safety Cases and Safety Reports
Safety Cases and Safety Reports

Author: Mr Richard Maguire

Publisher: Ashgate Publishing, Ltd.

Published: 2012-10-01

Total Pages: 196

ISBN-13: 1409485560

DOWNLOAD EBOOK

The safety case and its associated reports are quickly becoming not only a mechanism for achieving safety goals, but also a valuable decision-support asset, and a vital industrial liability management tool. Recent developments in industry have led to safety cases being frequently required as contractual deliverables as part of large and complex commercial programmes. A safety case consists of a rational argument and detailed evidence to justify and demonstrate that a system or product is tolerably safe in its use, and that it has a management programme to ensure that this remains so. The safety case report is the snap-shot presentation of the arguments and evidence demonstrating the contemporary safety performance of the system and the programme that is in place. This book, written from personal experience and reference, provides a concentrated source document for assessing and constructing safety cases and safety case reports - from understanding their purposes, through their development and on to their presentation.

Agile Processes in Software Engineering and Extreme Programming
Agile Processes in Software Engineering and Extreme Programming

Author: Casper Lassenius

Publisher: Springer

Published: 2015-05-15

Total Pages: 382

ISBN-13: 3319186124

DOWNLOAD EBOOK

This book contains the refereed proceedings of the 16th International Conference on Agile Software Development, XP 2015, held in Helsinki, Finland, in May 2015. While agile development has already become mainstream in industry, this field is still constantly evolving and continues to spur an enormous interest both in industry and academia. The XP conference series has always played, and continues to play, an important role in connecting the academic and practitioner communities, providing a forum for both formal and informal sharing and development of ideas, experiences, and opinions. The theme of XP 2015 "Delivering Value: Moving from Cyclic to Continuous Value Delivery" reflects the modern trend towards organizations that are simultaneously very efficient and flexible in software development and delivery. The 15 full and 7 short papers accepted for XP 2015 were selected from 44 submissions. All of the submitted papers went through a rigorous peer-review process. Additionally, 11 experience reports were selected from 45 proposals, and in each case the authors were shepherded by an experienced researcher.