Re: [SystemSafety] Functional hazard analysis, does it work?

From: Peter Bernard Ladkin < >
Date: Wed, 20 Jan 2016 07:35:32 +0100


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

On 2016-01-19 13:31 , paul_e.bennett_at_xxxxxx
>
> Completeness may be a difficult objective to prove in a mathematical sense but fortunately we
> are only required to utilise our best efforts in this regard, using the most up to date and
> emergent industry accepted techniques that are relevant to the development.

On 2016-01-20 03:20 , DREW Rae wrote:
> ...There's the internal completeness question discussed by Peter, which is in theory
> determinstic if and only if you can create a complete causal model of your system for the
> properties of interest, and keep it accurate.

Interesting. I suggest an obviously desirable criterion for an effective HazAn (judging by the amount of time it takes up in hazard analysis meetings), and that there are techniques available for (often, sometimes, occasionally) ensuring it.

There are two reactions. One is "that's *math*, thank goodness we don't have to do it!" The other is "it'll work if [you have all this information that no one ever has]." Neither of these gentlemen has, to my knowledge, ever performed an OHA.

For thirty years, I've heard the refrain that "formal methods don't work", or, in a subtler version "formal methods may work if you can do all this stuff which math geeks can do, but none of us can so they're impractical". Meanwhile, it has become possible to deliver critical software which is demonstrably free of run-time error, which thirty years ago was not possible.

Multiple firms offer that capability. It has become feasible, indeed routine, through the use of those methods which "don't work", that are "stuff which math geeks can do" and are "impractical."

Isn't it time we started embracing straightforward methods which enable us to do things which we otherwise cannot do? To say, rather, "that sounds interesting - I'd like to try it!"

PBL Prof. Peter Bernard Ladkin, Faculty of Technology, University of Bielefeld, 33594 Bielefeld, Germany Je suis Charlie
Tel+msg +49 (0)521 880 7319 www.rvs.uni-bielefeld.de

-----BEGIN PGP SIGNATURE----- iQEcBAEBCAAGBQJWnyq0AAoJEIZIHiXiz9k+1NYH/Ah3Qour+XnVzOiVxpYZzZqC wg3B/VtwVKX3ZoucDwztr/WgacIkLPBCaWbeKVbaAPBVMiwvYxctdIuU/8tUVffR zZi7cx23DW7ycWhXKe2TqIyPqbFp7nFnB6eTfwpBs32AwOXHLJU1xh2tLE0AuhJD /bgqvhlmzf4Wq5pN9+djlGdMzEbYzheaz6uZFujQOXw7E3pQEL7O7axbtHuWlxsN nIZ2R5cLx7ng+zlyKc0Tc0Stk+ZeHnwtYnLXlpXnFpRXiLBmwooqyfVfy6O0OkvL w2o9hmuEh/Z8R2MS+2K6HYZMEBBIJccPhtj/rM6mmdhXzWVmBKg1Zb4RfEeRCm0= =hjmW
-----END PGP SIGNATURE-----



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Wed Jan 20 2016 - 07:35:40 CET

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:07 CEST