[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