[SystemSafety] Functional hazard analysis, does it work?

[Peter Bernard Ladkin]

-----BEGIN PGP SIGNED MESSAGE-----
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.

http://www.rvs.uni-bielefeld.de/publications/Papers/HazAn_2012_09_13-pub.pdf is fairly minimal.

Bernd Sieker's PhD thesis uses some logic, but is neither minimal nor a small reference [see
Footnote]:
http://www.rvs.uni-bielefeld.de/publications/Theses/Dissertation_Bernd_Sieker.pdf

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
http://www.rvs.uni-bielefeld.de/publications/books/ComputerSafetyBook/09-Kapitel_9.pdf

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 https://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Lam305-318.pdf

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-----

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