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

From: Peter Bernard Ladkin < >
Date: Wed, 20 Jan 2016 09:58:45 +0100

Hash: SHA256

On 2016-01-20 09:21 , David MENTRE wrote:
> Would you have a minimal example or a small reference I could look at to better understand
> your proposed approach?

If you read German. is fairly minimal.

Bernd Sieker's PhD thesis uses some logic, but is neither minimal nor a small reference [see Footnote]:

An example in English, also not a commercial exercise, although based on a generic automotive bus design in the Bosch Handbook on Automotive Electrics and Electronics (to a previous edition of which we contributed), is

This example was considerably extended by some Uni-Bielefeld students, but again the documents are in German, and somewhat unrefined (lots of tables, minimal to zero explanation).

The issue, as so often, is that stuff one does for clients remains the property of the clients and doesn't reach the public domain. With our limited resources, I have never solved that problem of marketing. Other academic colleagues seem to be wonderful at it, but I just don't have that talent.

PBL [Footnote] Academic institutions generally, unfortunately, don't consider either property to be desirable :-( . Although I did have a pal in grad school who wanted to hand in a one-page math thesis. He was after a finite projective plane of order 10, and figured that, if he got one, he'd just be able to draw it and hand it in. Things didn't turn out that way, however. I found some history at

Prof. Peter Bernard Ladkin, Faculty of Technology, University of Bielefeld, 33594 Bielefeld, Germany Je suis Charlie
Tel+msg +49 (0)521 880 7319

-----BEGIN PGP SIGNATURE----- iQEcBAEBCAAGBQJWn0xFAAoJEIZIHiXiz9k+KkkH/RE/PxxUfA+AxftWEqMHGPLA MfYznwo3e3bVxL3VR8W6vAvq6J4x1n1EvWKJSPPDqkwUPwkeBHQgE5MKhblAe7NO eGad511khpbZ18DTJDC9DMF73flOpMQU+8di1c3kY1irv2asdNGyLmcuyAvfAWFm +1YSJ3wPGcLhgUs4lo+TXqK7x+1YTKhcPt195OC5LKdo+OuHE4HYrh4aCM5/lfJf yM5+rsgRgFUNC+PE4CTJbwbtyGtpsoh/wUen5f93dr+CLxFOLTZE+siGljN15TTs Kq4jJR0IsjCMTfVfO9FiNdafJJnQRmL0uBMGixIpXh2StPb1KagVhjilft3ulBQ= =I0wU

The System Safety Mailing List
systemsafety_at_xxxxxx Received on Wed Jan 20 2016 - 09:58:53 CET

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