Safety Critical Systems Analysis
I wrote these posts to better understand methods discussed in the book "Embedded Software Development for Safety-Critical Systems" by Chris Hobbs. The best way to understand something is to build it (or rebuild it) and so that's what I did. Part one focuses on modelling a simple system using a Markov Chain. Parts two and three document a method to use graphml to generate a binary fault tree, which is solvable with the python minimum cut sets library.
- Gross Dependability Analysis with Markov Chains. A gross dependability analysis to derive a qualitative numerical estimate of system dependability
- Failure Analysis with Binary Fault Trees. An extended Binary Fault Tree to calculate the smallest sets of nodes that, by failing, will bring the system down.
- Redundancy as a Tool for Dependable System Design. Using the fault tree modelling tool from part 2 to compare, quantitatively, different redundancy architectures imposed on a simple automotive braking system model.
