Causality and Temporal Dependencies in the Design of Fault Management Systems. Bozzano, M. Electronic Proceedings in Theoretical Computer Science, 259:39–46, October, 2017. ![Causality and Temporal Dependencies in the Design of Fault Management Systems [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi abstract bibtex Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A classical example is Fault Tree Analysis, a deductive technique used for system safety assessment, whereby an undesired state is reduced to the set of its immediate causes. The design of fault management systems also requires reasoning on causality relationships. In particular, a fail-operational system needs to ensure timely detection and identification of faults, i.e. recognize the occurrence of run-time faults through their observable effects on the system. Even more complex scenarios arise when multiple faults are involved and may interact in subtle ways. In this work, we propose a formal approach to fault management for complex systems. We first introduce the notions of fault tree and minimal cut sets. We then present a formal framework for the specification and analysis of diagnosability, and for the design of fault detection and identification (FDI) components. Finally, we review recent advances in fault propagation analysis, based on the Timed Failure Propagation Graphs (TFPG) formalism.
@article{bozzano_causality_2017,
title = {Causality and {Temporal} {Dependencies} in the {Design} of {Fault} {Management} {Systems}},
volume = {259},
issn = {2075-2180},
url = {http://arxiv.org/abs/1710.03392},
doi = {10/ghv5hn},
abstract = {Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A classical example is Fault Tree Analysis, a deductive technique used for system safety assessment, whereby an undesired state is reduced to the set of its immediate causes. The design of fault management systems also requires reasoning on causality relationships. In particular, a fail-operational system needs to ensure timely detection and identification of faults, i.e. recognize the occurrence of run-time faults through their observable effects on the system. Even more complex scenarios arise when multiple faults are involved and may interact in subtle ways. In this work, we propose a formal approach to fault management for complex systems. We first introduce the notions of fault tree and minimal cut sets. We then present a formal framework for the specification and analysis of diagnosability, and for the design of fault detection and identification (FDI) components. Finally, we review recent advances in fault propagation analysis, based on the Timed Failure Propagation Graphs (TFPG) formalism.},
urldate = {2021-01-27},
journal = {Electronic Proceedings in Theoretical Computer Science},
author = {Bozzano, Marco},
month = oct,
year = {2017},
keywords = {Computer Science - Artificial Intelligence},
pages = {39--46},
}
Downloads: 0
{"_id":"yaFDkn9QPuw9hutq9","bibbaseid":"bozzano-causalityandtemporaldependenciesinthedesignoffaultmanagementsystems-2017","author_short":["Bozzano, M."],"bibdata":{"bibtype":"article","type":"article","title":"Causality and Temporal Dependencies in the Design of Fault Management Systems","volume":"259","issn":"2075-2180","url":"http://arxiv.org/abs/1710.03392","doi":"10/ghv5hn","abstract":"Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A classical example is Fault Tree Analysis, a deductive technique used for system safety assessment, whereby an undesired state is reduced to the set of its immediate causes. The design of fault management systems also requires reasoning on causality relationships. In particular, a fail-operational system needs to ensure timely detection and identification of faults, i.e. recognize the occurrence of run-time faults through their observable effects on the system. Even more complex scenarios arise when multiple faults are involved and may interact in subtle ways. In this work, we propose a formal approach to fault management for complex systems. We first introduce the notions of fault tree and minimal cut sets. We then present a formal framework for the specification and analysis of diagnosability, and for the design of fault detection and identification (FDI) components. Finally, we review recent advances in fault propagation analysis, based on the Timed Failure Propagation Graphs (TFPG) formalism.","urldate":"2021-01-27","journal":"Electronic Proceedings in Theoretical Computer Science","author":[{"propositions":[],"lastnames":["Bozzano"],"firstnames":["Marco"],"suffixes":[]}],"month":"October","year":"2017","keywords":"Computer Science - Artificial Intelligence","pages":"39–46","bibtex":"@article{bozzano_causality_2017,\n\ttitle = {Causality and {Temporal} {Dependencies} in the {Design} of {Fault} {Management} {Systems}},\n\tvolume = {259},\n\tissn = {2075-2180},\n\turl = {http://arxiv.org/abs/1710.03392},\n\tdoi = {10/ghv5hn},\n\tabstract = {Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A classical example is Fault Tree Analysis, a deductive technique used for system safety assessment, whereby an undesired state is reduced to the set of its immediate causes. The design of fault management systems also requires reasoning on causality relationships. In particular, a fail-operational system needs to ensure timely detection and identification of faults, i.e. recognize the occurrence of run-time faults through their observable effects on the system. Even more complex scenarios arise when multiple faults are involved and may interact in subtle ways. In this work, we propose a formal approach to fault management for complex systems. We first introduce the notions of fault tree and minimal cut sets. We then present a formal framework for the specification and analysis of diagnosability, and for the design of fault detection and identification (FDI) components. Finally, we review recent advances in fault propagation analysis, based on the Timed Failure Propagation Graphs (TFPG) formalism.},\n\turldate = {2021-01-27},\n\tjournal = {Electronic Proceedings in Theoretical Computer Science},\n\tauthor = {Bozzano, Marco},\n\tmonth = oct,\n\tyear = {2017},\n\tkeywords = {Computer Science - Artificial Intelligence},\n\tpages = {39--46},\n}\n\n","author_short":["Bozzano, M."],"key":"bozzano_causality_2017","id":"bozzano_causality_2017","bibbaseid":"bozzano-causalityandtemporaldependenciesinthedesignoffaultmanagementsystems-2017","role":"author","urls":{"Paper":"http://arxiv.org/abs/1710.03392"},"keyword":["Computer Science - Artificial Intelligence"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["computer science - artificial intelligence"],"search_terms":["causality","temporal","dependencies","design","fault","management","systems","bozzano"],"title":"Causality and Temporal Dependencies in the Design of Fault Management Systems","year":2017}