Safeware: system safety and computers
Safeware: system safety and computers
Software deviation analysis
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Software Criticality Analysis of COTS/SOUP
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Automated Analysis of Some Security Mechanisms of SCEP
ISC '02 Proceedings of the 5th International Conference on Information Security
OF-FMEA: an approach to safety analysis of object-oriented software intensive systems
Artificial intelligence and security in computing systems
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
Hi-index | 0.00 |
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.