配置管理（Configuration Management）在航空領域經常又稱為構型管理，是現代復雜....
![的頭像]()
上海控安 發表于 12-01 16:15
?1761次閱讀
本篇將深入討論單元測試過程中，如何在保質保量完成測試任務的同時，縮減時間成本、提高測試效率，并分享目....
![的頭像]()
上海控安 發表于 11-17 15:18
?1296次閱讀
對于現今的自動駕駛汽車來說，由于傳感器的增加和感知網絡等軟件的存在，使得自動駕駛汽車在信息安全上相較....
![的頭像]()
上海控安 發表于 11-03 15:00
?1280次閱讀
本文著重探討單元測試的重要性及其正面臨的困境，并介紹功能安全標準中羅列的單元測試方法。
![的頭像]()
上海控安 發表于 11-03 14:58
?1732次閱讀
隨著汽車行業逐步走向電氣化、智能化，車載系統的軟件和硬件復雜度不斷上升。如何確保這些復雜系統中的數據....
![的頭像]()
上海控安 發表于 10-27 15:32
?4562次閱讀
機載軟件適航標準對軟件研制過程、生命周期數據以及符合性證據等都提出了明確的要求。然而，這些過程要求都....
![的頭像]()
上海控安 發表于 10-27 15:30
?1422次閱讀
在現代汽車行業中，隨著電子控制單元（ECUs）的普及以及車與車之間通信的不斷增加，確保通信安全變得尤....
![的頭像]()
上海控安 發表于 10-09 16:37
?2863次閱讀
本文將深入剖析單元測試、模糊測試等當前主流的自動化API測試形式與技術。
![的頭像]()
上海控安 發表于 09-20 17:16
?1692次閱讀
當談及安全測試時，邏輯漏洞挖掘一直是一個備受關注的話題，它與傳統的安全漏洞（如SQL注入、XSS、C....
![的頭像]()
上海控安 發表于 09-20 17:14
?1482次閱讀
隨著汽車行業對于數據通信的需求不斷增加，SOME/IP作為支持汽車以太網進程和設備間通信的一種通信協....
![的頭像]()
上海控安 發表于 08-08 15:25
?1757次閱讀
文將聚焦于軌交領域，從領域專用的需求撰寫與分析工具Prema入手，介紹形式化方法在工業中的實際應用。
![的頭像]()
上海控安 發表于 08-08 15:20
?1431次閱讀
本文則選取典型的智能網聯汽車網絡安全攻擊實例展開詳細介紹。
![的頭像]()
上海控安 發表于 08-08 15:17
?2777次閱讀
本篇將展開討論降低民機機載操作系統適航風險的具體方法。
![的頭像]()
上海控安 發表于 08-08 15:11
?1563次閱讀
在越來越多的國產機載系統研制中，操作系統軟件的選擇對后續開展研制以及適航舉證活動帶來很大的影響
![的頭像]()
上海控安 發表于 08-08 15:09
?1612次閱讀
VSOC需要處理龐大而復雜的數據，包括車輛狀態、傳感器數據、駕駛行為等，要能夠快速、準確地處理這些數....
![的頭像]()
上海控安 發表于 08-08 15:03
?1458次閱讀
本文針對ISO 26262：2018國際標準的第六部分到第十二部分做簡要的介紹
![的頭像]()
上海控安 發表于 08-08 15:00
?2134次閱讀
本文將從軌交軟件的測試技術入手進行講解。
![的頭像]()
上海控安 發表于 08-08 14:56
?1125次閱讀
本篇將從軌交軟件生命周期入手，重點從軟件不同階段、不同類型闡述各階段的測試的重點。
![的頭像]()
上海控安 發表于 08-08 14:50
?1809次閱讀
公鑰基礎設施(PKI)在車聯網中的應用為實現安全、可靠通信提供了關鍵的支持
![的頭像]()
上海控安 發表于 08-08 14:47
?3866次閱讀
引言：上一篇文章我們講了整車的OTA升級測試(詳解車載設備FOTA測試），本篇我們介紹在車載零配件上....
![的頭像]()
上海控安 發表于 06-20 17:00
?2185次閱讀
摘要：安全在汽車研發中是關鍵要素之一，輔助駕駛、車輛的動態控制等功能的研發和集成都需要加強安全系統研....
![的頭像]()
上海控安 發表于 06-20 16:59
?1477次閱讀
引言：2023年5月初，工業和信息化部裝備工業一司組織全國汽車標準化技術委員會開展《汽車整車信息安全....
![的頭像]()
上海控安 發表于 06-20 16:58
?4961次閱讀
本篇將介紹車載設備FOTA專項測試中的整車FOTA升級過程、零部件交互、測試要點等。
![的頭像]()
上海控安 發表于 04-21 11:09
?2103次閱讀
面向界面的圖形化測試是一種常用的軟件測試方法，旨在驗證用戶界面是否符合業務規范和用戶需求，以及驗證應....
![的頭像]()
上海控安 發表于 04-21 11:03
?1581次閱讀
本篇主要介紹TCP協議的概念、主要功能、主要特點、報文格式以及相應的工作方式
![的頭像]()
上海控安 發表于 04-07 11:40
?1716次閱讀
符號執行作為一個經典的程序分析技術，在 21 世紀受到了研究者的廣泛重視，并為軟件測試提供了一個在白....
![的頭像]()
上海控安 發表于 04-07 11:36
?1560次閱讀
近年來，汽車網絡安全攻擊事件頻發，而汽車智能化和網聯化所帶來的安全隱患也與日俱增，研究人員除了考慮如....
![的頭像]()
上海控安 發表于 03-24 11:36
?3345次閱讀
形式化工程方法，是以軟件形式化方法理論為基礎，以系統化的工程方法引導工業界工程人員構建高質量的軟件模....
![的頭像]()
上海控安 發表于 03-24 11:01
?2647次閱讀
隨著車輛藍牙技術的發展和應用越來越廣泛，車輛藍牙安全問題也在不斷引起關注。未來，隨著人工智能和物聯網....
![的頭像]()
上海控安 發表于 03-10 10:26
?2183次閱讀
模型檢查已被應用于各種系統，包括硬件電路、通信協議、操作系統和軟件程序。它已被用于在部署之前檢測系統....
![的頭像]()
上海控安 發表于 03-10 09:49
?1865次閱讀
工商網監
湘ICP備2023036445號-105-1
SOME/IP協議安全攻擊