Abstract
In this paper we present a new form of formal safety analysis: deductive cause-consequence analysis (DCCA). Deductive Cause-Consequence Analysis is a way to use formal methods for safety analysis. It substitutes error-prone informal reasoning by mathematical proofs. DCCA allows to rigorously prove whether a failure on component level is the cause for system failure or not. DCCA is a formal generalization of the two most common safety analysis techniques: failure modes and effects analysis (FMEA) and fault tree analysis (FTA).We apply the method to a real world case study: the height control in the Elbe-tunnel in Hamburg. This shows how formal safety analysis with DCCA helps identifying design flaws and weaknesses in a real-world industrial system.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
