嵌入式软件安全性检测技术及应用（2014年度广东省科学技术奖一等奖）

    近年来，工业和信息化部电子第五研究所等单位创新性地研发了嵌入式软件运行时错误检测等一系列嵌入式软件安全性测试技术，研制了功能丰富、精度高的嵌入式软件安全性检测系统（eSure），成果技术达到了国际先进水平，解决了国内外公认的嵌入式软件功能安全动态验证的技术难题。

    嵌入式软件是指嵌入在硬件中的、用于执行独立功能的操作系统和开发工具软件。目前正广泛地应用于金融、电力、交通、航空航天、国防等重点领域。嵌入式软件安全性关系重大，但国内外均缺乏有效的检测手段。第五研究所等单位研发的这项技术弥补了这项空白，已成功应用在7.23甬温线特别重大铁路交通事故调查、南车DK-2制动机控制软件功能安全测评等58个重点项目。它支撑了我国嵌入式软件产品的质量监管，提升了嵌入式软件产品质量与安全性，为行业增强了国际竞争力，帮助企业节约了生产成本，创造的直接经济效益达2600余万元，间接经济效益近10亿元。为我国的工业化和信息化深度融合、产业结构转型升级起到重要的支撑作用。