[SystemSafety] State of the art for "safe Linux"

[Derek M Jones]

Peter,

You do love arguing from authority

> The ISSRE is in its thirty-fifth year. I don't know how many people typically attend, but in the first thirty meetings 
> the symposium published 1116 research papers from 2011 authors and garnered of the order of 31,000 citations. And of 
> course there is a mass of papers in IEEE TSE about the subject.

Out of these 1,116 papers, I cite 8 as being evidence-based.

Actually Bishop and Bloomfield. "Worst case reliability prediction
based on a prior estimate of residual defects." is theory based.

> We have at least five distinguished proponents of the field on this list. I imagine they'll be amusing themselves 
> heartily at this dialogue. Paul, are you trying out for Derek's time-honoured role?

It appears that Paul is happy to join me in my role.

 >> However, pointing out that the King is not wearing any clothes
 >> is not good for one's career.  So let's pretend.
 >
 > I'm in approaching the end of mine, so not worrying too much 🙂

-- 
Derek M. Jones           Evidence-based software engineering
blog:https://shape-of-code.com