Application of the SAFE-SADT method on a railway braking system

Dependability evaluation is a fundamental step in automated system design. However, the current dependability evaluation methods are not appropriate given the level of complexity of such systems. Given the ineffectiveness of the current methods, we have proposed, in one PhD thesis, the SAFE-SADT formalism for dependability evaluation. The aim of...