Conversation

Notices

Embed this notice
Anti-Sophon [moved] (antisophon@mk.absturztau.be)'s status on Monday, 19-Sep-2022 05:05:43 JST Anti-Sophon [moved]
in reply to
- chjara
@chjara@snowdin.town the world if formal verification was commonly used
In conversation Monday, 19-Sep-2022 05:05:43 JST from gnusocial.jp permalink
Attachments
1. Untitled attachment
  https://misskey-taube.s3.wasabisys.com/files/780af47c-cff7-4881-8a32-47af4f9240af.jpeg
- Hélène likes this.
- Embed this notice
  chjara (chjara@snowdin.town)'s status on Monday, 19-Sep-2022 05:05:47 JST chjara
  
  reminded of https://en.wikipedia.org/wiki/Therac-25
  a radiotherapy machine, where a software error caused it to produce 100 times the amount of radiation that should have been produced
  because the software was written by a single person, never audited, and there were no hardware safety measures
  anyway this is why you write tests
  In conversation Monday, 19-Sep-2022 05:05:47 JST permalink
  Attachments
  1. Domain not in remote thumbnail source whitelist: upload.wikimedia.org
    
    Therac-25
    
    The Therac-25 was a computer-controlled radiation therapy machine produced by Atomic Energy of Canada Limited (AECL) in 1982 after the Therac-6 and Therac-20 units (the earlier units had been produced in partnership with Compagnie Générale Radiographique (CGR) of France). It was involved in at least six accidents between 1985 and 1987, in which patients were given massive overdoses of radiation.: 425 Because of concurrent programming errors (also known as race conditions), it sometimes gave its patients radiation doses that were hundreds of times greater than normal, resulting in death or serious injury. These accidents highlighted the dangers of software control of safety-critical systems, and they have become a standard case study in health informatics, software engineering, and computer ethics. Additionally, the overconfidence of the engineers: 428 and lack of proper due diligence to resolve reported software bugs are highlighted as an extreme case where the engineers' overconfidence...

Public

Conversation

Notices

Feeds