Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Behavioural Safety of Technical Systems
Übersetzter Titel:
Verhaltenssicherheit technischer Systeme
Autor:
Gleirscher, Mario
Jahr:
2014
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Informatik
Betreuer:
Broy, Manfred (Prof. Dr. Dr. h.c)
Gutachter:
Broy, Manfred (Prof. Dr. Dr. h.c); Peleska, Jan (Prof. Dr.)
Sprache:
en
Fachgebiet:
MAS Maschinenbau; MSR Meßtechnik, Steuerungs- und Regelungstechnik, Automation; TEC Technik, Ingenieurwissenschaften (allgemein)
Stichworte:
requirements, validation, risk, hazard, safety, analysis, system modelling, safety engineering, specification, control system
Übersetzte Stichworte:
Anforderungen, Validierung, Risiko, Gefährung, Sicherheit, Analyse, Systemmodellierung, Sicherheitstechnik, Spezifikation, Regelungssystem
Kurzfassung:
This thesis presents a validation method for specifications extending the guidance for achieving safety of technical systems. The method fosters the encoding of safety-related domain knowledge, the characterisation of hazards and the specification of safety measures. The formal approach applies behavioural modelling and provides patterns to disclose and remove hazards. The evaluation is achieved by a case study, a literature review and expert interviews.
Übersetzte Kurzfassung:
Diese Arbeit stellt eine Absicherungsmethode vor, um das Gefährdungspotential technischer Systeme zu verringern. Die Methode unterstützt die Abbildung von sicherheitsbezogenem Domänenwissen, die Charakterisierung von Gefährdungen sowie die Spezifikation von Sicherheitsmaßnahmen. Der formale Ansatz basiert auf einer Verhaltensmodellierung und bietet Muster zur Erkennung und Behandlung von Gefährdungen. Die Evaluierung erfolgt durch eine Fallstudie, Literaturrecherche und Expertenbefragungen.
WWW:
https://mediatum.ub.tum.de/?id=1221841
Eingereicht am:
25.06.2014
Mündliche Prüfung:
20.11.2014
Dateigröße:
5640957 bytes
Seiten:
180
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20141120-1221841-0-1
Letzte Änderung:
10.12.2014
 BibTeX