Resources

Explore a selection of papers and materials on System Safety and Functional Safety. These resources are shared to support anyone aiming to strengthen safety knowledge and practice. Contact us on info@slima.com.au for any inquiry.

SIL Verification

Jahanian, Hamid. “Generalizing PFD formulas of IEC 61508 for KooN configurations.” ISA transactions 55 (2015): 168-174.

SIL Determination

Jahanian, Hamid. “SIL Allocation for Mitigation Safety Functions.” arXiv preprint arXiv:2506.02309 (2025). Download from ArXiv here.
Jahanian, Hamid. “Optimization, a rational approach to SIL determination.” Process Safety and Environmental Protection 109 (2017): 452-464.
Jahanian, Hamid, and Qamar Mahboob. “SIL determination as a utility-based decision process.” Process Safety and Environmental Protection 102 (2016): 757-767.

Failure Mode Reasoning (FMR)

Jahanian, Hamid. “Failure mode reasoning.” 2019 4th International Conference on System Reliability and Safety (ICSRS). IEEE, 2019.
Jahanian, Hamid, and Annabelle McIver. “Reasoning with failures.” Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings 22. Springer International Publishing, 2020. Download the ArXiv version here.
Jahanian, Hamid, et al. “Failure mode reasoning in model based safety analysis.” Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings 7. Springer International Publishing, 2020. Download the ArXiv version here.
Jahanian, Hamid. “Parametric faults in safety critical programs.” Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings 26. Springer International Publishing, 2021.
Jahanian, Hamid. “From Function to Failure.” arXiv preprint arXiv:2210.08667 (2022). Download from ArXiv here.
Jahanian, Hamid. Failure mode reasoning in safety-critical programs. Diss. Macquarie University, 2022. Download from MQ here.
Jahanian, Hamid. “A Note on Failure Mode Reasoning.” Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings 21. Springer International Publishing, 2019.

Safety Requirements Specification (SRS)

Jahanian, Hamid. “What was Said, What was not Said.” arXiv preprint arXiv:2503.13958 (2025). Download from ArXiv here.

Fault Tree Analysis (FTA)

Jahanian, Hamid. “Fault Tree Analysis – A Review of the Computation” Download here.