Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)

@inproceedings{Ortmeier2005FormalSA,
  title={Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)},
  author={Frank Ortmeier and Wolfgang Reif and Gerhard Schellhorn},
  booktitle={EDCC},
  year={2005}
}
In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a novel technique to analyze safety of embedded systems with formal methods. 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 generalizes the two most common safety analysis techniques: failure… CONTINUE READING
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 16 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, NASA Headquarters, Washington DC 20546

  • Dr. Joanne Dugan
  • 2002
2 Excerpts

The STATEMATE reference model of the reference case study ‘Verkehrsleittechnik

  • J. Klose, A. Thums
  • Technical Report 2002-01,
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…