基于規(guī)則的車載網(wǎng)絡(luò)入侵檢測技術(shù)
在過去的幾十年中,CAN總線是最廣泛被應(yīng)用的車載網(wǎng)絡(luò)現(xiàn)場總線。但隨著汽車電子產(chǎn)品的功能逐漸豐富,以及....
聯(lián)鎖系統(tǒng)原理淺析
作者 |劉艷青 上??匕舶踩珳y評中心安全測評部測試經(jīng)理 版塊 |鑒源論壇 · 觀通 01聯(lián)鎖系統(tǒng)的硬....
汽車電子架構(gòu)和CAN網(wǎng)絡(luò)基礎(chǔ)
本系列文章從汽車電子架構(gòu)和網(wǎng)絡(luò)歷史開始,逐步往汽車電子零部件的嵌入式軟件,零部件的通用基礎(chǔ)功能各網(wǎng)絡(luò)....

汽車全生命周期網(wǎng)絡(luò)安全風(fēng)險管理解析
本文將重點(diǎn)對ISO/SAE 21434標(biāo)準(zhǔn)中,汽車全生命周期網(wǎng)絡(luò)安全風(fēng)險管理的各階段中活動展開介紹,....

形式化方法基本原理初探
形式化方法是基于嚴(yán)格的數(shù)學(xué)基礎(chǔ),通過采用數(shù)學(xué)邏輯證明來對計算機(jī)軟硬件系統(tǒng)進(jìn)行建模、規(guī)約、分析、推理和....

基于機(jī)器學(xué)習(xí)的汽車CAN總線異常檢測方法
目前機(jī)器學(xué)習(xí)是研究車輛網(wǎng)絡(luò)入侵檢測技術(shù)的熱門方向,通過引入機(jī)器學(xué)習(xí)算法來識別車載總線上的網(wǎng)絡(luò)報文,可....
鑒源論壇 · 觀模丨基于AUTOSAR的TTCAN通信協(xié)議的形式化建模與分析
本文針對AUTOSAR的TTCAN協(xié)議進(jìn)行研究,并用Timed CSP(Timed Communic....

車載ECU嵌入式設(shè)備的診斷測試–DTC
車輛在運(yùn)行的過程當(dāng)中,控制器會監(jiān)控狀態(tài),特定故障發(fā)生時控制器會記錄這些故障。車輛送4S店進(jìn)行維修保養(yǎng)....

鑒源論壇 · 觀模丨基于搜索的測試生成
基于搜索的測試生成將測試生成問題建模為最優(yōu)化問題,其核心思想是針對期望達(dá)到的測試目標(biāo),以相關(guān)目標(biāo)(成....

智能網(wǎng)聯(lián)汽車網(wǎng)絡(luò)安全攻擊與防御技術(shù)概述
在汽車電動化、網(wǎng)聯(lián)化、智能化和共享化等新四化的發(fā)展趨勢下,智能網(wǎng)聯(lián)汽車(Intelligent Co....

鑒源論壇 · 觀模丨淺談隨機(jī)測試
隨機(jī)測試是一種使用隨機(jī)、相互獨(dú)立的程序輸入來對計算機(jī)程序進(jìn)行測試的黑盒軟件測試(在完全忽略程序內(nèi)部實....

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

車載ECU嵌入式設(shè)備的診斷測試 - 會話和安全控制
本篇將會對UDS中最常用的服務(wù)進(jìn)行詳細(xì)介紹,首先對會話控制請求服務(wù)$10和安全接入請求服務(wù)$27進(jìn)行....

民用飛機(jī)機(jī)載軟件是如何表明適航符合性的
機(jī)載計算機(jī)在現(xiàn)代飛機(jī)各組成部分中占有舉足輕重的位置,是現(xiàn)代航空電子系統(tǒng)的基礎(chǔ)和核心,其研制、生產(chǎn)和應(yīng)....

淺談民用飛機(jī)機(jī)載系統(tǒng)的安全性
民航飛機(jī)的安全通過以下四種關(guān)鍵措施得以保證:一)嚴(yán)密的功能定義;二)精確的架構(gòu)設(shè)計;三)嚴(yán)格的過程控....

軌道交通信號基礎(chǔ)設(shè)備概述
本文將從信號基礎(chǔ)設(shè)備方面進(jìn)一步展開講述,具體分為以下幾個部分:1.信號機(jī)(指引列車前進(jìn)停止的信號);....
