Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-9049
Langanzeige der Metadaten
DC ElementWertSprache
dc.contributor.advisorWagner, Stefan (Prof. Dr.)-
dc.contributor.authorAbdulkhaleq, Asim-
dc.date.accessioned2017-03-23T15:41:59Z-
dc.date.available2017-03-23T15:41:59Z-
dc.date.issued2017de
dc.identifier.other485899825-
dc.identifier.urihttp://elib.uni-stuttgart.de/handle/11682/9066-
dc.identifier.urihttp://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-90667de
dc.identifier.urihttp://dx.doi.org/10.18419/opus-9049-
dc.description.abstractIn 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.en
dc.language.isoende
dc.rightsinfo:eu-repo/semantics/openAccessde
dc.subject.ddc004de
dc.titleA system-theoretic safety engineering approach for software-intensive systemsen
dc.typedoctoralThesisde
ubs.bemerkung.externDruck-Ausgabe beim Cuvillier Verlag, Göttingen erschienen. ISBN 978-3-73699-492-8de
ubs.dateAccepted2017-02-06-
ubs.fakultaetInformatik, Elektrotechnik und Informationstechnikde
ubs.institutInstitut für Softwaretechnologiede
ubs.publikation.seiten215de
ubs.publikation.typDissertationde
ubs.thesis.grantorInformatik, Elektrotechnik und Informationstechnikde
Enthalten in den Sammlungen:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Dissertation_Asim_Abdulkhaleq.pdf13,64 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.