SmartRocket Scanner專注于通過軟件生命周期開源安全與合規分析管理平臺識別并規避相關....
![的頭像]()
上海控安 發表于 08-18 09:41
?1342次閱讀
SmartRocket PeneCAN滲透測試工具的出現可以彌補國內在車載總線滲透測試領域上的空白。
![的頭像]()
上海控安 發表于 08-11 10:11
?1856次閱讀
傳統的聯鎖系統開發、設計和測試，只能從功能上保證其邏輯的正確性，而無法保證其安全需求完全得到滿足。S....
![的頭像]()
上海控安 發表于 08-09 16:37
?1605次閱讀
SmartRocketModelerc產品可實現國外壟斷工具的國產化替代，解決需求建模、驗證領域的“....
![的頭像]()
上海控安 發表于 08-08 17:44
?1204次閱讀
SmartRocket TestGrid嵌入式軟件智能化測試工具支持國軍標、MISRA 等靜態分析、....
![的頭像]()
上海控安 發表于 08-02 14:53
?1823次閱讀
01 什么是“安全”？ 當前在汽車領域，關于安全，我們時常可以聽到這幾個詞：功能安全，預期功能安全，....
![的頭像]()
上海控安 發表于 06-10 10:52
?1635次閱讀
系列簡介：形式化方法在計算機和軟件工程學科中作為一個學科分支，正在越來越多地進入工業界諸多實踐領域。....
![的頭像]()
上海控安 發表于 06-10 10:49
?1494次閱讀
12月14日，由上海市科委指導，上海市科技創業中心主辦的“2021上海高新技術成果轉化百佳表彰會”在....
![的頭像]()
上海控安 發表于 12-22 09:19
?6755次閱讀
力爭推動行業探索新前沿、實現新突破、取得新成效
![的頭像]()
上海控安 發表于 11-24 10:18
?2079次閱讀
白皮書聚焦汽車供應鏈的網絡安全，旨在依托國內汽車網絡安全生態圈的高水平能力，把脈行業痛點，推動汽車供....
![的頭像]()
上海控安 發表于 11-12 15:32
?2429次閱讀
11月5日，由上海控安主辦的工業科技生態創新論壇第一期順利舉辦。本次論壇主題為“攜硬核科技 創工業生....
![的頭像]()
上海控安 發表于 11-09 10:30
?1921次閱讀
11月1日上午，云南省昭通市工信局局長吳剛、副局長朱天峰等領導一行蒞臨上海控安調研指導工作。上海控安....
![的頭像]()
上海控安 發表于 11-03 11:18
?1922次閱讀
就長三角國家技術創新中心總體布局以及與工控平臺的業務合作進行交流。
![的頭像]()
上海控安 發表于 10-27 09:54
?1621次閱讀
上海控安自研的智能嵌入式單元測試用例設計工具軟件（項目編號：202001003）成功從眾多高新技術成....
![的頭像]()
上海控安 發表于 10-26 09:06
?7116次閱讀
上海控安“智能工控安全平臺系統”成為該目錄中智能工控安全攻關方向唯一入選成果。
![的頭像]()
上海控安 發表于 10-20 14:24
?1575次閱讀
為了推進上海市通信和互聯網行業網絡安全產業的持續發展，促進產業鏈內企業加強協作，提升全行業網絡安全整體意識，1
![的頭像]()
上海控安 發表于 10-14 10:43
?1299次閱讀
標注：本文來自本實驗室杜興華的研究成果。 2 構建車載以太網數字孿生模型客戶端 2.1 AddEth....
![的頭像]()
上海控安 發表于 09-28 15:19
?1716次閱讀
格炬工業互聯網安全服務平臺是工業互聯網產業的信息服務平臺，主要圍繞工業控制系統功能安全和信息安全，推....
![的頭像]()
上海控安 發表于 09-14 19:08
?2071次閱讀
9月9日，普陀科投黨委下屬普科恒睿公司黨支部與上海控安黨支部開展黨建共建活動，共同深入黨史學習教育，....
![的頭像]()
上海控安 發表于 09-14 18:31
?1662次閱讀
標注：本文來自本實驗室杜興華的研究成果。 1. 車載以太網 TCP/IP 和 UDP 通信建模 TC....
![的頭像]()
上海控安 發表于 05-20 11:07
?6302次閱讀
標注：本文來自本實驗室肖軒的研究成果。 一、傳感器種類和特點 目前階段自動駕駛汽車感知系統所使用的傳....
![的頭像]()
上海控安 發表于 05-18 10:12
?2166次閱讀
4月28日，中國電子工業標準化技術協會工業控制系統信息安全防護能力推進分會（以下簡稱分會）組織召開首....
![的頭像]()
上海控安 發表于 05-12 16:17
?1941次閱讀
SmartRocket TestGrid 作為一款支持靜態分析的測試工具，滿足根據國軍標8114標準....
![的頭像]()
上海控安 發表于 04-28 17:47
?1939次閱讀
標注：本文來自本實驗室胡宗盛的研究成果。 GPS系統數字孿生建模的仿真模型實時同步數據中，實時與仿真....
![的頭像]()
上海控安 發表于 04-28 17:44
?1767次閱讀
標注：本文來自本實驗室胡宗盛的研究成果。 定位的技術發展 第一為 GNSS 定位，該定位依托于衛星定....
![的頭像]()
上海控安 發表于 04-28 17:43
?2287次閱讀
標注：本文來自本實驗室單超的研究成果。 整體思路：仿真模型通過python打開并運行之后，會啟動Ca....
![的頭像]()
上海控安 發表于 04-28 17:42
?1477次閱讀
標注：本文來自本實驗室單超的研究成果。 數字孿生用于虛擬描述真實存在的一個或多個特定實體的數字復制品....
![的頭像]()
上海控安 發表于 04-28 17:36
?2352次閱讀
車聯網(V2X)通過將其他設備與移動的車輛聯系起來，使運輸系統更加智能，但它也帶來了地理動態入侵問題....
![的頭像]()
上海控安 發表于 04-28 17:31
?1952次閱讀
物聯網（IoT）的發展提出了許多新穎的技術，其中的應用場景不僅限于用戶級別（例如，個人消費者或私有公....
![的頭像]()
上海控安 發表于 04-28 17:28
?2207次閱讀
車聯網(V2X)通過將其他設備與移動的車輛聯系起來，使運輸系統更加智能，但它也帶來了地理動態入侵問題....
![的頭像]()
上海控安 發表于 04-28 17:26
?1499次閱讀
SmartRocketScanner軟件成分分析工具
工商網監