2018年6月29日備受關注的第二十二屆中國國際軟件博覽會在北京展覽館隆重舉行，此次展會以“新時代、新理念、新軟件”為主題，邀請政界人士，中外軟件企業領軍人物、行業專家和國外智庫學者等重量級嘉賓到場。上海工業控制系統安全創新功能型平臺聯合國家可信嵌入式軟件工程技術研究中心、中國電子科技集團公司第三十二研究所、上海華元創信軟件有限公司、華東師范大學共同參展。功能型平臺攜工業互聯網APP安全檢測云平臺、智能自動化測試工具、物聯網防火墻、電梯物聯網四大重量級產品亮相，受到業內人士的廣泛關注。

中國工業技術軟件化產業聯盟展臺

工業互聯網APP安全檢測云平臺 提供工業產品全面安全測評

功能型平臺攜工業互聯網APP安全檢測云平臺產品亮相中國工業技術軟件化產業聯盟展臺。平臺技術總監劉虹女士接受記者專訪，針對工業控制安全領域相關問題與記者展開深入溝通與探討。劉虹博士表示：“目前國內工控安全事件頻發，加強工業控制系統安全防護已經是當前亟待解決的問題，上海工業控制系統安全創新功能型平臺旨在突破工業控制安全共性關鍵技術，參與國際和國家標準制定，為政府與企業提供技術服務和解決方案，融合產業資源，構建以技術為引領的工業控制安全產業生態服務平臺”

工業互聯網APP安全檢測云平臺可提供工業產品全面安全測評。包括提供主動式工控設備安全檢測、工業移動應用軟件安全檢測、分布式性能測試、工業軟件源代碼安全檢測、兼容性測試、互聯互通測試等服務。針對典型的工業互聯網應用軟件進行安全測評和風險評估，并在測評數據分析的基礎上提出有效的整改建議。主要功能包括云端安全檢測、風險評估量化、安全漏洞掃描、深度質量測試、功能回放測試。應用領域涵蓋各行業的工業互聯網領域。

功能型平臺技術總監劉虹博士接受專訪

智能自動化測試工具 測試效率提升5倍

智能自動化測試工具是一款智能化單元測試用例設計工具，針對高安全領域 C 語言代碼程序，自動生成滿足分支、語句、邊界以及 MC/DC 覆蓋準則的測試用例，并將用例導出為兼容Testbed等第三方平臺的測試用例格式，實現基本無需手工修改的自動化單元測試。

智能自動化測試工具采用人工智能算法，利用自動推理與符號執行技術，能夠自動分析程序路徑，自動產生滿足覆蓋標準的測試用例，并在后臺自動執行測試用例，記錄運行時錯誤。該工具能夠讓測試人員擺脫效率低下、質量參差不齊的手工測試用例編寫任務，大幅提高測試人員的工作效率，有效提升測試質量。當前已測試真實工業界代碼及知名開源軟件超過100W行，平均語句覆蓋率超過85%，能夠節省大量的人力物力。廣泛應用于航空航天、地鐵信號、汽車電子、核電控制等領域。

工作人員為客戶產品講解

物聯網防火墻 提供“云+端”的物聯網傳感器安全解決方案

物聯網防火墻具有應用協議識別、深度安全防護、風險預測、智能協同防御的能力，形成全程保護、主動防御的融合安全體系。在網絡流通全過程可能出現各類安全風險，工業傳感器防火墻能夠為無線網絡數據提供全流程的保護及可視化安全防御，融合安全包括從事前的全面安全評估，策略有效性檢測，到事中所應具備的各類安全防御手段以及事后的智能學習和數據恢復。物聯網防火墻基于軟件基因技術，提供“云+端”的物聯網傳感器安全解決方案，具有與物聯網環境相匹配、低功耗、微型化、智能化、主動防御等特點。支持大規模、跨地域部署、升級和管理，形成智協同聯動主動防御，應用領域包括：智慧城市、智能家居、智慧工廠等。

物聯網防火墻

電梯物聯網全方位防護 降低危險系數

電梯物聯網是電梯技術和物聯網技術的完美結合，利用先進的數據采集技術將電梯接入互聯網，由電梯制造單位、電梯維保服務商、政府相關監管部門、電梯運營部門等多方組成。參與各方通過對電梯安全、質量、服務等實現各自管理與共同管理相結合的方式，共享云端知識庫，共同參與電梯管理，它對電梯行業的推動和影響舉足輕重。

利用先進的物聯網技術實現電梯遠程監控，物聯網檢測電梯發生故障停梯后，可自動拍攝記錄轎廂內情況，留存關鍵圖像證據，自動循環播放安撫語音和動畫，安撫乘客。具有基于位置的服務LBS，發生困人事件，基于位置信息智能派工給可以最快到達現場的維保工，快速救援；通過維保工位置與維保現場位置關系對維保作業考勤。物聯網智慧電梯利用云平臺以及大數據處理分析技術，能夠按周期進行安全情況評分，并計算出安全隱患百分比，降低危險系數。

工作人員為客戶產品講解

上海工業控制系統安全創新功能型平臺在上海市經信委、市科委等部門統籌和指導下，對接工業互聯網及中國制造2025戰略創新發展要求，聚焦工業控制系統功能安全和信息安全核心技術研發及成果轉化。面向軌道交通、汽車電子、能源電力等安全攸關行業，圍繞工業控制系統技術創新和產業化需要，協同既有存量技術平臺，形成涵蓋仿真驗證、監測預警、檢測評估、培訓咨詢、人才智庫等服務功能的公共平臺。聚合創新創業企業團隊，形成主題式產業園區，全面提升上海市工業控制安全領域核心能力，推動工業互聯網和智能制造產業升級。