Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
De En Es
Kundenservice: +49 (0) 551 - 547 24 0

Cuvillier Verlag

30 Jahre Kompetenz im wissenschaftlichen Publizieren
Internationaler Fachverlag für Wissenschaft und Wirtschaft

Cuvillier Verlag

Premiumpartner
De En Es
2019-02-11_banner_durchlaufend_versandkostenfrei_jan-apr Titelbild-leitlinien
A System-Theoretic Safety Engineering Approach for Software-Intensive Systems

Printausgabe
EUR 55,90

E-Book
EUR 39,13

A System-Theoretic Safety Engineering Approach for Software-Intensive Systems

Asim Ali Ahmed Abdulkhaleq (Autor)

Vorschau

Leseprobe, PDF (140 KB)
Inhaltsverzeichnis, PDF (50 KB)

ISBN-13 (Printausgabe) 9783736994928
ISBN-13 (E-Book) 9783736984929
Sprache Englisch
Seitenanzahl 220
Umschlagkaschierung matt
Auflage 1. Aufl.
Erscheinungsort Göttingen
Promotionsort Stuttgart
Erscheinungsdatum 23.02.2017
Allgemeine Einordnung Dissertation
Fachbereiche Informatik
Schlagwörter STPA, Software Safety, Safety Verification, Model Checker, Test Case Generating, XSTAMPP, Risk-based Testing
Beschreibung

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.