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

[Prof. Dr. Peter Bernard Ladkin]

On 2024-08-07 16:36 , Paul Sherwood wrote:
> Derek,
>
> Thank you for your email - comments below...
>
> On 2024-08-07 15:02, Derek M Jones wrote:
>>
>> The state of the art of software reliability analysis
>> remains little better than opinions all the way down,
>> backed up with inappropriate statistical techniques (e.g.,
>> inhomogeneous Poisson processes) applied to tiny datasets.
>
> You may be right - certainly so far I haven't found much in the way of published research to 
> counter your statement.

Then neither of you have been looking very far.

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.

Four of the contributors to the subject have won the IEEE Harlan D. Mills award, regarded by many as 
the major award in the field of software engineering.

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?

PBL

Prof. Dr. Peter Bernard Ladkin
Causalis Limited/Causalis IngenieurGmbH, Bielefeld, Germany
Tel: +49 (0)521 3 29 31 00