Lessons for creating reliable cyberphysical systems

These are the latest articles and videos I found most interesting.

  1. Case Study of Toyota Unintended Acceleration and Software Safety
  2. Micro Monsters with David Attenborough
  3. Jump In Jerboas
  4. Young Zebra’s Dangerous River Crossing
  5. Wabi-sabi

Case Study of Toyota Unintended Acceleration and Software Safety

Philip Koopman – Edge Case Research

Investigations into potential causes of Unintended Acceleration (UA) for Toyota vehicles have made news several times in the past few years. Some blame has been placed on floor mats and sticky throttle pedals. But, a jury trial verdict was based on expert opinions that defects in Toyota’s Electronic Throttle Control System (ETCS) software and safety architecture caused a fatal mishap. This talk will outline key events in the still-ongoing Toyota UA litigation process, and pull together the technical issues that were discovered by NASA and other experts. The results paint a picture that should inform future designers of safety critical software in automobiles and other systems.

Prof. Philip Koopman has served as a Plaintiff expert witness on numerous cases in Toyota Unintended Acceleration litigation, and testified in the 2013 Bookout trial. Dr. Koopman is a member of the ECE faculty at Carnegie Mellon University, where he has worked in the broad areas of wearable computers, software robustness, embedded networking, dependable embedded computer systems, and autonomous vehicle safety. Previously, he was a submarine officer in the US Navy, an embedded CPU architect for Harris Semiconductor, and an embedded system researcher at United Technologies. He is a senior member of IEEE, senior member of the ACM, and a member of IFIP WG 10.4 on Dependable Computing and Fault Tolerance. He has affiliations with the Carnegie Mellon Institute for Software Research (ISR) and the National Robotics Engineering Center (NREC).

Discussions:

  • Blog with relevant topical postings: Postings starting February 17, 2014 are edited excerpts from my Toyota expert report.
  • Technical Reporting: EE Times articles by Junko Yoshida
  • Mike Barr Video talk on code details
  • Video of pumping brakes with open throttle
  • Consumer reports goes 80 mph with full braking

Toyota data on infotainment software shows an expected one “major bug” for every 30 coding rule violations.

‒ Kawana 2004

How “brake override” stops runaway cars | Consumer Reports
Smart-throttle technology enables the brake pedal to override the accelerator in an emergency situation. Our tests show that a brake override is practical in the real world, without diminishing enthusiast driving.

Source Documents:

  • NASA & NHTSA Reports (significant redactions)
  • Some Bookout Trial materials (small redactions)
  • Exponent public report (from Toyota experts)
  • Timeline (from plaintiff lawyers)
  • Criminal case statement of facts (US Dept. of Justice)




Micro Monsters with David Attenborough

Courtship

Natural historian David Attenborough reveals the wide variety of bug mating games, from the dance of the scorpions to the gruesome ritual of the praying mantis. It’s not always pretty, but the success level is undeniable.


Jump In Jerboas

SciFri

It’s a potato on toothpicks! No, it’s a hopping noodle! A fuzzy rodent T-rex! Any way you look at them, jerboas are about as cute as they come. These adorable critters bounce about on long, springy legs – appendages that just might help us better understand and perhaps manipulate the growth of human bones.


Young Zebra’s Dangerous River Crossing

BBC Earth

Once a mother Zebra commits herself to crossing the river, she commits her foal too and there will be nothing she can do to help it…Taken from Life Story.


Wabi-sabi

The School of Life

At the heart of Japanese philosophy and wisdom lies a concept called ‘wabi-sabi’; a term which denotes a commitment to the everyday, the melancholic, the somewhat broken and the imperfect. It’s a term we need a lot more of in our lives.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: