Benutzer: Gast  Login
Originaltitel:
Behavioural Safety of Technical Systems 
Übersetzter Titel:
Verhaltenssicherheit technischer Systeme 
Jahr:
2014 
Dokumenttyp:
Dissertation 
Institution:
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. 
Mündliche Prüfung:
20.11.2014 
Dateigröße:
5640957 bytes 
Seiten:
180 
Letzte Änderung:
10.12.2014