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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a24:2105:: with SMTP id e5-v6mr12258949ita.55.1522196468429; Tue, 27 Mar 2018 17:21:08 -0700 (PDT) X-Received: by 2002:a9d:730a:: with SMTP id e10-v6mr953235otk.8.1522196468266; Tue, 27 Mar 2018 17:21:08 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!feeder.erje.net!2.us.feeder.erje.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!u184-v6no5659786ita.0!news-out.google.com!d3-v6ni3609itf.0!nntp.google.com!199-v6no5639283itl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 27 Mar 2018 17:21:08 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=173.71.218.250; posting-account=QF6XPQoAAABce2NyPxxDAaKdAkN6RgAf NNTP-Posting-Host: 173.71.218.250 References: <9ed9edb1-3342-4644-89e8-9bcf404970ee@googlegroups.com> <26a1fe54-750c-45d7-9006-b6fecaa41176@googlegroups.com> <656fb1d7-48a4-40fd-bc80-10ba9c4ad0a4@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <6cbd5bb6-e689-4a0d-b83b-3dc88338a01e@googlegroups.com> Subject: Re: Killing software and certification (was: Ada-Oriented GUI) From: Jere Injection-Date: Wed, 28 Mar 2018 00:21:08 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:51223 Date: 2018-03-27T17:21:08-07:00 List-Id: On Tuesday, March 27, 2018 at 2:32:32 PM UTC-4, Alejandro R. Mosteo wrote: >=20 > In the end I'm not sure where I want to go with this post. It's simply=20 > that I find the topic very interesting. If anyone with actual knowledge= =20 > on the status of automotive software certification (or any informed=20 > ideas) would share some thoughts I'll be eager to read. >=20 > =C3=81lex. This is quite a bit tangential, but here is a blog post from an expert who viewed Toyota's code for one of the unintended acceleration cases. He was called as an expert witness and had some pretty interesting experien= ce with it. most recent blog post: https://embeddedgurus.com/barr-code/2013/10/an-update-on-toyota-and-uninten= ded-acceleration/ older blog posts on the topic: https://embeddedgurus.com/barr-code/2011/03/unintended-acceleration-and-oth= er-embedded-software-bugs/ https://embeddedgurus.com/barr-code/2011/03/what-nhtsanasa-didnt-consider-r= e-toyotas-firmware/ redacted jury slides: http://www.safetyresearch.net/Library/BarrSlides_FINAL_SCRUBBED.pdf testimony transcript: http://www.safetyresearch.net/Library/Bookout_v_Toyota_Barr_REDACTED.pdf I thought you might be interested. It isn't about autonomous vehicles, but it gives a minimum baseline possibly.