Output details
11 - Computer Science and Informatics
University of Hull
Qualitative temporal analysis: towards a full implementation of the Fault Tree Handbook
<09> This paper describes an important development of a widely-used safety analysis technique – the incorporation of temporal semantics and qualitative analysis algorithms. The technique involved development of a new temporal logic and associated semantics and filled a longstanding gap in safety analysis capability for dynamic systems, sparking new work on temporal safety analysis in industry and academia. It is based on an earlier paper which won Best Paper in Track at INCOM'06 and was subsequently invited to be extended for publication in this journal. The work itself was nominated for the BCS Distinguished Dissertation award.