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

Derek M Jones derek at knosof.co.uk
Sat Feb 27 13:52:18 CET 2016


Martyn,

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  blog:shape-of-code.coding-guidelines.com


More information about the systemsafety mailing list