There’s been a lot of coverage about the Toyota recalls and the role of software in automobiles. What hasn’t been clearly defined, however, is the sheer complexity of the software code and the challenges involved in checking for problems. The problems with the 2010 Toyota Hybrid Prius cars were apparently directly related to defects in the braking control software. The accelerator fiasco was …[more]