SmartRocketScanner軟件成分分析工具
SmartRocket Scanner專注于通過軟件生命周期開源安全與合規(guī)分析管理平臺識別并規(guī)避相關(guān)....
上海控安SmartRocket 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....
上海控安SmartRocket系列:可視化建模開發(fā)工具
SmartRocketModelerc產(chǎn)品可實(shí)現(xiàn)國外壟斷工具的國產(chǎn)化替代，解決需求建模、驗(yàn)證領(lǐng)域的“....
上海控安SmartRocket系列：嵌入式軟件智能化測試工具
SmartRocket TestGrid嵌入式軟件智能化測試工具支持國軍標(biāo)、MISRA 等靜態(tài)分析、....
汽車安全工程之“安全”概念的辨析
01 什么是“安全”？ 當(dāng)前在汽車領(lǐng)域，關(guān)于安全，我們時(shí)常可以聽到這幾個(gè)詞：功能安全，預(yù)期功能安全，....
形式化方法背后的動(dòng)因和關(guān)鍵技術(shù)及行業(yè)應(yīng)用
系列簡介：形式化方法在計(jì)算機(jī)和軟件工程學(xué)科中作為一個(gè)學(xué)科分支，正在越來越多地進(jìn)入工業(yè)界諸多實(shí)踐領(lǐng)域。....
上海控安入選“2020上海高新技術(shù)成果轉(zhuǎn)化項(xiàng)目自主創(chuàng)新十強(qiáng)”
12月14日，由上海市科委指導(dǎo)，上海市科技創(chuàng)業(yè)中心主辦的“2021上海高新技術(shù)成果轉(zhuǎn)化百佳表彰會(huì)”在....
《汽車供應(yīng)鏈網(wǎng)絡(luò)安全管理白皮書》現(xiàn)已正式立項(xiàng)編制
白皮書聚焦汽車供應(yīng)鏈的網(wǎng)絡(luò)安全，旨在依托國內(nèi)汽車網(wǎng)絡(luò)安全生態(tài)圈的高水平能力，把脈行業(yè)痛點(diǎn)，推動(dòng)汽車供....
上海控安主辦的工業(yè)科技生態(tài)創(chuàng)新論壇于11月5日順利舉辦
11月5日，由上海控安主辦的工業(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)行交流。
上海控安入選“2020上海市科技成果轉(zhuǎn)化項(xiàng)目自主創(chuàng)新十強(qiáng)”
上海控安自研的智能嵌入式單元測試用例設(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é)會(huì)網(wǎng)絡(luò)與信息安全工作委員會(huì)副主任單位
為了推進(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
自動(dòng)駕駛汽車以太網(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)功能安全和信息安全，推....
普科恒睿公司黨支部與上海控安黨支部開展黨建共建活動(dòng)
9月9日，普陀科投黨委下屬普科恒睿公司黨支部與上海控安黨支部開展黨建共建活動(dòng)，共同深入黨史學(xué)習(xí)教育，....
自動(dòng)駕駛汽車以太網(wǎng)數(shù)字孿生建模（一）
標(biāo)注：本文來自本實(shí)驗(yàn)室杜興華的研究成果。 1. 車載以太網(wǎng) TCP/IP 和 UDP 通信建模 TC....
自動(dòng)駕駛汽車傳感器數(shù)字孿生建模（一）
標(biāo)注：本文來自本實(shí)驗(yàn)室肖軒的研究成果。 一、傳感器種類和特點(diǎn) 目前階段自動(dòng)駕駛汽車感知系統(tǒng)所使用的傳....
上海控安入選首批工控安全防護(hù)能力貫標(biāo)咨詢機(jī)構(gòu)名單
4月28日，中國電子工業(yè)標(biāo)準(zhǔn)化技術(shù)協(xié)會(huì)工業(yè)控制系統(tǒng)信息安全防護(hù)能力推進(jìn)分會(huì)（以下簡稱分會(huì)）組織召開首....
上海控安新版嵌入式智能化測試工具已正式發(fā)布
SmartRocket TestGrid 作為一款支持靜態(tài)分析的測試工具，滿足根據(jù)國軍標(biāo)8114標(biāo)準(zhǔn)....
詳談自動(dòng)駕駛汽車GPS系統(tǒng)數(shù)字孿生建模（二）
標(biāo)注：本文來自本實(shí)驗(yàn)室胡宗盛的研究成果。 GPS系統(tǒng)數(shù)字孿生建模的仿真模型實(shí)時(shí)同步數(shù)據(jù)中，實(shí)時(shí)與仿真....
詳談自動(dòng)駕駛汽車GPS系統(tǒng)數(shù)字孿生建模（一）
標(biāo)注：本文來自本實(shí)驗(yàn)室胡宗盛的研究成果。 定位的技術(shù)發(fā)展 第一為 GNSS 定位，該定位依托于衛(wèi)星定....
詳談自動(dòng)駕駛汽車CAN總線數(shù)字孿生建模（二）
標(biāo)注：本文來自本實(shí)驗(yàn)室單超的研究成果。 整體思路：仿真模型通過python打開并運(yùn)行之后，會(huì)啟動(dòng)Ca....
詳解自動(dòng)駕駛汽車CAN總線數(shù)字孿生建模（一）
標(biāo)注：本文來自本實(shí)驗(yàn)室單超的研究成果。 數(shù)字孿生用于虛擬描述真實(shí)存在的一個(gè)或多個(gè)特定實(shí)體的數(shù)字復(fù)制品....
如何將新型安全技術(shù)應(yīng)用于車輛入侵檢測系統(tǒng)
車聯(lián)網(wǎng)(V2X)通過將其他設(shè)備與移動(dòng)的車輛聯(lián)系起來，使運(yùn)輸系統(tǒng)更加智能，但它也帶來了地理動(dòng)態(tài)入侵問題....
詳談面向V2C場景的ADAS數(shù)字孿生模型構(gòu)建方法
物聯(lián)網(wǎng)（IoT）的發(fā)展提出了許多新穎的技術(shù)，其中的應(yīng)用場景不僅限于用戶級別（例如，個(gè)人消費(fèi)者或私有公....
基于微區(qū)塊鏈的V2X地理動(dòng)態(tài)入侵檢測說明
車聯(lián)網(wǎng)(V2X)通過將其他設(shè)備與移動(dòng)的車輛聯(lián)系起來，使運(yùn)輸系統(tǒng)更加智能，但它也帶來了地理動(dòng)態(tài)入侵問題....
工商網(wǎng)監(jiān)