[00116604]嵌入式软件安全性检测技术及应用

嵌入式软件是工业化和信息化两化融合的关键，并广泛应用于金融、电力、交通、航空航天、国防等重点领域。嵌入式软件安全性关系重大，但缺乏有效的检测手段，成为国际上公认的技术难题。“嵌入式软件安全性检测技术及应用”的研究成果是在广东省高新技术产业化项目“面向信息家电的嵌入式软件测试平台”和工信部电子发展基金项目“嵌入式软件安全性检测平台建设”等项目的支持下，围绕上述技术难题进行了多年的技术攻关，取得了一系列重大的技术突破，创新性地研发出基于边界扫描的故障注入技术、基于模型驱动的多总线协议自动化测试技术和嵌入式软件运行时错误检测技术等一系列嵌入式软件安全性测试技术，并形成了嵌入式软件安全性检测平台，具有满足IEC61508、EN60730（GB14536.1等同采用）等标准要求的嵌入式软件安全性检测能力，为中国嵌入式行业厂商提供专业化、规范化的嵌入式软件功能安全测评、咨询和培训服务。该平台功能丰富，支持故障注入测试、实时性测试、内存分析、总线接口测试等功能；性能优异，实时性检测精度为1微秒，内存分析精度为1KB，支持35类故障注入的模式。该项成果属于计算机科学技术领域，已申请发明专利5项，其中已授权3项；登记软件版权2项，编制标准1项，发表论文10篇，其中EI收录3篇。经广东省科技厅组织鉴定，该项成果达到国际先进水平。该项成果推广应用效果良好，如：在“7.23甬温线特别重大铁路交通事故”调查中，应用该项成果快速、准确地在列控系统的嵌入式软件中发现了导致该事故的重大安全性缺陷，为国务院事故调查组的调查报告提供了关键的技术依据；配合国家在全国范围开展高速铁路安全大检查，利用该项成果对南车和北车的信号系统嵌入式软件产品进行检测，促使其改进软件产品的安全性，检测通过后为相关产品颁发了国内第一份轨道交通安全检测报告和认证证书，并获得了交通部的认可。又如：应用该项成果对国防重点型号装备排故，有效地发现了实时嵌入式软件存在的软件安全性缺陷，保障了装备的安全等。依托该项成果建立的检测技术平台，受到了国家的高度重视，促成了中国唯一的“国家嵌入式软件产品质量监督检验中心”落户广东，面向全国提供嵌入式软件安全性检测服务，使该省占据了嵌入式软件产品质量监督检验技术的战略高地。该项成果已应用于航空航天、轨道交通、汽车电子、智能家电等领域的龙头企业，近三年来，先后项目成果成功应用于南车DK-2制动机控制软件、军用装备控制嵌入式软件、航空嵌入式操作系统和汽车发动机嵌入式软件等58个重大测评项目，提升了嵌入式软件产品质量和安全性，降低了企业生产成本，帮助企业通过软件功能安全认证。该项成果近三年创造的直接经济效益达2600余万元。