News for hackers. Stuff that matters.
Re:Apple self-driving car in accident: California DMV filing by semi-extrinsic on Saturday September 01, 2018 @02:11AM (#17890520)
Braking systems are controlled by a dedicated embedded software system that's extremely well-understood and well-tested (probably even formally verified). All it does is check the ABS (and anti-skid) sensors and moderate the braking pressure to avoid locking the wheels. It also has a fail-safe system that gets rigorously tested, e.g. if a sensor fails. All possible values of all inputs are known, and the configurational space of those inputs is small enough that you can exhaustively test correctness.

It's plainly obvious that a braking system controller software is a very different beast from an autonomous car software, and I have no problem understanding why someone would trust th former and not the latter.

Re:Apple self-driving car in accident: California DMV filing by charleslmunger on Saturday September 01, 2018 @11:09AM (#17892170)
> Braking systems are controlled by a dedicated embedded software system that's extremely well-understood and well-tested (probably even formally verified).

Are you sure? That code is closed source, and the peek behind the curtain we saw with Toyota's investigation did not inspire confidence:

http://www.safetyresearch.net/blog/articles/toyota-unintende...

Re:Apple self-driving car in accident: California DMV filing by semi-extrinsic on Saturday September 01, 2018 @12:21PM (#17892529)
That's a really interesting article for sure. But it does highlight that Toyota was being unusual in not following industry-wide (voluntary) coding standards for safety-critical embedded systems in cars, and they ended up losing big in court. So I do think (hope) that this example is worst-case, not normal.