The paper presents how CSP and the associated tool FDR are used to support FMEA of a software intensive system. The paper explains the basic steps of our approach (formal specification, systematic fault identification, fault injection experiments and follow-up) and gives some results related to the application of this method to the industrial case study, a railway signalling system that is presently under development.
CITATION STYLE
Cichocki, T., & Górski, J. (2001). Formal support for fault modelling and analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2187, pp. 190–199). Springer Verlag. https://doi.org/10.1007/3-540-45416-0_19
Mendeley helps you to discover research relevant for your work.