[SystemSafety] Fetzer

Derek M Jones derek at knosof.co.uk
Wed Jun 19 18:59:30 CEST 2019


Rod,

>> Proponents of particular languages invariably claim 'magical'
>> properties for the language.  No evidence is ever provided, and
>> apart from a handful of exceptions, no experimental evidence
>> exists.  It's all personal opinion. 
> 
> Here are some SPARK project and published references:

Why are you posting using a Google email account?
Aren't you proud to work for a company that promotes the use of SPARK?

> Now watch as Derek dismisses all this as soap-powder marketing... :-)

Your SPARK papers often contain interesting numbers which give some
idea of the size of the problem tackled; and yes, they often claim
'magical' properties for using SPARK.

The number of greatest interest never appears; cost-benefit.
Your customers seem to be companies involved in projects
where the cost of failure is peanuts compared to the cost
of throwing some money at finding problems, plus being able
to identify a manageable chunk of critical code that needs
thorough checking.

Being able to identify a manageable chunk of critical code
is crucial, simply analysing everything is rarely practical.

-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com


More information about the systemsafety mailing list