在過去的幾十年中，CAN總線是最廣泛被應(yīng)用的車載網(wǎng)絡(luò)現(xiàn)場總線。但隨著汽車電子產(chǎn)品的功能逐漸豐富，以及....

作者 |劉艷青 上?？匕舶踩珳y評(píng)中心安全測評(píng)部測試經(jīng)理 版塊 |鑒源論壇 · 觀通 01聯(lián)鎖系統(tǒng)的硬....

整車所有電子零配件均工作在一定電源狀態(tài)下，沒有供電的話零部件將無法工作。關(guān)于零部件在何種狀態(tài)下應(yīng)對(duì)進(jìn)....

由于無法窮舉被測軟件完整的輸入空間，各種軟件動(dòng)態(tài)測試方法本質(zhì)上都是圍繞”如何構(gòu)造測試集合以使其展現(xiàn)的....

本系列文章從汽車電子架構(gòu)和網(wǎng)絡(luò)歷史開始，逐步往汽車電子零部件的嵌入式軟件，零部件的通用基礎(chǔ)功能各網(wǎng)絡(luò)....

從狹義的角度說，軟件測試是軟件開發(fā)中的一個(gè)流程，即通過把程序?qū)嶋H運(yùn)行起來并試圖找出其中可能存在的錯(cuò)誤....

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

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

目前機(jī)器學(xué)習(xí)是研究車輛網(wǎng)絡(luò)入侵檢測技術(shù)的熱門方向，通過引入機(jī)器學(xué)習(xí)算法來識(shí)別車載總線上的網(wǎng)絡(luò)報(bào)文，可....

本文將從軌交系統(tǒng)的安全性設(shè)計(jì)的必要性、控制設(shè)計(jì)、需求分析以及實(shí)現(xiàn)等方面進(jìn)行闡述。 1. 安全性....

本文針對(duì)AUTOSAR的TTCAN協(xié)議進(jìn)行研究，并用Timed CSP（Timed Communic....

本篇文章中，我們將對(duì)汽車網(wǎng)絡(luò)安全風(fēng)險(xiǎn)的應(yīng)對(duì)策略，特別是車載入侵檢測與防御系統(tǒng)展開詳細(xì)的介紹。

本文針對(duì)AUTOSAR的TTCAN協(xié)議進(jìn)行研究，并用Timed CSP（Timed Communic....

從本章節(jié)開始我們聚焦到具體的ECU測試上來（以車載TBOX為例），因?yàn)橄啾溶囕v其他電子零部件，車機(jī)系....

作為車載操作系統(tǒng)，實(shí)時(shí)性對(duì)于AUTOSAR OS的重要性不言而喻，如何保證操作系統(tǒng)中的計(jì)算單元在截止....

車輛在運(yùn)行的過程當(dāng)中，控制器會(huì)監(jiān)控狀態(tài)，特定故障發(fā)生時(shí)控制器會(huì)記錄這些故障。車輛送4S店進(jìn)行維修保養(yǎng)....

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

在汽車電動(dòng)化、網(wǎng)聯(lián)化、智能化和共享化等新四化的發(fā)展趨勢下，智能網(wǎng)聯(lián)汽車（Intelligent Co....

隨機(jī)測試是一種使用隨機(jī)、相互獨(dú)立的程序輸入來對(duì)計(jì)算機(jī)程序進(jìn)行測試的黑盒軟件測試（在完全忽略程序內(nèi)部實(shí)....

隨著汽車智能化、網(wǎng)聯(lián)化的高速發(fā)展，對(duì)于汽車通訊網(wǎng)絡(luò)的安全威脅越來越多，而CAN總線是目前汽車使用最廣....

形式化方法為軟件開發(fā)過程提供了一種較為透徹的思維方式，該方式可以用于工程化系統(tǒng)設(shè)計(jì)，并且可以很好地幫....

本篇講述UDS中的讀和寫服務(wù)，讀寫服務(wù)幾乎是工程師日常使用最為頻繁的服務(wù)，特別是讀服務(wù)。

本篇將會(huì)對(duì)UDS中最常用的服務(wù)進(jìn)行詳細(xì)介紹，首先對(duì)會(huì)話控制請(qǐng)求服務(wù)$10和安全接入請(qǐng)求服務(wù)$27進(jìn)行....

機(jī)載計(jì)算機(jī)在現(xiàn)代飛機(jī)各組成部分中占有舉足輕重的位置，是現(xiàn)代航空電子系統(tǒng)的基礎(chǔ)和核心，其研制、生產(chǎn)和應(yīng)....

民航飛機(jī)的安全通過以下四種關(guān)鍵措施得以保證：一）嚴(yán)密的功能定義；二）精確的架構(gòu)設(shè)計(jì)；三）嚴(yán)格的過程控....

本章節(jié)將從診斷服務(wù)測試展開細(xì)說測試相關(guān)知識(shí)，主要分享上層的相關(guān)應(yīng)用測試。

TARA是威脅分析與風(fēng)險(xiǎn)評(píng)估（Threat Analysis and Risk Assessment....

本文將從信號(hào)基礎(chǔ)設(shè)備方面進(jìn)一步展開講述，具體分為以下幾個(gè)部分：1.信號(hào)機(jī)（指引列車前進(jìn)停止的信號(hào)）；....

操作系統(tǒng)作為軟件系統(tǒng)的核心，其安全性與可靠性是構(gòu)造高可信軟件最為關(guān)鍵的一步。

本文主要描述了基于ST高性能高安全性PowerPC結(jié)合Autosar SecOC完成的硬件加密的安全....