隨著汽車智能化、網(wǎng)聯(lián)化的高速發(fā)展，對于汽車通訊網(wǎng)絡的安全威脅越來越多，而CAN總線是目前汽車使用最廣....

形式化方法為軟件開發(fā)過程提供了一種較為透徹的思維方式，該方式可以用于工程化系統(tǒng)設計，并且可以很好地幫....

本篇講述UDS中的讀和寫服務，讀寫服務幾乎是工程師日常使用最為頻繁的服務，特別是讀服務。

本篇將會對UDS中最常用的服務進行詳細介紹，首先對會話控制請求服務$10和安全接入請求服務$27進行....

機載計算機在現(xiàn)代飛機各組成部分中占有舉足輕重的位置，是現(xiàn)代航空電子系統(tǒng)的基礎和核心，其研制、生產(chǎn)和應....

民航飛機的安全通過以下四種關鍵措施得以保證：一）嚴密的功能定義；二）精確的架構設計；三）嚴格的過程控....

本章節(jié)將從診斷服務測試展開細說測試相關知識，主要分享上層的相關應用測試。

TARA是威脅分析與風險評估（Threat Analysis and Risk Assessment....

本文將從信號基礎設備方面進一步展開講述，具體分為以下幾個部分：1.信號機（指引列車前進停止的信號）；....

操作系統(tǒng)作為軟件系統(tǒng)的核心，其安全性與可靠性是構造高可信軟件最為關鍵的一步。

本文主要描述了基于ST高性能高安全性PowerPC結合Autosar SecOC完成的硬件加密的安全....

SmartRocket Scanner專注于通過軟件生命周期開源安全與合規(guī)分析管理平臺識別并規(guī)避相關....

SmartRocket PeneCAN滲透測試工具的出現(xiàn)可以彌補國內(nèi)在車載總線滲透測試領域上的空白。

傳統(tǒng)的聯(lián)鎖系統(tǒng)開發(fā)、設計和測試，只能從功能上保證其邏輯的正確性，而無法保證其安全需求完全得到滿足。S....

SmartRocketModelerc產(chǎn)品可實現(xiàn)國外壟斷工具的國產(chǎn)化替代，解決需求建模、驗證領域的“....

SmartRocket TestGrid嵌入式軟件智能化測試工具支持國軍標、MISRA 等靜態(tài)分析、....

01 什么是“安全”？ 當前在汽車領域，關于安全，我們時?？梢月牭竭@幾個詞：功能安全，預期功能安全，....

系列簡介：形式化方法在計算機和軟件工程學科中作為一個學科分支，正在越來越多地進入工業(yè)界諸多實踐領域。....

12月14日，由上海市科委指導，上海市科技創(chuàng)業(yè)中心主辦的“2021上海高新技術成果轉化百佳表彰會”在....

力爭推動行業(yè)探索新前沿、實現(xiàn)新突破、取得新成效

白皮書聚焦汽車供應鏈的網(wǎng)絡安全，旨在依托國內(nèi)汽車網(wǎng)絡安全生態(tài)圈的高水平能力，把脈行業(yè)痛點，推動汽車供....

11月5日，由上?？匕仓鬓k的工業(yè)科技生態(tài)創(chuàng)新論壇第一期順利舉辦。本次論壇主題為“攜硬核科技 創(chuàng)工業(yè)生....

11月1日上午，云南省昭通市工信局局長吳剛、副局長朱天峰等領導一行蒞臨上?？匕舱{(diào)研指導工作。上?？匕?...

就長三角國家技術創(chuàng)新中心總體布局以及與工控平臺的業(yè)務合作進行交流。

上?？匕沧匝械闹悄芮度胧絾卧獪y試用例設計工具軟件（項目編號：202001003）成功從眾多高新技術成....

上海控安“智能工控安全平臺系統(tǒng)”成為該目錄中智能工控安全攻關方向唯一入選成果。

為了推進上海市通信和互聯(lián)網(wǎng)行業(yè)網(wǎng)絡安全產(chǎn)業(yè)的持續(xù)發(fā)展，促進產(chǎn)業(yè)鏈內(nèi)企業(yè)加強協(xié)作，提升全行業(yè)網(wǎng)絡安全整體意識，1

標注：本文來自本實驗室杜興華的研究成果。 2 構建車載以太網(wǎng)數(shù)字孿生模型客戶端 2.1 AddEth....

格炬工業(yè)互聯(lián)網(wǎng)安全服務平臺是工業(yè)互聯(lián)網(wǎng)產(chǎn)業(yè)的信息服務平臺，主要圍繞工業(yè)控制系統(tǒng)功能安全和信息安全，推....

9月9日，普陀科投黨委下屬普科恒睿公司黨支部與上?？匕颤h支部開展黨建共建活動，共同深入黨史學習教育，....