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

中國工業(yè)技術(shù)軟件化產(chǎn)業(yè)聯(lián)盟展臺

工業(yè)互聯(lián)網(wǎng)APP安全檢測云平臺 提供工業(yè)產(chǎn)品全面安全測評

功能型平臺攜工業(yè)互聯(lián)網(wǎng)APP安全檢測云平臺產(chǎn)品亮相中國工業(yè)技術(shù)軟件化產(chǎn)業(yè)聯(lián)盟展臺。平臺技術(shù)總監(jiān)劉虹女士接受記者專訪，針對工業(yè)控制安全領(lǐng)域相關(guān)問題與記者展開深入溝通與探討。劉虹博士表示：“目前國內(nèi)工控安全事件頻發(fā)，加強工業(yè)控制系統(tǒng)安全防護已經(jīng)是當(dāng)前亟待解決的問題，上海工業(yè)控制系統(tǒng)安全創(chuàng)新功能型平臺旨在突破工業(yè)控制安全共性關(guān)鍵技術(shù)，參與國際和國家標(biāo)準(zhǔn)制定，為政府與企業(yè)提供技術(shù)服務(wù)和解決方案，融合產(chǎn)業(yè)資源，構(gòu)建以技術(shù)為引領(lǐng)的工業(yè)控制安全產(chǎn)業(yè)生態(tài)服務(wù)平臺”

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

功能型平臺技術(shù)總監(jiān)劉虹博士接受專訪

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

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

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

工作人員為客戶產(chǎn)品講解

物聯(lián)網(wǎng)防火墻 提供“云+端”的物聯(lián)網(wǎng)傳感器安全解決方案

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

物聯(lián)網(wǎng)防火墻

電梯物聯(lián)網(wǎng)全方位防護 降低危險系數(shù)

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

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

工作人員為客戶產(chǎn)品講解

上海工業(yè)控制系統(tǒng)安全創(chuàng)新功能型平臺在上海市經(jīng)信委、市科委等部門統(tǒng)籌和指導(dǎo)下，對接工業(yè)互聯(lián)網(wǎng)及中國制造2025戰(zhàn)略創(chuàng)新發(fā)展要求，聚焦工業(yè)控制系統(tǒng)功能安全和信息安全核心技術(shù)研發(fā)及成果轉(zhuǎn)化。面向軌道交通、汽車電子、能源電力等安全攸關(guān)行業(yè)，圍繞工業(yè)控制系統(tǒng)技術(shù)創(chuàng)新和產(chǎn)業(yè)化需要，協(xié)同既有存量技術(shù)平臺，形成涵蓋仿真驗證、監(jiān)測預(yù)警、檢測評估、培訓(xùn)咨詢、人才智庫等服務(wù)功能的公共平臺。聚合創(chuàng)新創(chuàng)業(yè)企業(yè)團隊，形成主題式產(chǎn)業(yè)園區(qū)，全面提升上海市工業(yè)控制安全領(lǐng)域核心能力，推動工業(yè)互聯(lián)網(wǎng)和智能制造產(chǎn)業(yè)升級。