Toyota Prius 2005: An Early Warning About Verification


In this article Richard Goering talks about a software bug in Toyota Prius 2005 and after 5 years even after a through study by three of Toyota engineers on this issue did not help the company learn any lessons. He also talks about model-based verification which the original presentation talks about and how a formalized methodology for verification can help alleviate issues that may arise later in the field. Clearly a must read article!

{ 0 Reactions ... read them below or write one }

Post a Comment

Your comments will be moderated before it can appear here.