[SystemSafety] Bursting the formal methods bubble
Peter Bernard Ladkin
ladkin at causalis.com
Wed Oct 25 17:48:43 CEST 2017
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>
More information about the systemsafety
mailing list