Evidence for the Evidence

Abstract

A few years ago, a colleague contacted me about a paper they were working on concerning the “evidence” they felt was needed to show that safety-critical software was indeed safe. I asked if there was any evidence that the long list of items they were developing had any proven efficacy for safety. That is, is there any evidence that the items actually reduce the risk of a mishap?