[SystemSafety] Correctness by Construction

Olwen Morgan olwen at phaedsys.com
Fri Jul 17 19:25:17 CEST 2020


On 16/07/2020 08:19, Peter Bernard Ladkin wrote:
> None of this is to say that I am particularly a fan of the standards and what they constrain. I find
> generally much more to criticise in IEC 61508 than I find to praise, and I have lost confidence that
> the proposed next edition will be much improved (if at all) over the current 2nd edition, which has
> some notable flaws.

With all due respect, Peter, one who advocates CbyC should be a *lot* 
more concerned about programming language standards than IEC 61508. Most 
of them are execrable.


Olwen




More information about the systemsafety mailing list