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

IACS Safety and Security Intertwined; A Realistic Example

Restarting a nuclear reactor is a complex and sensitive process. The process is essentially controlled through the neutron density at any point. The density is governed by processes which are fundamentally exponential in time, and is controlled by damping the… Read moreIACS Safety and Security Intertwined; A Realistic Example