{"id":3161,"date":"2019-03-26T21:20:35","date_gmt":"2019-03-26T19:20:35","guid":{"rendered":"http:\/\/asym.dk\/?p=3161"},"modified":"2019-03-26T21:20:35","modified_gmt":"2019-03-26T19:20:35","slug":"systems-safety-could-software-end-the-world","status":"publish","type":"post","link":"http:\/\/www.asym.dk\/index.php\/2019\/03\/26\/systems-safety-could-software-end-the-world\/","title":{"rendered":"Systems safety: Could software end the world?"},"content":{"rendered":"

Nancy Leveson<\/a> is professor of Aeronautics and astronautics at MIT. She is one of the worlds\u2019 leading researchers on safety, a very serious researcher. I’m using some of the\u00a0 techniques<\/a> she has developed analyzing complex systems for safety. Her papers are often interesting, but the title of her latest paper blew my mind when I read it:
\nAn Engineering Perspective on Avoiding Inadvertent Nuclear War.<\/a><\/strong>
\nI was born in 1969 and grew up during the cold war. One of the dangers we feared was that a mistake would happen, a bomb would detonate over Russia, Europe or the US, and uncontrolled retaliation would end the world. Dr. Strangelove, the movie<\/a>, immortalized this scenario.
\n[youtube https:\/\/www.youtube.com\/watch?v=98NaJ8ss4sY&w=560&h=315]
\nTake a deep breath if you watched the trailer above before reading on.
\nLeveson is not fearful. She has produced the paper for a workshop on systems and strategy stability and she looks back at why this horror scenario didn\u2019t occur:<\/p>\n

\u201cThe most successful complex systems in the past were simple and used rigorous, straightforward processes. Prevention of accidental detonation of nuclear bombs, for example, used a brilliant approach involving three positive measures [\u2026] and reliance on simple mechanical systems that could provide ultra-high assurance. Although there were a few incidents over a long period [\u2026] inadvertent detonation did not occur in those cases.\u201d<\/p><\/blockquote>\n

The question she raises in her paper is whether we are still safe? Well, things are changing:<\/p>\n

\u201cThe more recently introduced software-intensive systems have been much less reliable. [\u2026] More recently, our ability to provide highly trustworthy systems has been compromised by gratuitous complexity in their design and inadequate development and maintenance processes. For example, arguments are commonly made for using development approaches like X-treme Programming and Agile that eschew the specification of requirements before design begins.\u201d<\/p><\/blockquote>\n

Yes, Leveson is a critic of the popular, modern development paradigms most of us has learned to love. Have we mistakenly stopped worrying?
\nI met her at a conference on STAMP\/STPA<\/a> in Iceland in 2017, and during a conversation which I was so fortunate to have with her in the lobby of the Iceland University she made herself very clear about her skepticisms towards Agile. But Agile is not the only problem:<\/p>\n

\u201cProviding high security is even more problematic. Again, only the most basic security techniques, such as providing an air gap to isolate critical systems, have been highly successful. The number of intrusions in today\u2019s systems is appalling and unacceptable. Clearly what we are doing is not working.\u201d<\/p><\/blockquote>\n

Leveson suggests a paradigm shift and suggests what the shift can look like. In the paper she discusses systems theory, and how approaches like those she describes in her 2010 book Engineering a Safer World<\/a> can be useful.
\nThe article can be downloaded in PDF from the MIT website Partnership for Systems Approaches to Safety and Security (PSASS)<\/a>.
\nI highly recommend anyone interested in software systems safety to read it and reflect on what dr. Leveson has to say
\n\"36574238684_ac102d75aa_k\"
\nDr. Leveson at Iceland University with myself and an Icelandic researcher on volcanic safety.<\/p>\n","protected":false},"excerpt":{"rendered":"

Nancy Leveson is professor of Aeronautics and astronautics at MIT. She is one of the worlds\u2019 leading researchers on safety, a very serious researcher. I’m using some of the\u00a0 techniques she has developed analyzing complex systems for safety. Her papers are often interesting, but the title of her latest paper blew my mind when I […]<\/p>\n","protected":false},"author":1,"featured_media":3163,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[3],"tags":[10,71,73,76,77],"_links":{"self":[{"href":"http:\/\/www.asym.dk\/index.php\/wp-json\/wp\/v2\/posts\/3161"}],"collection":[{"href":"http:\/\/www.asym.dk\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.asym.dk\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.asym.dk\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.asym.dk\/index.php\/wp-json\/wp\/v2\/comments?post=3161"}],"version-history":[{"count":0,"href":"http:\/\/www.asym.dk\/index.php\/wp-json\/wp\/v2\/posts\/3161\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/www.asym.dk\/index.php\/wp-json\/wp\/v2\/media\/3163"}],"wp:attachment":[{"href":"http:\/\/www.asym.dk\/index.php\/wp-json\/wp\/v2\/media?parent=3161"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.asym.dk\/index.php\/wp-json\/wp\/v2\/categories?post=3161"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.asym.dk\/index.php\/wp-json\/wp\/v2\/tags?post=3161"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}