Introduction: Nearly half of occupational accidents in Iran occur in construction sites. Therefore, modeling of occupational accidents in these sites is one of the solutions to design safety strategies to reduce occupational accidents in the field of construction. This study was designed and conducted with the aim of modeling the cause-consequence of accidents in construction sites. Material a...

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 fo...