[SystemSafety] Bursting the formal methods bubble

[Peter Bernard Ladkin]

On 2017-10-25 17:31 , Martyn Thomas wrote:
> We can't go on for ever building software with a test-and-fix approach to assurance. NIS and GDPR
> (and the HSE OG) may be the comets that finally kill the dinosaurs.
> 

That would be welcome. One of the dinosaurs, IEC 61508-3, has almost 60 documentation requirements,
about a third of which refer to testing and testing accoutrements. Nobody else I know working on the
committee seems to be the least bit embarrassed by this.

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171025/cf8cfc01/attachment.sig>