Re: [SystemSafety] Modelling and coding guidelines: "Unambiguous Graphical Representation"

From: Derek M Jones < >
Date: Sat, 27 Feb 2016 12:52:18 +0000


On 27/02/2016 12:31, Martyn Thomas wrote:
> On 27/02/2016 10:45, Michael J. Pont wrote:
>> The organisations that we work with on ISO 26262 (and similar)
>> projects are not yet ready to embrace formal methods. I suspect that
>> this is the case for the majority of users of ISO 26262 at this time.
> Would it be controversial to suggest that they are therefore "not yet
> ready" to be considered competent to build safety-critical software -

Depends on the circles you move in.
In some circles it is more controversial to suggest that paying lip service to the use of formal methods is just marketing to those who haven't yet seen through the arm waving of the academics in the peanut gallery.

Derek M. Jones           Software analysis
tel: +44 (0)1252 520667
The System Safety Mailing List
Received on Sat Feb 27 2016 - 13:52:46 CET

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