Safety analysis of autonomous systems by extended fault tree analysis

DOI10.1002/ACS.934MaRDI QIDQ5293807zbMATH OpenOpenAlexFDO

Authors

Publication date 4 July 2007

Published in International Journal of Adaptive Control and Signal Processing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/acs.934

zbMATH Keywords

autonomous systemsfault tree analysisfault-tolerant controlsafety analysis

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Application models in control theory (93C95)

Recommendations

• Symbolic Fault Tree Analysis for Reactive Systems
• Formal fault tree analysis -- practical experiences
• Fault Tree Analysis, Methods, and Applications ߝ A Review
• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
• Formal safety assessment via contract-based design

Cited in

(8)

• Signed directed graph based modeling and its validation from process knowledge and process data
• Formal safety assessment via contract-based design
• Progress in root cause and fault propagation analysis of large-scale industrial processes
• Safety assessment of control laws using Markov analysis
• A deontic logic analysis of autonomous systems' safety
• Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification
• A probabilistic method for certification of analytically redundant systems
• The marriage between safety and cybersecurity: still practicing

This page was built for publication: Safety analysis of autonomous systems by extended fault tree analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5293807)