當談及安全測試時，邏輯漏洞挖掘一直是一個備受關注的話題，它與傳統的安全漏洞（如SQL注入、XSS、C....
![的頭像]()
上海控安 發表于 09-20 17:14
?1007次閱讀
隨著汽車行業對于數據通信的需求不斷增加，SOME/IP作為支持汽車以太網進程和設備間通信的一種通信協....
![的頭像]()
上海控安 發表于 08-08 15:25
?1182次閱讀
文將聚焦于軌交領域，從領域專用的需求撰寫與分析工具Prema入手，介紹形式化方法在工業中的實際應用。
![的頭像]()
上海控安 發表于 08-08 15:20
?990次閱讀
本文則選取典型的智能網聯汽車網絡安全攻擊實例展開詳細介紹。
![的頭像]()
上海控安 發表于 08-08 15:17
?2196次閱讀
本篇將展開討論降低民機機載操作系統適航風險的具體方法。
![的頭像]()
上海控安 發表于 08-08 15:11
?1132次閱讀
在越來越多的國產機載系統研制中，操作系統軟件的選擇對后續開展研制以及適航舉證活動帶來很大的影響
![的頭像]()
上海控安 發表于 08-08 15:09
?1211次閱讀
VSOC需要處理龐大而復雜的數據，包括車輛狀態、傳感器數據、駕駛行為等，要能夠快速、準確地處理這些數....
![的頭像]()
上海控安 發表于 08-08 15:03
?1119次閱讀
本文針對ISO 26262：2018國際標準的第六部分到第十二部分做簡要的介紹
![的頭像]()
上海控安 發表于 08-08 15:00
?1543次閱讀
本文將從軌交軟件的測試技術入手進行講解。
![的頭像]()
上海控安 發表于 08-08 14:56
?731次閱讀
本篇將從軌交軟件生命周期入手，重點從軟件不同階段、不同類型闡述各階段的測試的重點。
![的頭像]()
上海控安 發表于 08-08 14:50
?955次閱讀
公鑰基礎設施(PKI)在車聯網中的應用為實現安全、可靠通信提供了關鍵的支持
![的頭像]()
上海控安 發表于 08-08 14:47
?3265次閱讀
引言：上一篇文章我們講了整車的OTA升級測試(詳解車載設備FOTA測試），本篇我們介紹在車載零配件上....
![的頭像]()
上海控安 發表于 06-20 17:00
?1473次閱讀
摘要：安全在汽車研發中是關鍵要素之一，輔助駕駛、車輛的動態控制等功能的研發和集成都需要加強安全系統研....
![的頭像]()
上海控安 發表于 06-20 16:59
?1198次閱讀
引言：2023年5月初，工業和信息化部裝備工業一司組織全國汽車標準化技術委員會開展《汽車整車信息安全....
![的頭像]()
上海控安 發表于 06-20 16:58
?4124次閱讀
本篇將介紹車載設備FOTA專項測試中的整車FOTA升級過程、零部件交互、測試要點等。
![的頭像]()
上海控安 發表于 04-21 11:09
?1484次閱讀
面向界面的圖形化測試是一種常用的軟件測試方法，旨在驗證用戶界面是否符合業務規范和用戶需求，以及驗證應....
![的頭像]()
上海控安 發表于 04-21 11:03
?1187次閱讀
本篇主要介紹TCP協議的概念、主要功能、主要特點、報文格式以及相應的工作方式
![的頭像]()
上海控安 發表于 04-07 11:40
?1239次閱讀
符號執行作為一個經典的程序分析技術，在 21 世紀受到了研究者的廣泛重視，并為軟件測試提供了一個在白....
![的頭像]()
上海控安 發表于 04-07 11:36
?1156次閱讀
近年來，汽車網絡安全攻擊事件頻發，而汽車智能化和網聯化所帶來的安全隱患也與日俱增，研究人員除了考慮如....
![的頭像]()
上海控安 發表于 03-24 11:36
?2804次閱讀
形式化工程方法，是以軟件形式化方法理論為基礎，以系統化的工程方法引導工業界工程人員構建高質量的軟件模....
![的頭像]()
上海控安 發表于 03-24 11:01
?1938次閱讀
隨著車輛藍牙技術的發展和應用越來越廣泛，車輛藍牙安全問題也在不斷引起關注。未來，隨著人工智能和物聯網....
![的頭像]()
上海控安 發表于 03-10 10:26
?1544次閱讀
模型檢查已被應用于各種系統，包括硬件電路、通信協議、操作系統和軟件程序。它已被用于在部署之前檢測系統....
![的頭像]()
上海控安 發表于 03-10 09:49
?1111次閱讀
傳統的自動駕駛測試方法包括在實際道路上進行封閉場地和公共道路測試，但這些方法都存在很大的安全風險和高....
![的頭像]()
上海控安 發表于 02-24 13:45
?2154次閱讀
工具鑒定正是DO-178C第十二章第二節所描述的內容。為了區別工具鑒定與機載軟件的適航要求，RTCA....
![的頭像]()
上海控安 發表于 02-24 13:34
?1520次閱讀
本篇我們開始介紹與車載TBOX相關的性能測試如何開展，區別與傳統互聯網產品的性能測試，ECU的軟件性....
![的頭像]()
上海控安 發表于 02-10 10:47
?1559次閱讀
本文將分析和解釋民用飛機機載軟件體系下的語境和對過程的基本要求出發點。
![的頭像]()
上海控安 發表于 02-10 10:34
?2721次閱讀
近年來，汽車的網絡安全問題逐漸被重視，在汽車產品的全生命周期中，需要進行網絡安全風險管理，其主要活動....
![的頭像]()
上海控安 發表于 02-01 15:45
?2567次閱讀
隨著城市軌道交通網的逐步擴大，信號系統在保證行車安全前提下，于提高運輸效率、以及改善和行車有關的技術....
![的頭像]()
上海控安 發表于 02-01 15:21
?1720次閱讀
操作系統內核是軟件系統的核心，操作系統內核可靠性直接影響著整個軟件系統的運行。然而操作系統的驗證仍面....
![的頭像]()
上海控安 發表于 02-01 15:14
?2307次閱讀
當下汽車工業正在經歷過去幾十年未曾經歷的快速變更，伴隨著電動化、智能化、網聯化等趨勢，未來汽車必將實....
![的頭像]()
上海控安 發表于 02-01 15:07
?2328次閱讀
民機機載軟件中的開發和驗證工具
工商網監