女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

上海控安

文章:128 被閱讀:25w 粉絲數:8 關注數:0 點贊數:22

為工業安全賦能

廣告

基于規則的車載網絡入侵檢測技術

在過去的幾十年中,CAN總線是最廣泛被應用的車載網絡現場總線。但隨著汽車電子產品的功能逐漸豐富,以及....
的頭像 上海控安 發表于 02-01 11:07 ?1013次閱讀

聯鎖系統原理淺析

作者 |劉艷青 上海控安安全測評中心安全測評部測試經理 版塊 |鑒源論壇 · 觀通 01聯鎖系統的硬....
的頭像 上海控安 發表于 02-01 10:46 ?7498次閱讀

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

整車所有電子零配件均工作在一定電源狀態下,沒有供電的話零部件將無法工作。關于零部件在何種狀態下應對進....
的頭像 上海控安 發表于 01-30 17:54 ?1271次閱讀
車載ECU嵌入式軟件的測試入門

淺談測試的充分性問題

由于無法窮舉被測軟件完整的輸入空間,各種軟件動態測試方法本質上都是圍繞”如何構造測試集合以使其展現的....
的頭像 上海控安 發表于 01-30 17:47 ?1924次閱讀
淺談測試的充分性問題

汽車電子架構和CAN網絡基礎

本系列文章從汽車電子架構和網絡歷史開始,逐步往汽車電子零部件的嵌入式軟件,零部件的通用基礎功能各網絡....
的頭像 上海控安 發表于 01-30 17:23 ?1455次閱讀
汽車電子架構和CAN網絡基礎

一文淺談軟件測試

從狹義的角度說,軟件測試是軟件開發中的一個流程,即通過把程序實際運行起來并試圖找出其中可能存在的錯誤....
的頭像 上海控安 發表于 01-30 17:07 ?1090次閱讀
一文淺談軟件測試

汽車全生命周期網絡安全風險管理解析

本文將重點對ISO/SAE 21434標準中,汽車全生命周期網絡安全風險管理的各階段中活動展開介紹,....
的頭像 上海控安 發表于 01-30 16:58 ?1108次閱讀
汽車全生命周期網絡安全風險管理解析

形式化方法基本原理初探

形式化方法是基于嚴格的數學基礎,通過采用數學邏輯證明來對計算機軟硬件系統進行建模、規約、分析、推理和....
的頭像 上海控安 發表于 01-30 16:42 ?1545次閱讀
形式化方法基本原理初探

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

目前機器學習是研究車輛網絡入侵檢測技術的熱門方向,通過引入機器學習算法來識別車載總線上的網絡報文,可....
的頭像 上海控安 發表于 01-17 10:49 ?1642次閱讀

軌交系統安全性設計

本文將從軌交系統的安全性設計的必要性、控制設計、需求分析以及實現等方面進行闡述。 1. 安全性....
的頭像 上海控安 發表于 01-16 16:55 ?1072次閱讀
軌交系統安全性設計

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

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

車載入侵檢測與防御系統介紹

本篇文章中,我們將對汽車網絡安全風險的應對策略,特別是車載入侵檢測與防御系統展開詳細的介紹。
的頭像 上海控安 發表于 12-30 13:46 ?4476次閱讀
車載入侵檢測與防御系統介紹

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

本文針對AUTOSAR的TTCAN協議進行研究,并用Timed CSP(Timed Communic....
的頭像 上海控安 發表于 12-30 13:23 ?2611次閱讀
基于AUTOSAR的TTCAN通信協議的形式化建模與分析

車載TBOX嵌入式設備軟件的功能測試

從本章節開始我們聚焦到具體的ECU測試上來(以車載TBOX為例),因為相比車輛其他電子零部件,車機系....
的頭像 上海控安 發表于 12-16 14:14 ?1765次閱讀
車載TBOX嵌入式設備軟件的功能測試

AUTOSAR調度表可調度性的形式化分析

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

車載ECU嵌入式設備的診斷測試–DTC

車輛在運行的過程當中,控制器會監控狀態,特定故障發生時控制器會記錄這些故障。車輛送4S店進行維修保養....
的頭像 上海控安 發表于 12-02 17:20 ?1797次閱讀
車載ECU嵌入式設備的診斷測試–DTC

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

基于搜索的測試生成將測試生成問題建模為最優化問題,其核心思想是針對期望達到的測試目標,以相關目標(成....
的頭像 上海控安 發表于 12-02 16:25 ?1187次閱讀
鑒源論壇 · 觀模丨基于搜索的測試生成

智能網聯汽車網絡安全攻擊與防御技術概述

在汽車電動化、網聯化、智能化和共享化等新四化的發展趨勢下,智能網聯汽車(Intelligent Co....
的頭像 上海控安 發表于 11-18 11:37 ?1667次閱讀
智能網聯汽車網絡安全攻擊與防御技術概述

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

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

汽車CAN總線滲透測試

隨著汽車智能化、網聯化的高速發展,對于汽車通訊網絡的安全威脅越來越多,而CAN總線是目前汽車使用最廣....
的頭像 上海控安 發表于 11-09 13:53 ?2533次閱讀
汽車CAN總線滲透測試

鑒源論壇 · 觀模丨形式化驗證——以操作系統任務調度算法驗證為案例

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

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

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

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

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

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

機載計算機在現代飛機各組成部分中占有舉足輕重的位置,是現代航空電子系統的基礎和核心,其研制、生產和應....
的頭像 上海控安 發表于 10-09 16:52 ?2633次閱讀
民用飛機機載軟件是如何表明適航符合性的

淺談民用飛機機載系統的安全性

民航飛機的安全通過以下四種關鍵措施得以保證:一)嚴密的功能定義;二)精確的架構設計;三)嚴格的過程控....
的頭像 上海控安 發表于 09-28 11:33 ?2617次閱讀
淺談民用飛機機載系統的安全性

車載ECU嵌入式設備的診斷測試 - 服務

本章節將從診斷服務測試展開細說測試相關知識,主要分享上層的相關應用測試。
的頭像 上海控安 發表于 09-28 10:06 ?2044次閱讀
車載ECU嵌入式設備的診斷測試 - 服務

TARA分析方法論

TARA是威脅分析與風險評估(Threat Analysis and Risk Assessment....
的頭像 上海控安 發表于 09-14 10:44 ?1956次閱讀
TARA分析方法論

軌道交通信號基礎設備概述

本文將從信號基礎設備方面進一步展開講述,具體分為以下幾個部分:1.信號機(指引列車前進停止的信號);....
的頭像 上海控安 發表于 09-14 10:23 ?12396次閱讀
軌道交通信號基礎設備概述

μC/OS內核的形式化驗證技術

操作系統作為軟件系統的核心,其安全性與可靠性是構造高可信軟件最為關鍵的一步。
的頭像 上海控安 發表于 08-18 16:49 ?1580次閱讀
μC/OS內核的形式化驗證技術

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

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