Therac-25 control software implemented in haskell according to the Leveson report.
-
Updated
May 26, 2024 - Haskell
#
therac-25
Here are 5 public repositories matching this topic...
Analysis of the most famous historical catastrophic medical radiotherapy device including it's catastrophic software anti-patterns.
medicine medical-imaging error-handling software-engineering radiotherapy pdp-11 therac-25 antipatterns error-analysis malfunction software-failure
-
Updated
Oct 4, 2023
A re-iteration on some of the complex safety-critical systems that have failed a long time ago; as a result of the aligment of latent system failures with the active failures triggering catastrophic events.
embedded-systems cybernetics electrical-engineering therac-25 industrial-engineering safety-critical-systems oil-rigs skylab air-france-flight-447 deepwater-horizon
-
Updated
Jan 19, 2025
Analysis of the Therac-25 catastrophe from an Embedded Systems perspective.
-
Updated
Jan 10, 2025
A re-iteration on some of the complex safety-critical systems that have failed a long time ago; as a result of the aligment of latent system failures with the active failures triggering catastrophic events.
embedded-systems cybernetics electrical-engineering therac-25 industrial-engineering safety-critical-systems oil-rigs skylab air-france-flight-447 deepwater-horizon
-
Updated
Jan 24, 2025
Improve this page
Add a description, image, and links to the therac-25 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the therac-25 topic, visit your repo's landing page and select "manage topics."