From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Killing software and certification (was: Ada-Oriented GUI) Date: Tue, 27 Mar 2018 19:04:44 -0500 Organization: JSA Research & Innovation Message-ID: References: <9ed9edb1-3342-4644-89e8-9bcf404970ee@googlegroups.com> <26a1fe54-750c-45d7-9006-b6fecaa41176@googlegroups.com> <656fb1d7-48a4-40fd-bc80-10ba9c4ad0a4@googlegroups.com> <0e59a988-ed21-4e45-a2ed-7a51995dbe6c@googlegroups.com> Injection-Date: Wed, 28 Mar 2018 00:04:45 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="26167"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader02.eternal-september.org comp.lang.ada:51221 Date: 2018-03-27T19:04:44-05:00 List-Id: "Dan'l Miller" wrote in message news:0e59a988-ed21-4e45-a2ed-7a51995dbe6c@googlegroups.com... ... > ... it is up to the consumer to read the label on a product to see whether > the product has been designed and manufactured in accordance with > various voluntary regimes of best-practices in industry-standards. That's surely helpful for the lady that was run over crossing the street. Self-driving cars have safety requirements near those of avionics software. But the actual requirements on such software is far from the same. I'm afraid it will take a bunch of lawsuits to get the automakers in line, and quite possibly not even that. (I hear they actively want to avoid making software that actually is known to work.) Randy.