嫦娥探月 【新时代新作为新篇章】助力“嫦娥探月”的发明已用于地铁，京沪企业展示安全领域成果

上至航空航天，下至轨道交通，无不需要工业控制系统的支撑。而在工业控制系统领域，安全性、可靠性始终是排在第一位的。昨天开幕的2018上海军民两用技术成果展上，上海工业控制系统安全创新功能型平台携手北京企业，展示了“嵌入式系统代码智能测试工具”（SmartUnit）、“网络安全态势感知平台”等工控功能安全和信息安全领域的最新成果。它们都源于自主研发，能扎紧民用和军用系统的“篱笆”。

据介绍，SmartUnit是由中科院院士、华东师范大学教授、上海控安战略专家委员会主任何积丰带领团队研发出的工控系统代码智能测试工具。工控系统代码编写完成后，测试是必须进行的环节，相关工作人员要查找代码是否存在漏洞等安全隐患。能否用智能工具取代这种人力工作？何积丰院士团队经过多年研发，开发出了SmartUnit。这款软件针对C语言编写的工控系统代码，利用软件代码分析中的动态符号执行技术，把程序变量抽象为符号变量，再结合约束求解技术，能自动生成高覆盖度的测试用例，从而实现智能化的单元测试。上海控安技术总监刘虹博士表示：“一名工控系统代码测试人员一天通常能测试5—8个函数，如果一套工控系统代码包含800个函数，完成测试至少需要3个月时间。而SmartUnit仅需2小时就能测试完毕，并且确保90%以上覆盖率。”

说起SmartUnit的用途，还要追溯到2012年。当时，我国探月工程团队正在为2013年“嫦娥三期”探测器软着陆月球做准备。探月工程负责人之一、航天502所的杨孟飞院士团队负责系统代码测试任务，时间紧迫，人工检测似乎很难赶上进度。作为我国第一个在月球软着陆的无人登月探测器，“嫦娥三期”对功能安全与信息安全的要求极高，因此系统的代码检测不能出丝毫纰漏。如何既快又好地完成这项任务？何积丰院士团队与杨孟飞院士团队沟通后，开发出了第一代SmartUnit。结果，这种智能工具不负众望，出色地完成了辅助测试任务，为“嫦娥登月”作出了贡献。

在经历多次提升和改进后，这种智能工具的适用范围越来越大。例如，它已应用于国内轨道交通列车的运行控制系统，进行轨交信号代码辅助测试。刘虹告诉解放日报·上观新闻记者，轨道交通面临的场景十分复杂，无论是地铁启动、刹车还是岔口与信号灯的交互，都对其工控系统的功能安全有着极高的要求，因此对系统可靠性的要求也很高。可喜的是，上海科研团队的多年成果应用于轨道交通后，表现十分出色。

民用产品如何转为军用？北京天融信网络安全技术有限公司开发的网络安全态势感知平台，就是一个成功案例。据悉，民用网络由于限制少、范围大，会遭受各种各样的网络攻击。网络安全态势感知平台在吸收了大量来自民用网络的攻防经验后，已能够有效应对军用网络遇到的多种问题。在军用和民用两端，这一平台都能实现对网络安全的态势觉察、跟踪和预警，全面、实时掌握网络安全态势，清晰呈现网络安全威胁、风险和隐患。通过监测漏洞、病毒木马、网络攻击等情况，它在发现网络安全事件线索后，会就重大网络安全威胁做出预警，帮助管理人员快速处置安全事件，从而有效提升系统的整体安全能力。