User: Guest  Login
If you experience problems opening the document, please try this link.
Original title:
Behavioural Safety of Technical Systems
Translated title:
Verhaltenssicherheit technischer Systeme
Author:
Gleirscher, Mario
Year:
2014
Document type:
Dissertation
Faculty/School:
Fakultät für Informatik
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c)
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c); Peleska, Jan (Prof. Dr.)
Language:
en
Subject group:
MAS Maschinenbau; MSR Meßtechnik, Steuerungs- und Regelungstechnik, Automation; TEC Technik, Ingenieurwissenschaften (allgemein)
Keywords:
requirements, validation, risk, hazard, safety, analysis, system modelling, safety engineering, specification, control system
Translated keywords:
Anforderungen, Validierung, Risiko, Gefährung, Sicherheit, Analyse, Systemmodellierung, Sicherheitstechnik, Spezifikation, Regelungssystem
Abstract:
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.
Translated abstract:
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
Date of submission:
25.06.2014
Oral examination:
20.11.2014
File size:
5640957 bytes
Pages:
180
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20141120-1221841-0-1
Last change:
10.12.2014
 BibTeX