Ответ: http://www.delphi.com/pdf/techpapers/2005-01-0785.pdf
http://www.delphi.com/pdf/techpapers/2005-01-0779.pdf
Вот как раз на подобную тему пара публикаций подвернулась:
Survey of Software Failsafe Techniques for Safety-Critical Automotive Applications
http://www.delphi. …apers/2005-01-0779.pdf
Effective Application of Software Safety Techniques for Automotive Embedded Control Systems
http://www.delphi. …apers/2005-01-0785.pdf