Rechnernetze
und verteilte Systeme
Universität Bielefeld
- Technische Fakultät
Grundlagen der System-Korrektheit und Versagen
(Foundations of System Correctness and Failure)
[ Main | Index of Courses | Course Descriptions and Notes ]
Last modified 18 June 1997
This course and seminar will be held for the first time in Winter
Semester 1997/98.
The course will consist of lectures in the basic concepts of
systems: their parts, how they can be correct and the ways in which they
may fail. In the seminar, participants will give talks on various aspects
not covered throroughly in the course, in the areas of software system
safety and reliability, and failure reasoning using the WB-graph method.
Selected literature is
- The Success and
Failure of Artifacts, a hypertextbook by Prof. Ladkin,
- Safeware: System Safety and Computers, by
Prof. Nancy Leveson,
(Addison-Wesley 1995).
-
Computer-Related Risks by
Dr. Peter Neumann, Moderator
of the
RISKS-Forum,
(Addison-Wesley, 1995).
-
Formalising Failure Analysis
[ Abstract |
Paper ]
Thorsten Gerdsmeier, Peter Ladkin, Karsten Loer,
4 June 1997, Report RVS-Occ-97-06
-
Analysing the 1993 Warsaw Accident With a WB-Graph
Draft Version Michael HHöhl and Peter Ladkin,
12 June 1997.
-
A Tool For Building and Analysing WB-Graphs
Thorsten Gerdsmeier,
3 March 1997, Research Report RVS-RR-97-02
Recommended by Prof. D. Gibbon, Linguistik und Literaturwissenschaft,
Uni Bielefeld.
-
Analysing the Cali Accident With a WB-Graph
Thorsten Gerdsmeier, Peter Ladkin and Karsten Loer
Second Version, 13 March 1997 (first version, 14 January 1997),
Research Report RVS-RR-97-01
in Participant's Proceedings of the first Workshop on Human Error and
Systems Development,
Technical Report GAAG TR-97-2,
Glasgow Accident Analysis Group, University of Glasgow.
- Computer-Related
Incidents with Commercial Aircraft, ed. Peter Ladkin, a hypertext
compendium of news and commentary on these issues.
-
News and Comment on the AeroPeru B757 Accident
Peter Ladkin
8 November 1996, Research Report RVS-RR-96-16
-
Explaining Failure with Tense Logic
Peter Ladkin
10 September 1996, Research Report RVS-RR-96-13
-
Formalism Helps in Describing Accidents
Peter Ladkin
4 September 1996, Research Report RVS-RR-96-12
-
The X-31 and A320 Warsaw Crashes: Whodunnit?
Peter Ladkin
Revised version 28 January 1996, Research Report RVS-RR-96-08
Peter Ladkin, 1995-09-27