自動(dòng)駕駛仿真平臺(tái)
傳統(tǒng)的自動(dòng)駕駛測(cè)試方法包括在實(shí)際道路上進(jìn)行封閉場(chǎng)地和公共道路測(cè)試，但這些方法都存在很大的安全風(fēng)險(xiǎn)和高....
民機(jī)機(jī)載軟件中的開發(fā)和驗(yàn)證工具
工具鑒定正是DO-178C第十二章第二節(jié)所描述的內(nèi)容。為了區(qū)別工具鑒定與機(jī)載軟件的適航要求，RTCA....
車載TBOX嵌入式設(shè)備軟件的性能測(cè)試
本篇我們開始介紹與車載TBOX相關(guān)的性能測(cè)試如何開展，區(qū)別與傳統(tǒng)互聯(lián)網(wǎng)產(chǎn)品的性能測(cè)試，ECU的軟件性....
民機(jī)機(jī)載軟件的開發(fā)與驗(yàn)證
本文將分析和解釋民用飛機(jī)機(jī)載軟件體系下的語境和對(duì)過程的基本要求出發(fā)點(diǎn)。
汽車網(wǎng)絡(luò)安全需求分析方法綜述
近年來，汽車的網(wǎng)絡(luò)安全問題逐漸被重視，在汽車產(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)歷過去幾十年未曾經(jīng)歷的快速變更，伴隨著電動(dòng)化、智能化、網(wǎng)聯(lián)化等趨勢(shì)，未來汽車必將實(shí)....
基于規(guī)則的車載網(wǎng)絡(luò)入侵檢測(cè)技術(shù)
在過去的幾十年中，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)下，沒有供電的話零部件將無法工作。關(guān)于零部件在何種狀態(tài)下應(yīng)對(duì)進(jìn)....
淺談測(cè)試的充分性問題
由于無法窮舉被測(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ò)....
汽車全生命周期網(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ǔ)，通過采用數(shù)學(xué)邏輯證明來對(duì)計(jì)算機(jī)軟硬件系統(tǒng)進(jìn)行建模、規(guī)約、分析、推理和....
基于機(jī)器學(xué)習(xí)的汽車CAN總線異常檢測(cè)方法
目前機(jī)器學(xué)習(xí)是研究車輛網(wǎng)絡(luò)入侵檢測(cè)技術(shù)的熱門方向，通過引入機(jī)器學(xué)習(xí)算法來識(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è)試上來（以車載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)行的過程當(dāng)中，控制器會(huì)監(jiān)控狀態(tài)，特定故障發(fā)生時(shí)控制器會(huì)記錄這些故障。車輛送4S店進(jìn)行維修保養(yǎng)....
鑒源論壇 · 觀模丨基于搜索的測(cè)試生成
基于搜索的測(cè)試生成將測(cè)試生成問題建模為最優(yōu)化問題，其核心思想是針對(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ú)立的程序輸入來對(duì)計(jì)算機(jī)程序進(jìn)行測(cè)試的黑盒軟件測(cè)試（在完全忽略程序內(nèi)部實(shí)....
汽車CAN總線滲透測(cè)試
隨著汽車智能化、網(wǎng)聯(lián)化的高速發(fā)展，對(duì)于汽車通訊網(wǎng)絡(luò)的安全威脅越來越多，而CAN總線是目前汽車使用最廣....
鑒源論壇 · 觀模丨形式化驗(yàn)證——以操作系統(tǒng)任務(wù)調(diào)度算法驗(yàn)證為案例
形式化方法為軟件開發(fā)過程提供了一種較為透徹的思維方式，該方式可以用于工程化系統(tǒng)設(shè)計(jì)，并且可以很好地幫....
工商網(wǎng)監(jiān)