Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Fachbereich Informatik Diplomarbeit
 

Summary: Fachbereich Informatik
Diplomarbeit
Fehlerbaumanalyse und Model­Checking
Vorgelegt von : Andreas Sch˜ afer
Betreuer : Prof. Dr. Ernst­R˜ udiger Olderog
Zweitpr˜ ufer : Dr. Henning Dierks
Oldenburg, den 5. Dezember 2001

ii

Zusammenfassung
In den Ingenieurswissenschaften wird die Fehlerbaumanalyse als Methode eingesetzt,
um die Sicherheit von technischen Systemen zu beurteilen. Sie beruht nicht auf for­
malen Modellen und Beweisen, sondern auf der Einsch˜ atzung der Analysten. Es gibt
deshalb verschiedene Ans˜ atze, eine formale Semantik f˜ ur Fehlerb˜ aume zu definieren,
um die Sicherheit der Analyse und damit auch des technischen Systems zu erh˜ ohen. In
dieser Arbeit soll untersucht werden, wie eine Semantik, die dem Fehlerbaum Formeln
aus dem Duration Calculus zuordnet, auf das operationale Modell der Phasenautoma­
ten ˜ ubertragen und mit einem Model­Checker f˜ ur Phasenautomaten ˜ uberpr˜ uft werden
kann. Die Ergebnisse werden anhand von Fallbeispielen demonstriert.

  

Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg

 

Collections: Computer Technologies and Information Sciences