#lifecritical — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lifecritical, aggregated by home.social.
-
The #software that control avionics, ATC systems, medical devices, and other #LifeCritical systems should be implemented in modern #ProofAssistants, like Lean, Coq, Asda, Idris, etc.
A failure of the control software in a medical device may kill one person. A failure of the avionics software in a commercial airliner may kill hundreds. A failure of the ATC software may kill thousands.
Still, these failures are quantifiable. By a stark contrast, a failure of an infrastructural software, like #CrowdStrike or #Windows may well cause the loss of countless lives, limbs, and lollies.
So, using PowerShell, Bash, JavaScript, Python, and other expedient, popular languages to mash together an infrastructural system is not only inadvisable, it is outright insupportable.
-
The #software that control avionics, ATC systems, medical devices, and other #LifeCritical systems should be implemented in modern #ProofAssistants, like Lean, Coq, Asda, Idris, etc.
A failure of the control software in a medical device may kill one person. A failure of the avionics software in a commercial airliner may kill hundreds. A failure of the ATC software may kill thousands.
Still, these failures are quantifiable. By a stark contrast, a failure of an infrastructural software, like #CrowdStrike or #Windows may well cause the loss of countless lives, limbs, and lollies.
So, using PowerShell, Bash, JavaScript, Python, and other expedient, popular languages to mash together an infrastructural system is not only inadvisable, it is outright insupportable.
-
Making an Arduino Ventilator? Read This First - Thanks to the virus crisis, lots of people are designing makeshift ventilator designs in the hopes... more: https://hackaday.com/2020/04/05/making-an-arduino-ventilator-read-this-first/ #safetycritical #softwarehacks #lifecritical #ventilator #real-time #covid-19 #arduino #rtos