汽車網(wǎng)絡(luò)安全需求分析方法綜述
近年來(lái)，汽車的網(wǎng)絡(luò)安全問(wèn)題逐漸被重視，在汽車產(chǎn)品的全生命周期中，需要進(jìn)行網(wǎng)絡(luò)安全風(fēng)險(xiǎn)管理，其主要活動(dòng)....
軌交信號(hào)系統(tǒng)基礎(chǔ)簡(jiǎn)介
隨著城市軌道交通網(wǎng)的逐步擴(kuò)大，信號(hào)系統(tǒng)在保證行車安全前提下，于提高運(yùn)輸效率、以及改善和行車有關(guān)的技術(shù)....
嵌入式實(shí)時(shí)操作系統(tǒng)的形式化驗(yàn)證
操作系統(tǒng)內(nèi)核是軟件系統(tǒng)的核心，操作系統(tǒng)內(nèi)核可靠性直接影響著整個(gè)軟件系統(tǒng)的運(yùn)行。然而操作系統(tǒng)的驗(yàn)證仍面....
汽車電子電氣架構(gòu)演進(jìn)和域控制器發(fā)展方向
當(dāng)下汽車工業(yè)正在經(jīng)歷過(guò)去幾十年未曾經(jīng)歷的快速變更，伴隨著電動(dòng)化、智能化、網(wǎng)聯(lián)化等趨勢(shì)，未來(lái)汽車必將實(shí)....
基于規(guī)則的車載網(wǎng)絡(luò)入侵檢測(cè)技術(shù)
在過(guò)去的幾十年中，CAN總線是最廣泛被應(yīng)用的車載網(wǎng)絡(luò)現(xiàn)場(chǎng)總線。但隨著汽車電子產(chǎn)品的功能逐漸豐富，以及....
聯(lián)鎖系統(tǒng)原理淺析
作者 |劉艷青 上?？匕舶踩珳y(cè)評(píng)中心安全測(cè)評(píng)部測(cè)試經(jīng)理 版塊 |鑒源論壇 · 觀通 01聯(lián)鎖系統(tǒng)的硬....
車載ECU嵌入式軟件的測(cè)試入門
整車所有電子零配件均工作在一定電源狀態(tài)下，沒(méi)有供電的話零部件將無(wú)法工作。關(guān)于零部件在何種狀態(tài)下應(yīng)對(duì)進(jìn)....
淺談測(cè)試的充分性問(wèn)題
由于無(wú)法窮舉被測(cè)軟件完整的輸入空間，各種軟件動(dòng)態(tài)測(cè)試方法本質(zhì)上都是圍繞”如何構(gòu)造測(cè)試集合以使其展現(xiàn)的....
汽車電子架構(gòu)和CAN網(wǎng)絡(luò)基礎(chǔ)
本系列文章從汽車電子架構(gòu)和網(wǎng)絡(luò)歷史開始，逐步往汽車電子零部件的嵌入式軟件，零部件的通用基礎(chǔ)功能各網(wǎng)絡(luò)....
一文淺談軟件測(cè)試
從狹義的角度說(shuō)，軟件測(cè)試是軟件開發(fā)中的一個(gè)流程，即通過(guò)把程序?qū)嶋H運(yùn)行起來(lái)并試圖找出其中可能存在的錯(cuò)誤....
汽車全生命周期網(wǎng)絡(luò)安全風(fēng)險(xiǎn)管理解析
本文將重點(diǎn)對(duì)ISO/SAE 21434標(biāo)準(zhǔn)中，汽車全生命周期網(wǎng)絡(luò)安全風(fēng)險(xiǎn)管理的各階段中活動(dòng)展開介紹，....
形式化方法基本原理初探
形式化方法是基于嚴(yán)格的數(shù)學(xué)基礎(chǔ)，通過(guò)采用數(shù)學(xué)邏輯證明來(lái)對(duì)計(jì)算機(jī)軟硬件系統(tǒng)進(jìn)行建模、規(guī)約、分析、推理和....
基于機(jī)器學(xué)習(xí)的汽車CAN總線異常檢測(cè)方法
目前機(jī)器學(xué)習(xí)是研究車輛網(wǎng)絡(luò)入侵檢測(cè)技術(shù)的熱門方向，通過(guò)引入機(jī)器學(xué)習(xí)算法來(lái)識(shí)別車載總線上的網(wǎng)絡(luò)報(bào)文，可....
軌交系統(tǒng)安全性設(shè)計(jì)
本文將從軌交系統(tǒng)的安全性設(shè)計(jì)的必要性、控制設(shè)計(jì)、需求分析以及實(shí)現(xiàn)等方面進(jìn)行闡述。
1. 安全性....
鑒源論壇 · 觀模丨基于AUTOSAR的TTCAN通信協(xié)議的形式化建模與分析
本文針對(duì)AUTOSAR的TTCAN協(xié)議進(jìn)行研究，并用Timed CSP（Timed Communic....
車載入侵檢測(cè)與防御系統(tǒng)介紹
本篇文章中，我們將對(duì)汽車網(wǎng)絡(luò)安全風(fēng)險(xiǎn)的應(yīng)對(duì)策略，特別是車載入侵檢測(cè)與防御系統(tǒng)展開詳細(xì)的介紹。
基于AUTOSAR的TTCAN通信協(xié)議的形式化建模與分析
本文針對(duì)AUTOSAR的TTCAN協(xié)議進(jìn)行研究，并用Timed CSP（Timed Communic....
車載TBOX嵌入式設(shè)備軟件的功能測(cè)試
從本章節(jié)開始我們聚焦到具體的ECU測(cè)試上來(lái)（以車載TBOX為例），因?yàn)橄啾溶囕v其他電子零部件，車機(jī)系....
AUTOSAR調(diào)度表可調(diào)度性的形式化分析
作為車載操作系統(tǒng)，實(shí)時(shí)性對(duì)于AUTOSAR OS的重要性不言而喻，如何保證操作系統(tǒng)中的計(jì)算單元在截止....
車載ECU嵌入式設(shè)備的診斷測(cè)試–DTC
車輛在運(yùn)行的過(guò)程當(dāng)中，控制器會(huì)監(jiān)控狀態(tài)，特定故障發(fā)生時(shí)控制器會(huì)記錄這些故障。車輛送4S店進(jìn)行維修保養(yǎng)....
鑒源論壇 · 觀模丨基于搜索的測(cè)試生成
基于搜索的測(cè)試生成將測(cè)試生成問(wèn)題建模為最優(yōu)化問(wèn)題，其核心思想是針對(duì)期望達(dá)到的測(cè)試目標(biāo)，以相關(guān)目標(biāo)(成....
智能網(wǎng)聯(lián)汽車網(wǎng)絡(luò)安全攻擊與防御技術(shù)概述
在汽車電動(dòng)化、網(wǎng)聯(lián)化、智能化和共享化等新四化的發(fā)展趨勢(shì)下，智能網(wǎng)聯(lián)汽車（Intelligent Co....
鑒源論壇 · 觀模丨淺談隨機(jī)測(cè)試
隨機(jī)測(cè)試是一種使用隨機(jī)、相互獨(dú)立的程序輸入來(lái)對(duì)計(jì)算機(jī)程序進(jìn)行測(cè)試的黑盒軟件測(cè)試（在完全忽略程序內(nèi)部實(shí)....
汽車CAN總線滲透測(cè)試
隨著汽車智能化、網(wǎng)聯(lián)化的高速發(fā)展，對(duì)于汽車通訊網(wǎng)絡(luò)的安全威脅越來(lái)越多，而CAN總線是目前汽車使用最廣....
鑒源論壇 · 觀模丨形式化驗(yàn)證——以操作系統(tǒng)任務(wù)調(diào)度算法驗(yàn)證為案例
形式化方法為軟件開發(fā)過(guò)程提供了一種較為透徹的思維方式，該方式可以用于工程化系統(tǒng)設(shè)計(jì)，并且可以很好地幫....
車載ECU嵌入式設(shè)備的診斷測(cè)試 - 會(huì)話和安全控制
本篇將會(huì)對(duì)UDS中最常用的服務(wù)進(jìn)行詳細(xì)介紹，首先對(duì)會(huì)話控制請(qǐng)求服務(wù)$10和安全接入請(qǐng)求服務(wù)$27進(jìn)行....
民用飛機(jī)機(jī)載軟件是如何表明適航符合性的
機(jī)載計(jì)算機(jī)在現(xiàn)代飛機(jī)各組成部分中占有舉足輕重的位置，是現(xiàn)代航空電子系統(tǒng)的基礎(chǔ)和核心，其研制、生產(chǎn)和應(yīng)....
淺談民用飛機(jī)機(jī)載系統(tǒng)的安全性
民航飛機(jī)的安全通過(guò)以下四種關(guān)鍵措施得以保證：一）嚴(yán)密的功能定義；二）精確的架構(gòu)設(shè)計(jì)；三）嚴(yán)格的過(guò)程控....
車載ECU嵌入式設(shè)備的診斷測(cè)試 - 服務(wù)
本章節(jié)將從診斷服務(wù)測(cè)試展開細(xì)說(shuō)測(cè)試相關(guān)知識(shí)，主要分享上層的相關(guān)應(yīng)用測(cè)試。
工商網(wǎng)監(jiān)