chinese直男口爆体育生外卖, 99久久er热在这里只有精品99, 又色又爽又黄18禁美女裸身无遮挡, gogogo高清免费观看日本电视,私密按摩师高清版在线,人妻视频毛茸茸,91论坛 兴趣闲谈,欧美 亚洲 精品 8区,国产精品久久久久精品免费

搜索歷史

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

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

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

      上海控安

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

      為工業(yè)安全賦能

      廣告

      基于規(guī)則的車載網(wǎng)絡(luò)入侵檢測技術(shù)

      在過去的幾十年中，CAN總線是最廣泛被應(yīng)用的車載網(wǎng)絡(luò)現(xiàn)場總線。但隨著汽車電子產(chǎn)品的功能逐漸豐富，以及....
      的頭像 上?？匕? 發(fā)表于 02-01 11:07 ?1066次閱讀

      聯(lián)鎖系統(tǒng)原理淺析

      作者 |劉艷青 上海控安安全測評中心安全測評部測試經(jīng)理 版塊 |鑒源論壇 · 觀通 01聯(lián)鎖系統(tǒng)的硬....
      的頭像 上?？匕? 發(fā)表于 02-01 10:46 ?7707次閱讀

      車載ECU嵌入式軟件的測試入門

      整車所有電子零配件均工作在一定電源狀態(tài)下，沒有供電的話零部件將無法工作。關(guān)于零部件在何種狀態(tài)下應(yīng)對進....
      的頭像 上?？匕? 發(fā)表于 01-30 17:54 ?1352次閱讀
      車載ECU嵌入式軟件的測試入門

      淺談測試的充分性問題

      由于無法窮舉被測軟件完整的輸入空間，各種軟件動態(tài)測試方法本質(zhì)上都是圍繞”如何構(gòu)造測試集合以使其展現(xiàn)的....
      的頭像 上?？匕? 發(fā)表于 01-30 17:47 ?2019次閱讀
      淺談測試的充分性問題

      汽車電子架構(gòu)和CAN網(wǎng)絡(luò)基礎(chǔ)

      本系列文章從汽車電子架構(gòu)和網(wǎng)絡(luò)歷史開始，逐步往汽車電子零部件的嵌入式軟件，零部件的通用基礎(chǔ)功能各網(wǎng)絡(luò)....
      的頭像 上?？匕? 發(fā)表于 01-30 17:23 ?1497次閱讀
      汽車電子架構(gòu)和CAN網(wǎng)絡(luò)基礎(chǔ)

      一文淺談軟件測試

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

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

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

      形式化方法基本原理初探

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

      基于機器學習的汽車CAN總線異常檢測方法

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      汽車CAN總線滲透測試

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

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

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

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

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

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

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

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

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

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

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

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

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

      TARA分析方法論

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

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

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

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

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

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

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