Common cause analysis for accidents is a necessity for effective safety engineering.
Modern accident databases, e.g. [7][10][1][9], offer a great number of accident reports and help safety engineers to find reports for known accidents quickly.
The databases mainly serve as report repositories, to search and access specific reports. Some predefined commonalities of accidents can be used in search queries of databases, but there is no provision to analyse databases for common causes in accidents, especially if the common causes are yet unknown to be common causes.
Common cause analysis, obviously, needs causal analysis. There are causal analysis methods which offer the prospect of more structure in describing cause-eect relationships in accidents. State of the art is to formulate
accident reports as texts, which is very dfficult to parse for cause-effect relationships.
Causal analysis methods[27] offer more explicit descriptions of cause effect relationships.
If accident report databases must be searched automatically for common causes, the problem of finding common causes has to be solved algorithmically.
This entails, that cause-effect denotations must be machine understandable with well defined semantics.
AcciMaps[24], one example of a causal analysis method, has the feature to formally indicate accidents' cause-effect relationships. Unfortunately it lacks well-defined semantics for what a cause-effect relationship is. That
means that an algorithm could in principle search for patterns in AcciMaps, but the semantic evaluation of the results must be done in the head of the user/investigator. The algorithm itself cannot be used for causal reasoning.
This thesis will show that with well-defined causal semantics, algorithms can be developed which offer causal reasoning capabilites and can be used for improved funcitonality in accident databases. The accompanying software is a proof of concept. It contains algorithms for
-searching for causally-specified system behaviour,
-comparing two or more accident descriptions for similarity and
-finding previously unknown common causes of accidents automatically.