User: Guest  Login
Original title:
Behavioural Safety of Technical Systems 
Translated title:
Verhaltenssicherheit technischer Systeme 
Year:
2014 
Document type:
Dissertation 
Institution:
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. 
Oral examination:
20.11.2014 
File size:
5640957 bytes 
Pages:
180 
Last change:
10.12.2014