搜索歷史

清空
搜索熱詞
      0
      • 聊天消息
      • 系統(tǒng)消息
      • 評論與回復(fù)
      VIP于 到期 續(xù)費
      登錄后你可以
      • 下載海量資料
      • 學(xué)習(xí)在線課程
      • 觀看技術(shù)視頻
      • 寫文章/發(fā)帖/加入社區(qū)
      會員中心
      創(chuàng)作中心
      發(fā)布
      創(chuàng)作活動

      完善資料讓更多小伙伴認識你，還能領(lǐng)取20積分哦，立即完善>

      3天內(nèi)不再提示

      上海控安

      文章：123 被閱讀：21.4w 粉絲數(shù)：8 關(guān)注數(shù)：0 點贊數(shù)：22

      為工業(yè)安全賦能

      廣告

      一文淺談軟件測試

      從狹義的角度說，軟件測試是軟件開發(fā)中的一個流程，即通過把程序?qū)嶋H運行起來并試圖找出其中可能存在的錯誤....
      的頭像 上?？匕? 發(fā)表于 01-30 17:07 ?867次閱讀
      一文淺談軟件測試

      汽車全生命周期網(wǎng)絡(luò)安全風(fēng)險管理解析

      本文將重點對ISO/SAE 21434標(biāo)準(zhǔn)中，汽車全生命周期網(wǎng)絡(luò)安全風(fēng)險管理的各階段中活動展開介紹，....
      的頭像 上?？匕? 發(fā)表于 01-30 16:58 ?864次閱讀
      汽車全生命周期網(wǎng)絡(luò)安全風(fēng)險管理解析

      形式化方法基本原理初探

      形式化方法是基于嚴格的數(shù)學(xué)基礎(chǔ)，通過采用數(shù)學(xué)邏輯證明來對計算機軟硬件系統(tǒng)進行建模、規(guī)約、分析、推理和....
      的頭像 上?？匕? 發(fā)表于 01-30 16:42 ?1200次閱讀
      形式化方法基本原理初探

      基于機器學(xué)習(xí)的汽車CAN總線異常檢測方法

      目前機器學(xué)習(xí)是研究車輛網(wǎng)絡(luò)入侵檢測技術(shù)的熱門方向，通過引入機器學(xué)習(xí)算法來識別車載總線上的網(wǎng)絡(luò)報文，可....
      的頭像 上海控安 發(fā)表于 01-17 10:49 ?1181次閱讀

      軌交系統(tǒng)安全性設(shè)計

      本文將從軌交系統(tǒng)的安全性設(shè)計的必要性、控制設(shè)計、需求分析以及實現(xiàn)等方面進行闡述。 1. 安全性....
      的頭像 上?？匕? 發(fā)表于 01-16 16:55 ?862次閱讀
      軌交系統(tǒng)安全性設(shè)計

      鑒源論壇 · 觀模丨基于AUTOSAR的TTCAN通信協(xié)議的形式化建模與分析

      本文針對AUTOSAR的TTCAN協(xié)議進行研究，并用Timed CSP（Timed Communic....
      的頭像 上?？匕? 發(fā)表于 01-04 16:12 ?1170次閱讀
      鑒源論壇 · 觀模丨基于AUTOSAR的TTCAN通信協(xié)議的形式化建模與分析

      車載入侵檢測與防御系統(tǒng)介紹

      本篇文章中，我們將對汽車網(wǎng)絡(luò)安全風(fēng)險的應(yīng)對策略，特別是車載入侵檢測與防御系統(tǒng)展開詳細的介紹。
      的頭像 上?？匕? 發(fā)表于 12-30 13:46 ?4137次閱讀
      車載入侵檢測與防御系統(tǒng)介紹

      基于AUTOSAR的TTCAN通信協(xié)議的形式化建模與分析

      本文針對AUTOSAR的TTCAN協(xié)議進行研究，并用Timed CSP（Timed Communic....
      的頭像 上?？匕? 發(fā)表于 12-30 13:23 ?2460次閱讀
      基于AUTOSAR的TTCAN通信協(xié)議的形式化建模與分析

      車載TBOX嵌入式設(shè)備軟件的功能測試

      從本章節(jié)開始我們聚焦到具體的ECU測試上來（以車載TBOX為例），因為相比車輛其他電子零部件，車機系....
      的頭像 上?？匕? 發(fā)表于 12-16 14:14 ?1517次閱讀
      車載TBOX嵌入式設(shè)備軟件的功能測試

      AUTOSAR調(diào)度表可調(diào)度性的形式化分析

      作為車載操作系統(tǒng)，實時性對于AUTOSAR OS的重要性不言而喻，如何保證操作系統(tǒng)中的計算單元在截止....
      的頭像 上海控安 發(fā)表于 12-16 14:01 ?1497次閱讀
      AUTOSAR調(diào)度表可調(diào)度性的形式化分析

      車載ECU嵌入式設(shè)備的診斷測試–DTC

      車輛在運行的過程當(dāng)中，控制器會監(jiān)控狀態(tài)，特定故障發(fā)生時控制器會記錄這些故障。車輛送4S店進行維修保養(yǎng)....
      的頭像 上?？匕? 發(fā)表于 12-02 17:20 ?1568次閱讀
      車載ECU嵌入式設(shè)備的診斷測試–DTC

      鑒源論壇 · 觀模丨基于搜索的測試生成

      基于搜索的測試生成將測試生成問題建模為最優(yōu)化問題，其核心思想是針對期望達到的測試目標(biāo)，以相關(guān)目標(biāo)(成....
      的頭像 上?？匕? 發(fā)表于 12-02 16:25 ?973次閱讀
      鑒源論壇 · 觀模丨基于搜索的測試生成

      智能網(wǎng)聯(lián)汽車網(wǎng)絡(luò)安全攻擊與防御技術(shù)概述

      在汽車電動化、網(wǎng)聯(lián)化、智能化和共享化等新四化的發(fā)展趨勢下，智能網(wǎng)聯(lián)汽車（Intelligent Co....
      的頭像 上?？匕? 發(fā)表于 11-18 11:37 ?1398次閱讀
      智能網(wǎng)聯(lián)汽車網(wǎng)絡(luò)安全攻擊與防御技術(shù)概述

      鑒源論壇 · 觀模丨淺談隨機測試

      隨機測試是一種使用隨機、相互獨立的程序輸入來對計算機程序進行測試的黑盒軟件測試（在完全忽略程序內(nèi)部實....
      的頭像 上海控安 發(fā)表于 11-18 10:14 ?1534次閱讀
      鑒源論壇 · 觀模丨淺談隨機測試

      汽車CAN總線滲透測試

      隨著汽車智能化、網(wǎng)聯(lián)化的高速發(fā)展，對于汽車通訊網(wǎng)絡(luò)的安全威脅越來越多，而CAN總線是目前汽車使用最廣....
      的頭像 上?？匕? 發(fā)表于 11-09 13:53 ?2283次閱讀
      汽車CAN總線滲透測試

      鑒源論壇 · 觀模丨形式化驗證——以操作系統(tǒng)任務(wù)調(diào)度算法驗證為案例

      形式化方法為軟件開發(fā)過程提供了一種較為透徹的思維方式，該方式可以用于工程化系統(tǒng)設(shè)計，并且可以很好地幫....
      的頭像 上?？匕? 發(fā)表于 11-09 11:25 ?490次閱讀
      鑒源論壇 · 觀模丨形式化驗證——以操作系統(tǒng)任務(wù)調(diào)度算法驗證為案例

      車載ECU嵌入式設(shè)備的診斷測試–讀和寫

      本篇講述UDS中的讀和寫服務(wù)，讀寫服務(wù)幾乎是工程師日常使用最為頻繁的服務(wù)，特別是讀服務(wù)。
      的頭像 上?？匕? 發(fā)表于 10-28 15:43 ?940次閱讀
      車載ECU嵌入式設(shè)備的診斷測試–讀和寫

      車載ECU嵌入式設(shè)備的診斷測試 - 會話和安全控制

      本篇將會對UDS中最常用的服務(wù)進行詳細介紹，首先對會話控制請求服務(wù)$10和安全接入請求服務(wù)$27進行....
      的頭像 上?？匕? 發(fā)表于 10-09 17:03 ?1054次閱讀
      車載ECU嵌入式設(shè)備的診斷測試 - 會話和安全控制

      民用飛機機載軟件是如何表明適航符合性的

      機載計算機在現(xiàn)代飛機各組成部分中占有舉足輕重的位置，是現(xiàn)代航空電子系統(tǒng)的基礎(chǔ)和核心，其研制、生產(chǎn)和應(yīng)....
      的頭像 上?？匕? 發(fā)表于 10-09 16:52 ?2033次閱讀
      民用飛機機載軟件是如何表明適航符合性的

      淺談民用飛機機載系統(tǒng)的安全性

      民航飛機的安全通過以下四種關(guān)鍵措施得以保證：一）嚴密的功能定義；二）精確的架構(gòu)設(shè)計；三）嚴格的過程控....
      的頭像 上?？匕? 發(fā)表于 09-28 11:33 ?2237次閱讀
      淺談民用飛機機載系統(tǒng)的安全性

      車載ECU嵌入式設(shè)備的診斷測試 - 服務(wù)

      本章節(jié)將從診斷服務(wù)測試展開細說測試相關(guān)知識，主要分享上層的相關(guān)應(yīng)用測試。
      的頭像 上海控安 發(fā)表于 09-28 10:06 ?1751次閱讀
      車載ECU嵌入式設(shè)備的診斷測試 - 服務(wù)

      TARA分析方法論

      TARA是威脅分析與風(fēng)險評估（Threat Analysis and Risk Assessment....
      的頭像 上?？匕? 發(fā)表于 09-14 10:44 ?1614次閱讀
      TARA分析方法論

      軌道交通信號基礎(chǔ)設(shè)備概述

      本文將從信號基礎(chǔ)設(shè)備方面進一步展開講述，具體分為以下幾個部分：1.信號機（指引列車前進停止的信號）；....
      的頭像 上?？匕? 發(fā)表于 09-14 10:23 ?11564次閱讀
      軌道交通信號基礎(chǔ)設(shè)備概述

      μC/OS內(nèi)核的形式化驗證技術(shù)

      操作系統(tǒng)作為軟件系統(tǒng)的核心，其安全性與可靠性是構(gòu)造高可信軟件最為關(guān)鍵的一步。
      的頭像 上?？匕? 發(fā)表于 08-18 16:49 ?1369次閱讀
      μC/OS內(nèi)核的形式化驗證技術(shù)

      基于信息安全HSM固件的ECU間安全通訊

      本文主要描述了基于ST高性能高安全性PowerPC結(jié)合Autosar SecOC完成的硬件加密的安全....
      的頭像 上海控安 發(fā)表于 08-18 16:29 ?1601次閱讀
      基于信息安全HSM固件的ECU間安全通訊

      SmartRocketScanner軟件成分分析工具

      SmartRocket Scanner專注于通過軟件生命周期開源安全與合規(guī)分析管理平臺識別并規(guī)避相關(guān)....
      的頭像 上?？匕? 發(fā)表于 08-18 09:41 ?1213次閱讀

      上?？匕睸martRocket PeneCAN滲透測試工具

      SmartRocket PeneCAN滲透測試工具的出現(xiàn)可以彌補國內(nèi)在車載總線滲透測試領(lǐng)域上的空白。
      的頭像 上?？匕? 發(fā)表于 08-11 10:11 ?1692次閱讀
      上?？匕睸martRocket PeneCAN滲透測試工具

      上?？匕瞚Verifier計算機聯(lián)鎖系統(tǒng)驗證工具概述

      傳統(tǒng)的聯(lián)鎖系統(tǒng)開發(fā)、設(shè)計和測試，只能從功能上保證其邏輯的正確性，而無法保證其安全需求完全得到滿足。S....
      的頭像 上?？匕? 發(fā)表于 08-09 16:37 ?1457次閱讀
      上?？匕瞚Verifier計算機聯(lián)鎖系統(tǒng)驗證工具概述

      上?？匕睸martRocket系列:可視化建模開發(fā)工具

      SmartRocketModelerc產(chǎn)品可實現(xiàn)國外壟斷工具的國產(chǎn)化替代，解決需求建模、驗證領(lǐng)域的“....
      的頭像 上?？匕? 發(fā)表于 08-08 17:44 ?1082次閱讀

      上?？匕睸martRocket系列：嵌入式軟件智能化測試工具

      SmartRocket TestGrid嵌入式軟件智能化測試工具支持國軍標(biāo)、MISRA 等靜態(tài)分析、....
      的頭像 上?？匕? 發(fā)表于 08-02 14:53 ?1632次閱讀