大体不错，细节难料

1.原理上关于复杂度、递归、看门狗和额外保护的说法都对而且正确。但是这位专家的一些看法是满”秀“的。说一个函数有几百种不同结果多半是忽悠。
2.丰田选用某操作系统无可厚非，没有OSEK认证也不是大的问题，大厂未必能看得上OSEK，比如Linux/Windows会让对方认证吗？
3. 没看懂看门狗的问题，既然专家说姑且认同，我也有篇文章质疑为啥丰田看门狗没起作用。
4. 据我的经验，由系统高度批评别家的软件都是满容易的。我用过说是给飞机用的操作系统，保护很多，但是整个结构复杂到垃圾的程度。
5. 存储器的错误检验有个概率，没有人能到100%。
6. 整体说对于丰田的批评是有益的，而且价值300万。但是这些专家教书的能力远比编码强。有几千小时应当可以构建一个测试程序发现错误的。何况，发现的问题与报告的情形不符合。
总而言之，没能找到暴冲的直接问题。