User: Guest  Login
Original title:
Formale Fehlermodellierung für verteilte reaktive Systeme 
Translated title:
Formal Modeling of Faults for Distributed Reactive Systems 
Year:
2001 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr.) 
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Jessen, Eike (Prof. Dr.) 
Format:
Text 
Language:
de 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Fehler; Fehlertoleranz; Verifikation; Formale Methoden; Verteilte Systeme; FOCUS 
Translated keywords:
fault; error; fault tolerance; verification; formal methods; distributed systems; FOCUS 
Controlled terms:
Reaktives System; Verteiltes System; Fehlertoleranz; Fehlerbehandlung; Fehlermodell; Formale Methode 
TUM classification:
DAT 250d; DAT 286d 
Abstract:
An die Entwicklung heutiger informationstechnischer Systeme werden aufgrund ihrer hohen Komplexität, strenger Rahmenbedingungen und vielfältiger geforderter Qualitätsmerkmale hohe Anforderungen gestellt. Insbesondere für Systeme oder Systemteile, deren Mängel zu erheblichen Schäden führen könnten, ist die Entwicklung mit Hilfe formaler Methoden ein Ansatz, diesen Anforderungen zu begegnen. Formale Methoden ermöglichen eine hohe Präzision in Spezifikationen und die akkurate Verifikation kritische...    »
 
Translated abstract:
The development of today's systems for information technology has to meet several requirements with respect to the system's inherent complexity, strict development constraints and a diversity of additional quality attributes. The application of formal methods during their development is an approach to meeting these challenges, especially for systems or system parts whose failure could induce substantial damage. Formal methods enable high precision in specifications and the accurate verification...    »
 
Publication :
Universitätsbibliothek der TU München 
Oral examination:
25.06.2001 
File size:
1345177 bytes 
Pages:
184 
Last change:
27.06.2007