System Safety, Cybersecurity, the “Scope” of IEC 61508 and Broken Standards

IEC 61508, the the international standard for functional safety of systems involving E/E/PE subsystems (which nowadays means mostly every engineered system), is being revised, or “maintained” in the IEC jargon. It started, for the SW part, in November 2014 and… Read moreSystem Safety, Cybersecurity, the “Scope” of IEC 61508 and Broken Standards

Further Comment on the IEEE Spectrum article concerning MCAS

Gregory Travis has responded to my comments in the Risks Forum Digest at https://catless.ncl.ac.uk/Risks/31/22#subj23 . He includes a wealth of interesting new information. He only disagrees with one of the points I made concerning the accuracy of his article, namely the… Read moreFurther Comment on the IEEE Spectrum article concerning MCAS

IEEE Spectrum on Possible Software Involvement in Two Recent Airliner Crashes

(This article is a modified version of one which appeared in the ACM Risks Forum Digest, Issue 31.21) Gregory Travis published an article on 2019-04-18 on the involvement of the MCAS software on Boeing 737 MAX aircraft in two recent… Read moreIEEE Spectrum on Possible Software Involvement in Two Recent Airliner Crashes

Safety and “AI Safety”

Robert Schaefer just pointed me (via a mailing-list note) to a list of features of “AI safety”, via a reference in the blog of Victoria Krakovna at https://vkrakovna.wordpress.com/2018/11/01/discussion-on-the-machine-learning-approach-to-ai-safety/ . The features of “AI safety” pointed to, from  http://www.foldl.me/2018/conceptual-issues-ai-safety-paradigmatic-gap/ , are Short-term: This work involves… Read moreSafety and “AI Safety”

Passwords and Requirements Engineering

Readers may know that for quite some time I have been working on topics in requirements engineering, in particular for safety requirements. They may recall previous posts here at https://abnormaldistribution.org/index.php/2010/11/09/formal-definition-of-the-notion-of-safety-requirement/ and https://abnormaldistribution.org/index.php/2010/11/09/the-parable-of-the-exploding-apples/ as well as the terminology engineering in OPRA at https://rvs-bi.de/publications/books/RVS-Bk-17-02/Ch03-OPRA.pdf and the derivation of… Read morePasswords and Requirements Engineering