聊聊功能安全软件工具鉴定

功能安全中对于软件工具是有要求的，需要进行分类，当该工具为TCL2或者TCL3时，需要额外的信息支持，常用的方式有以下两种：

• 工具通过功能安全认证
• 自己做测试，开发说明书等（适用于自研的工具）

以下几类工具基本是需要做功能安全认证

• 编译器（这个很难自己鉴定，曾经跟南德讨论使用2个编译器做PIL做相互校验，南德也认可；但是到另外的机构就不认可了，所以还是老老实实的用商业的吧。同时又有一个坑，就是有的认证机构需要提供编译器的Safety Manual，这个得单独买，而且可能是编译器好几倍的价格。
• 静态测试工具（基本上有MISRA，代码度量，代码命名规范等；这个可以两个工具一起检查或者对样例代码进行测试来验证，但大多数静态测试工具的Safety Manual可以拿到，所以也没必要）
• 动态测试工具（单元或集成时，需要有度量值作为用例充足的一方面证据，这个Safety Manual也是一起可以免费拿到的）

总结上面提到的工具，基本都是很底层的工具才需要，其他的很多工具其实可以通过评审等方式降低其为TCL1，但最好还是有证，这样工作量会少很多。