Re: [SystemSafety] Compiled Comments on FDLs

From: Steve Tockey < >
Date: Thu, 27 Feb 2014 02:33:49 +0000

Agreed!

-----Original Message-----
From: Les Chambers <les_at_xxxxxx Date: Tuesday, February 25, 2014 7:08 PM To: 'Peter Bernard Ladkin' <ladkin_at_xxxxxx "systemsafety_at_xxxxxx <systemsafety_at_xxxxxx Subject: Re: [SystemSafety] Compiled Comments on FDLs

PBL
Thank you for doing this. This conversation could have been one of this list's finer hours.
Les

-----Original Message-----
From: systemsafety-bounces_at_xxxxxx [mailto:systemsafety-bounces_at_xxxxxx Peter Bernard Ladkin
Sent: Tuesday, February 25, 2014 11:19 PM To: systemsafety_at_xxxxxx Subject: [SystemSafety] Compiled Comments on FDLs

Folks,

We have compiled the comments on my request for info and opinions on the use
of FDLs, in particular
logic, in dependable SE. The subject has been dormant for a couple of days, so it seemed appropriate
to compile at this point.

The document is available at
http://www.rvs.uni-bielefeld.de/publications/WhitePapers/FDLaffidavits.pdf (it's not a White Paper;
that is just what the directory is called).

A short commentary follows the compilation. It's a draft. Please feel free to send requests for
changes to me or to Bernd, or to the list. And, of course, to discuss further!

Some of those cited might wish to send us a somewhat longer two-line bio than what is currently
included, and we'll update if you send us one.

Once again, many thanks to all for the responses to my request for comments!

PBL

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





_______________________________________________
The System Safety Mailing List systemsafety_at_xxxxxx
_______________________________________________
The System Safety Mailing List systemsafety_at_xxxxxx
_______________________________________________
The System Safety Mailing List systemsafety_at_xxxxxx
Received on Thu Feb 27 2014 - 03:34:00 CET

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