A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train

Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Peter T. Popov, Andrey Povyakalo, Lorenzo Strigini. A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train. Rel. Eng. & Sys. Safety, 130:61-68, 2014. [doi]

@article{BishopBLPPS14,
  title = {A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train},
  author = {Peter G. Bishop and Robin E. Bloomfield and Bev Littlewood and Peter T. Popov and Andrey Povyakalo and Lorenzo Strigini},
  year = {2014},
  doi = {10.1016/j.ress.2014.04.002},
  url = {http://dx.doi.org/10.1016/j.ress.2014.04.002},
  researchr = {https://researchr.org/publication/BishopBLPPS14},
  cites = {0},
  citedby = {0},
  journal = {Rel. Eng. & Sys. Safety},
  volume = {130},
  pages = {61-68},
}