A system-theoretic safety engineering approach for software-intensive systems / Asim Abdulkhaleq.

Format:

Book

Author/Creator:

Abdulkhaleq, Asim, author.

Language:

English

Subjects (All):

Software engineering--Congresses.

Software engineering.

Physical Description:

1 online resource (221 pages) : illustrations, tables

Edition:

1st ed.

Place of Publication:

Göttingen, [Germany] : Cuvillier Verlag, 2017.

Summary:

Software safety is a crucial aspect during the development of modern safety-critical systems. However, safety is a system level property, and therefore, must be considered at the system-level to ensure the whole system's safety. In the software development process, formal verification and functional testing are complementary approaches which are used to verify the functional correctness of software; however, even perfectly reliable software could lead to an accident. The correctness of software cannot ensure the safe operation of safety-critical software systems. Therefore, developing safety-critical software requires a more systematic software and safety engineering process that enables the software and safety engineers to recognize the potential software risks. For this purpose, this dissertation introduces a comprehensive safety engineering approach based on STPA for Software-Intensive Systems, called STPA SwISs, which provides seamless STPA safety analysis and software safety verification activities to allow the software and safety engineers to work together during the software development for safety-critical systems and help them to recognize the associated software risks at the system level.

Contents:

Intro

Abstract

Contents

List of Figures

List of Tables

List of Definitions

List of Abbreviations

Glossary

1 Introduction

2 Background

3 State of the Art

4 Approach

5 Automation of Approach

6 Tool Support

7 Empirical Validation

8 Conclusions

Bibliography

Appendix.

Notes:

Includes bibliographical references.

Description based on online resource; title from PDF title page (ebrary, viewed September 27, 2017).

ISBN:

9783736984929

3736984928