Output details
11 - Computer Science and Informatics
University of Hull
Article title
Qualitative temporal analysis: towards a full implementation of the Fault Tree Handbook
Type
D - Journal article
Title of journal
Control Engineering Practice
Article number
-
Volume number
17
Issue number
10
First page of article
1115
ISSN of journal
0967-0661
Year of publication
2009
Number of additional authors
1
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
11
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
