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=0.0 required=5.0 tests=BAYES_40,FREEMAIL_FROM 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!aioe.org!.POSTED!not-for-mail From: "Robert I. Eachus" Newsgroups: comp.lang.ada Subject: Re: requiring Ada(2020?) in self-driving autonomous automobiles Date: Mon, 2 Apr 2018 17:06:24 -0400 Organization: Aioe.org NNTP Server Message-ID: References: <3c3d7301-c0dd-4953-bce1-5ac4050457a8@googlegroups.com> <139fa27c-2f53-4758-81ba-dd403a30e4ef@googlegroups.com> <21e81c06-9352-407d-891c-ec54eed1b249@googlegroups.com> NNTP-Posting-Host: fZYVf2g/avGnWJvs1xVPEA.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.5.2 X-Notice: Filtered by postfilter v. 0.8.3 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:51305 Date: 2018-04-02T17:06:24-04:00 List-Id: On 3/28/2018 11:56 PM, Dan'l Miller wrote: > On Wednesday, March 28, 2018 at 4:38:42 PM UTC-5, Bojan Bozovic wrote: >> Programming (or software development, if you like that words better) methodology needs to be changed, >> and verifying software against specification > > So the specification for self-driving cars is in good shape, defining exactly what the expectations in the problem-space are to emulate human-quality of driving? No, they are not, because in general they are falling into the category of: > 0) Use the reference implementations of realtime software provided by the sensor hardware manufacturers. > 1) Have a neural network. > 2) Train the neural network on dry roads on a sunny day without road construction. > 3) Once the neural network drives no worse than a nervous teenager, add one hazard at a time to further train the neural network. > 3) Then a miracle occurs. My mother pointed out to me that if you see body damage on a car near you in traffic, expect the driver to do the same thing again. Over fifty years of driving, probably helped me avoid several fender benders. My father taught us to pay attention to the drivers around you on long trips, and choose to be surrounded by good drivers not bad drivers. When Lola was driving from Massachusetts to Pennsylvania for another sister's wedding, her steering failed catastrophically on the NJ Turnpike in the rain, at rush hour, in the leftmost lane. Her car hit the guard rail, bounced, and ended up on the grass between the highway and a service area. She was explaining what happened to me on the way to the rehearsal. She said, "I have no idea how the car on my right avoided me." I said, "Yes you do your father..." "Oh, right! I had picked him out about ten miles earlier." Now what I want to know is how that level of training is going to get into a self-driving car. The necessary data could be picked up from the records of other drivers. Maybe Deep Learning can figure it out. But I won't hold my breath.