[SystemSafety] Use of Formal Methods

paul_e.bennett at topmail.co.uk paul_e.bennett at topmail.co.uk
Wed Oct 25 11:25:41 CEST 2017


On 25/10/2017 at 10:03 AM, "Michael J. Pont" <M.Pont at SafeTTy.net> wrote:
>
>Dear Mario,
>
>I'm involved in the development of various safety-related control 
>systems (including industrial control systems).  
>
>In the majority of cases, the organisations that I work with don't 
>employ formal methods (and I don't use such methods myself).
>
>I'm assuming that my views will not be of value in your survey, 
>but I'd be interested to see the results if it is possible for you 
>to release them.
>
>All the best,

Mario,

  As another person who is also involved in the development of High
Integrity Systems,  without using the mathematically Formal methods,
I would also be interested in the results of the survey. I have, though,
completed the survey for you with my take (despite the tediousness of
having to answer all the other irrelevant questions when the first question
response could have been recorded and the rest skipped).

Note, I make a distinction between Mathematical Formal Methods and
procedurally based Formalised Methods (the latter which I do deploy).

Michael,
I consider that filling the survey would at least provide Mario with a data
point in his analysis and there is a space at the end where he states he
will share the results to those who leave an email address.

Regards

Paul E. Bennett IEng MIET
Systems Engineer
Lunar Mission One Ambassador
-- 
********************************************************************
Paul E. Bennett IEng MIET.....
Forth based HIDECS Consultancy.............
Mob: +44 (0)7811-639972
Tel: +44 (0)1392-426688
Going Forth Safely ..... EBA. www.electric-boat-association.org.uk..
********************************************************************



More information about the systemsafety mailing list