汽车电子软件的高速发展伴随着对功能安全的需求增加。分析了现有的控制流检测技术，综合可移植性、功能性等方面设计，实现了基于AUTOSAR标准的控制流检测模块。检测算法在程序中插入若干个“检查点”,通过判断两“检查点”的转移关系是否符合预设的约束条件来检测控制流的错处。在Freescale HCS12X处理器上实现并进行功能和性能测试。实验结果表明，该模块能及时准确地检测出错误，可提高软件系统的安全性，但增加了运行时长，对实时性有一定影响。
科研之友
微信
新浪微博
Facebook
分享链接
