SmartRocketScanner軟件成分分析工具
SmartRocket Scanner專注于通過軟件生命周期開源安全與合規(guī)分析管理平臺識別并規(guī)避相關(guān)....
上?？匕睸martRocket PeneCAN滲透測試工具
SmartRocket PeneCAN滲透測試工具的出現(xiàn)可以彌補(bǔ)國內(nèi)在車載總線滲透測試領(lǐng)域上的空白。
上海控安iVerifier計(jì)算機(jī)聯(lián)鎖系統(tǒng)驗(yàn)證工具概述
傳統(tǒng)的聯(lián)鎖系統(tǒng)開發(fā)、設(shè)計(jì)和測試，只能從功能上保證其邏輯的正確性，而無法保證其安全需求完全得到滿足。S....
上?？匕睸martRocket系列:可視化建模開發(fā)工具
SmartRocketModelerc產(chǎn)品可實(shí)現(xiàn)國外壟斷工具的國產(chǎn)化替代，解決需求建模、驗(yàn)證領(lǐng)域的“....
上?？匕睸martRocket系列：嵌入式軟件智能化測試工具
SmartRocket TestGrid嵌入式軟件智能化測試工具支持國軍標(biāo)、MISRA 等靜態(tài)分析、....
形式化方法背后的動因和關(guān)鍵技術(shù)及行業(yè)應(yīng)用
系列簡介：形式化方法在計(jì)算機(jī)和軟件工程學(xué)科中作為一個學(xué)科分支，正在越來越多地進(jìn)入工業(yè)界諸多實(shí)踐領(lǐng)域。....
上?？匕踩脒x“2020上海高新技術(shù)成果轉(zhuǎn)化項(xiàng)目自主創(chuàng)新十強(qiáng)”
12月14日，由上海市科委指導(dǎo)，上海市科技創(chuàng)業(yè)中心主辦的“2021上海高新技術(shù)成果轉(zhuǎn)化百佳表彰會”在....
《汽車供應(yīng)鏈網(wǎng)絡(luò)安全管理白皮書》現(xiàn)已正式立項(xiàng)編制
白皮書聚焦汽車供應(yīng)鏈的網(wǎng)絡(luò)安全，旨在依托國內(nèi)汽車網(wǎng)絡(luò)安全生態(tài)圈的高水平能力，把脈行業(yè)痛點(diǎn)，推動汽車供....
上?？匕仓鬓k的工業(yè)科技生態(tài)創(chuàng)新論壇于11月5日順利舉辦
11月5日，由上?？匕仓鬓k的工業(yè)科技生態(tài)創(chuàng)新論壇第一期順利舉辦。本次論壇主題為“攜硬核科技 創(chuàng)工業(yè)生....
云南省昭通市領(lǐng)導(dǎo)一行蒞臨上?？匕舱{(diào)研指導(dǎo)工作
11月1日上午，云南省昭通市工信局局長吳剛、副局長朱天峰等領(lǐng)導(dǎo)一行蒞臨上?？匕舱{(diào)研指導(dǎo)工作。上?？匕?...
長三角國家技術(shù)創(chuàng)新中心領(lǐng)導(dǎo)一行蒞臨上?？匕舱{(diào)研指導(dǎo)
就長三角國家技術(shù)創(chuàng)新中心總體布局以及與工控平臺的業(yè)務(wù)合作進(jìn)行交流。
上?？匕踩脒x“2020上海市科技成果轉(zhuǎn)化項(xiàng)目自主創(chuàng)新十強(qiáng)”
上?？匕沧匝械闹悄芮度胧絾卧獪y試用例設(shè)計(jì)工具軟件（項(xiàng)目編號：202001003）成功從眾多高新技術(shù)成....
《2021上海網(wǎng)絡(luò)安全產(chǎn)業(yè)創(chuàng)新攻關(guān)成果目錄》中上海控安入選
上?？匕病爸悄芄た匕踩脚_系統(tǒng)”成為該目錄中智能工控安全攻關(guān)方向唯一入選成果。
上?？匕伯?dāng)選上?；ヂ?lián)網(wǎng)協(xié)會網(wǎng)絡(luò)與信息安全工作委員會副主任單位
為了推進(jìn)上海市通信和互聯(lián)網(wǎng)行業(yè)網(wǎng)絡(luò)安全產(chǎn)業(yè)的持續(xù)發(fā)展，促進(jìn)產(chǎn)業(yè)鏈內(nèi)企業(yè)加強(qiáng)協(xié)作，提升全行業(yè)網(wǎng)絡(luò)安全整體意識，1
自動駕駛汽車以太網(wǎng)數(shù)字孿生建模（二）
標(biāo)注：本文來自本實(shí)驗(yàn)室杜興華的研究成果。 2 構(gòu)建車載以太網(wǎng)數(shù)字孿生模型客戶端 2.1 AddEth....
格炬工業(yè)互聯(lián)網(wǎng)安全服務(wù)平臺已上線 上海控安邀您免費(fèi)體驗(yàn)
格炬工業(yè)互聯(lián)網(wǎng)安全服務(wù)平臺是工業(yè)互聯(lián)網(wǎng)產(chǎn)業(yè)的信息服務(wù)平臺，主要圍繞工業(yè)控制系統(tǒng)功能安全和信息安全，推....
自動駕駛汽車以太網(wǎng)數(shù)字孿生建模（一）
標(biāo)注：本文來自本實(shí)驗(yàn)室杜興華的研究成果。 1. 車載以太網(wǎng) TCP/IP 和 UDP 通信建模 TC....
自動駕駛汽車傳感器數(shù)字孿生建模（一）
標(biāo)注：本文來自本實(shí)驗(yàn)室肖軒的研究成果。 一、傳感器種類和特點(diǎn) 目前階段自動駕駛汽車感知系統(tǒng)所使用的傳....
上?？匕踩脒x首批工控安全防護(hù)能力貫標(biāo)咨詢機(jī)構(gòu)名單
4月28日，中國電子工業(yè)標(biāo)準(zhǔn)化技術(shù)協(xié)會工業(yè)控制系統(tǒng)信息安全防護(hù)能力推進(jìn)分會（以下簡稱分會）組織召開首....
上?？匕残掳媲度胧街悄芑瘻y試工具已正式發(fā)布
SmartRocket TestGrid 作為一款支持靜態(tài)分析的測試工具，滿足根據(jù)國軍標(biāo)8114標(biāo)準(zhǔn)....
詳談自動駕駛汽車GPS系統(tǒng)數(shù)字孿生建模（二）
標(biāo)注：本文來自本實(shí)驗(yàn)室胡宗盛的研究成果。 GPS系統(tǒng)數(shù)字孿生建模的仿真模型實(shí)時(shí)同步數(shù)據(jù)中，實(shí)時(shí)與仿真....
詳談自動駕駛汽車GPS系統(tǒng)數(shù)字孿生建模（一）
標(biāo)注：本文來自本實(shí)驗(yàn)室胡宗盛的研究成果。 定位的技術(shù)發(fā)展 第一為 GNSS 定位，該定位依托于衛(wèi)星定....
詳談自動駕駛汽車CAN總線數(shù)字孿生建模（二）
標(biāo)注：本文來自本實(shí)驗(yàn)室單超的研究成果。 整體思路：仿真模型通過python打開并運(yùn)行之后，會啟動Ca....
詳解自動駕駛汽車CAN總線數(shù)字孿生建模（一）
標(biāo)注：本文來自本實(shí)驗(yàn)室單超的研究成果。 數(shù)字孿生用于虛擬描述真實(shí)存在的一個或多個特定實(shí)體的數(shù)字復(fù)制品....
如何將新型安全技術(shù)應(yīng)用于車輛入侵檢測系統(tǒng)
車聯(lián)網(wǎng)(V2X)通過將其他設(shè)備與移動的車輛聯(lián)系起來，使運(yùn)輸系統(tǒng)更加智能，但它也帶來了地理動態(tài)入侵問題....
詳談面向V2C場景的ADAS數(shù)字孿生模型構(gòu)建方法
物聯(lián)網(wǎng)（IoT）的發(fā)展提出了許多新穎的技術(shù)，其中的應(yīng)用場景不僅限于用戶級別（例如，個人消費(fèi)者或私有公....
基于微區(qū)塊鏈的V2X地理動態(tài)入侵檢測說明
車聯(lián)網(wǎng)(V2X)通過將其他設(shè)備與移動的車輛聯(lián)系起來，使運(yùn)輸系統(tǒng)更加智能，但它也帶來了地理動態(tài)入侵問題....
工商網(wǎng)監(jiān)