Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-8966
Autor(en): Abdulkhaleq, Asim
Wagner, Stefan
Leveson, Nancy
Titel: A comprehensive safety engineering approach for software-intensive systems based on STPA
Erscheinungsdatum: 2015
Dokumentart: Konferenzbeitrag
Konferenz: European STAMP Workshop (3rd, 2015, Amsterdam)
Seiten: 2-11
Erschienen in: Boer, Robert J. de (ed.) ; Karanikas, Nektarios (ed.): Proceedings of the 3rd European STAMP Workshop 5-6 October 2015, Amsterdam. Elsevier, 2015 (Procedia engineering 128), S. 2-11
URI: http://elib.uni-stuttgart.de/handle/11682/8983
http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-89836
http://dx.doi.org/10.18419/opus-8966
ISSN: 1877-7058
Bemerkungen: Published under CC BY-NC-ND
Zusammenfassung: Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of safety-critical software systems. The software must be verified against its safety requirements which are identified by safety analysis, to ensure that potential hazardous causes cannot occur. The complexity of software makes defining appropriate software safety requirements with traditional safety analysis techniques difficult. STPA (Systems-Theoretic Processes Analysis) is a unique safety analysis approach that has been developed to identify system hazards, including the software-related hazards. This paper presents a comprehensive safety engineering approach based on STPA, including software testing and model checking approaches for the purpose of developing safe software. The proposed approach can be embedded within a defined software engineering process or applied to existing software systems, allow software and safety engineers integrate the analysis of software risks with their verification. The application of the proposed approach is illustrated with an automotive software controller.
Enthalten in den Sammlungen:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
1612.03109v1.pdf342,4 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.