當(dāng)談及安全測(cè)試時(shí)，邏輯漏洞挖掘一直是一個(gè)備受關(guān)注的話題，它與傳統(tǒng)的安全漏洞（如SQL注入、XSS、C....

隨著汽車行業(yè)對(duì)于數(shù)據(jù)通信的需求不斷增加，SOME/IP作為支持汽車以太網(wǎng)進(jìn)程和設(shè)備間通信的一種通信協(xié)....

文將聚焦于軌交領(lǐng)域，從領(lǐng)域?qū)Ｓ玫男枨笞珜懪c分析工具Prema入手，介紹形式化方法在工業(yè)中的實(shí)際應(yīng)用。

本文則選取典型的智能網(wǎng)聯(lián)汽車網(wǎng)絡(luò)安全攻擊實(shí)例展開詳細(xì)介紹。

本篇將展開討論降低民機(jī)機(jī)載操作系統(tǒng)適航風(fēng)險(xiǎn)的具體方法。

在越來(lái)越多的國(guó)產(chǎn)機(jī)載系統(tǒng)研制中，操作系統(tǒng)軟件的選擇對(duì)后續(xù)開展研制以及適航舉證活動(dòng)帶來(lái)很大的影響

VSOC需要處理龐大而復(fù)雜的數(shù)據(jù)，包括車輛狀態(tài)、傳感器數(shù)據(jù)、駕駛行為等，要能夠快速、準(zhǔn)確地處理這些數(shù)....

本文針對(duì)ISO 26262：2018國(guó)際標(biāo)準(zhǔn)的第六部分到第十二部分做簡(jiǎn)要的介紹

本文將從軌交軟件的測(cè)試技術(shù)入手進(jìn)行講解。

本篇將從軌交軟件生命周期入手，重點(diǎn)從軟件不同階段、不同類型闡述各階段的測(cè)試的重點(diǎn)。

公鑰基礎(chǔ)設(shè)施(PKI)在車聯(lián)網(wǎng)中的應(yīng)用為實(shí)現(xiàn)安全、可靠通信提供了關(guān)鍵的支持

引言：上一篇文章我們講了整車的OTA升級(jí)測(cè)試(詳解車載設(shè)備FOTA測(cè)試），本篇我們介紹在車載零配件上....

摘要：安全在汽車研發(fā)中是關(guān)鍵要素之一，輔助駕駛、車輛的動(dòng)態(tài)控制等功能的研發(fā)和集成都需要加強(qiáng)安全系統(tǒng)研....

引言：2023年5月初，工業(yè)和信息化部裝備工業(yè)一司組織全國(guó)汽車標(biāo)準(zhǔn)化技術(shù)委員會(huì)開展《汽車整車信息安全....

本篇將介紹車載設(shè)備FOTA專項(xiàng)測(cè)試中的整車FOTA升級(jí)過(guò)程、零部件交互、測(cè)試要點(diǎn)等。

面向界面的圖形化測(cè)試是一種常用的軟件測(cè)試方法，旨在驗(yàn)證用戶界面是否符合業(yè)務(wù)規(guī)范和用戶需求，以及驗(yàn)證應(yīng)....

本篇主要介紹TCP協(xié)議的概念、主要功能、主要特點(diǎn)、報(bào)文格式以及相應(yīng)的工作方式

符號(hào)執(zhí)行作為一個(gè)經(jīng)典的程序分析技術(shù)，在 21 世紀(jì)受到了研究者的廣泛重視，并為軟件測(cè)試提供了一個(gè)在白....

近年來(lái)，汽車網(wǎng)絡(luò)安全攻擊事件頻發(fā)，而汽車智能化和網(wǎng)聯(lián)化所帶來(lái)的安全隱患也與日俱增，研究人員除了考慮如....

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

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

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

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

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

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

本文將分析和解釋民用飛機(jī)機(jī)載軟件體系下的語(yǔ)境和對(duì)過(guò)程的基本要求出發(fā)點(diǎn)。

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

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

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

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