形式化工程方法，是以軟件形式化方法理論為基礎(chǔ)，以系統(tǒng)化的工程方法引導(dǎo)工業(yè)界工程人員構(gòu)建高質(zhì)量的軟件模....

隨著車輛藍牙技術(shù)的發(fā)展和應(yīng)用越來越廣泛，車輛藍牙安全問題也在不斷引起關(guān)注。未來，隨著人工智能和物聯(lián)網(wǎng)....

模型檢查已被應(yīng)用于各種系統(tǒng)，包括硬件電路、通信協(xié)議、操作系統(tǒng)和軟件程序。它已被用于在部署之前檢測系統(tǒng)....

傳統(tǒng)的自動駕駛測試方法包括在實際道路上進行封閉場地和公共道路測試，但這些方法都存在很大的安全風(fēng)險和高....

工具鑒定正是DO-178C第十二章第二節(jié)所描述的內(nèi)容。為了區(qū)別工具鑒定與機載軟件的適航要求，RTCA....

本篇我們開始介紹與車載TBOX相關(guān)的性能測試如何開展，區(qū)別與傳統(tǒng)互聯(lián)網(wǎng)產(chǎn)品的性能測試，ECU的軟件性....

本文將分析和解釋民用飛機機載軟件體系下的語境和對過程的基本要求出發(fā)點。

近年來，汽車的網(wǎng)絡(luò)安全問題逐漸被重視，在汽車產(chǎn)品的全生命周期中，需要進行網(wǎng)絡(luò)安全風(fēng)險管理，其主要活動....

隨著城市軌道交通網(wǎng)的逐步擴大，信號系統(tǒng)在保證行車安全前提下，于提高運輸效率、以及改善和行車有關(guān)的技術(shù)....

操作系統(tǒng)內(nèi)核是軟件系統(tǒng)的核心，操作系統(tǒng)內(nèi)核可靠性直接影響著整個軟件系統(tǒng)的運行。然而操作系統(tǒng)的驗證仍面....

當下汽車工業(yè)正在經(jīng)歷過去幾十年未曾經(jīng)歷的快速變更，伴隨著電動化、智能化、網(wǎng)聯(lián)化等趨勢，未來汽車必將實....

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

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

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

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

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

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

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

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

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

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

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

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

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

從本章節(jié)開始我們聚焦到具體的ECU測試上來（以車載TBOX為例），因為相比車輛其他電子零部件，車機系....

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

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

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

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

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