国产精品久久久aaaa,日日干夜夜操天天插,亚洲乱熟女香蕉一区二区三区少妇,99精品国产高清一区二区三区,国产成人精品一区二区色戒,久久久国产精品成人免费,亚洲精品毛片久久久久,99久久婷婷国产综合精品电影,国产一区二区三区任你鲁

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

上海控安

文章:136 被閱讀:33.1w 粉絲數:9 關注數:0 點贊數:22

為工業安全賦能

廣告

自動駕駛仿真平臺

傳統的自動駕駛測試方法包括在實際道路上進行封閉場地和公共道路測試,但這些方法都存在很大的安全風險和高....
的頭像 上海控安 發表于 02-24 13:45 ?2631次閱讀
自動駕駛仿真平臺

民機機載軟件中的開發和驗證工具

工具鑒定正是DO-178C第十二章第二節所描述的內容。為了區別工具鑒定與機載軟件的適航要求,RTCA....
的頭像 上海控安 發表于 02-24 13:34 ?2330次閱讀

車載TBOX嵌入式設備軟件的性能測試

本篇我們開始介紹與車載TBOX相關的性能測試如何開展,區別與傳統互聯網產品的性能測試,ECU的軟件性....
的頭像 上海控安 發表于 02-10 10:47 ?1929次閱讀

民機機載軟件的開發與驗證

本文將分析和解釋民用飛機機載軟件體系下的語境和對過程的基本要求出發點。
的頭像 上海控安 發表于 02-10 10:34 ?3223次閱讀

汽車網絡安全需求分析方法綜述

近年來,汽車的網絡安全問題逐漸被重視,在汽車產品的全生命周期中,需要進行網絡安全風險管理,其主要活動....
的頭像 上海控安 發表于 02-01 15:45 ?3175次閱讀

軌交信號系統基礎簡介

隨著城市軌道交通網的逐步擴大,信號系統在保證行車安全前提下,于提高運輸效率、以及改善和行車有關的技術....
的頭像 上海控安 發表于 02-01 15:21 ?2367次閱讀
軌交信號系統基礎簡介

嵌入式實時操作系統的形式化驗證

操作系統內核是軟件系統的核心,操作系統內核可靠性直接影響著整個軟件系統的運行。然而操作系統的驗證仍面....
的頭像 上海控安 發表于 02-01 15:14 ?2829次閱讀

汽車電子電氣架構演進和域控制器發展方向

當下汽車工業正在經歷過去幾十年未曾經歷的快速變更,伴隨著電動化、智能化、網聯化等趨勢,未來汽車必將實....
的頭像 上海控安 發表于 02-01 15:07 ?2589次閱讀
汽車電子電氣架構演進和域控制器發展方向

基于規則的車載網絡入侵檢測技術

在過去的幾十年中,CAN總線是最廣泛被應用的車載網絡現場總線。但隨著汽車電子產品的功能逐漸豐富,以及....
的頭像 上海控安 發表于 02-01 11:07 ?1360次閱讀

聯鎖系統原理淺析

作者 |劉艷青 上海控安安全測評中心安全測評部測試經理 版塊 |鑒源論壇 · 觀通 01聯鎖系統的硬....
的頭像 上海控安 發表于 02-01 10:46 ?8668次閱讀

車載ECU嵌入式軟件的測試入門

整車所有電子零配件均工作在一定電源狀態下,沒有供電的話零部件將無法工作。關于零部件在何種狀態下應對進....
的頭像 上海控安 發表于 01-30 17:54 ?1730次閱讀
車載ECU嵌入式軟件的測試入門

淺談測試的充分性問題

由于無法窮舉被測軟件完整的輸入空間,各種軟件動態測試方法本質上都是圍繞”如何構造測試集合以使其展現的....
的頭像 上海控安 發表于 01-30 17:47 ?2532次閱讀
淺談測試的充分性問題

汽車電子架構和CAN網絡基礎

本系列文章從汽車電子架構和網絡歷史開始,逐步往汽車電子零部件的嵌入式軟件,零部件的通用基礎功能各網絡....
的頭像 上海控安 發表于 01-30 17:23 ?1792次閱讀
汽車電子架構和CAN網絡基礎

一文淺談軟件測試

從狹義的角度說,軟件測試是軟件開發中的一個流程,即通過把程序實際運行起來并試圖找出其中可能存在的錯誤....
的頭像 上海控安 發表于 01-30 17:07 ?1518次閱讀
一文淺談軟件測試

汽車全生命周期網絡安全風險管理解析

本文將重點對ISO/SAE 21434標準中,汽車全生命周期網絡安全風險管理的各階段中活動展開介紹,....
的頭像 上海控安 發表于 01-30 16:58 ?2003次閱讀
汽車全生命周期網絡安全風險管理解析

形式化方法基本原理初探

形式化方法是基于嚴格的數學基礎,通過采用數學邏輯證明來對計算機軟硬件系統進行建模、規約、分析、推理和....
的頭像 上海控安 發表于 01-30 16:42 ?2388次閱讀
形式化方法基本原理初探

基于機器學習的汽車CAN總線異常檢測方法

目前機器學習是研究車輛網絡入侵檢測技術的熱門方向,通過引入機器學習算法來識別車載總線上的網絡報文,可....
的頭像 上海控安 發表于 01-17 10:49 ?2621次閱讀

軌交系統安全性設計

本文將從軌交系統的安全性設計的必要性、控制設計、需求分析以及實現等方面進行闡述。 1. 安全性....
的頭像 上海控安 發表于 01-16 16:55 ?1615次閱讀
軌交系統安全性設計

鑒源論壇 · 觀模丨基于AUTOSAR的TTCAN通信協議的形式化建模與分析

本文針對AUTOSAR的TTCAN協議進行研究,并用Timed CSP(Timed Communic....
的頭像 上海控安 發表于 01-04 16:12 ?1824次閱讀
鑒源論壇 · 觀模丨基于AUTOSAR的TTCAN通信協議的形式化建模與分析

車載入侵檢測與防御系統介紹

本篇文章中,我們將對汽車網絡安全風險的應對策略,特別是車載入侵檢測與防御系統展開詳細的介紹。
的頭像 上海控安 發表于 12-30 13:46 ?5172次閱讀
車載入侵檢測與防御系統介紹

基于AUTOSAR的TTCAN通信協議的形式化建模與分析

本文針對AUTOSAR的TTCAN協議進行研究,并用Timed CSP(Timed Communic....
的頭像 上海控安 發表于 12-30 13:23 ?3011次閱讀
基于AUTOSAR的TTCAN通信協議的形式化建模與分析

車載TBOX嵌入式設備軟件的功能測試

從本章節開始我們聚焦到具體的ECU測試上來(以車載TBOX為例),因為相比車輛其他電子零部件,車機系....
的頭像 上海控安 發表于 12-16 14:14 ?2283次閱讀
車載TBOX嵌入式設備軟件的功能測試

AUTOSAR調度表可調度性的形式化分析

作為車載操作系統,實時性對于AUTOSAR OS的重要性不言而喻,如何保證操作系統中的計算單元在截止....
的頭像 上海控安 發表于 12-16 14:01 ?2246次閱讀
AUTOSAR調度表可調度性的形式化分析

車載ECU嵌入式設備的診斷測試–DTC

車輛在運行的過程當中,控制器會監控狀態,特定故障發生時控制器會記錄這些故障。車輛送4S店進行維修保養....
的頭像 上海控安 發表于 12-02 17:20 ?2498次閱讀
車載ECU嵌入式設備的診斷測試–DTC

鑒源論壇 · 觀模丨基于搜索的測試生成

基于搜索的測試生成將測試生成問題建模為最優化問題,其核心思想是針對期望達到的測試目標,以相關目標(成....
的頭像 上海控安 發表于 12-02 16:25 ?1742次閱讀
鑒源論壇 · 觀模丨基于搜索的測試生成

智能網聯汽車網絡安全攻擊與防御技術概述

在汽車電動化、網聯化、智能化和共享化等新四化的發展趨勢下,智能網聯汽車(Intelligent Co....
的頭像 上海控安 發表于 11-18 11:37 ?2327次閱讀
智能網聯汽車網絡安全攻擊與防御技術概述

鑒源論壇 · 觀模丨淺談隨機測試

隨機測試是一種使用隨機、相互獨立的程序輸入來對計算機程序進行測試的黑盒軟件測試(在完全忽略程序內部實....
的頭像 上海控安 發表于 11-18 10:14 ?2423次閱讀
鑒源論壇 · 觀模丨淺談隨機測試

汽車CAN總線滲透測試

隨著汽車智能化、網聯化的高速發展,對于汽車通訊網絡的安全威脅越來越多,而CAN總線是目前汽車使用最廣....
的頭像 上海控安 發表于 11-09 13:53 ?3071次閱讀
汽車CAN總線滲透測試

鑒源論壇 · 觀模丨形式化驗證——以操作系統任務調度算法驗證為案例

形式化方法為軟件開發過程提供了一種較為透徹的思維方式,該方式可以用于工程化系統設計,并且可以很好地幫....
的頭像 上海控安 發表于 11-09 11:25 ?1995次閱讀
鑒源論壇 · 觀模丨形式化驗證——以操作系統任務調度算法驗證為案例

車載ECU嵌入式設備的診斷測試–讀和寫

本篇講述UDS中的讀和寫服務,讀寫服務幾乎是工程師日常使用最為頻繁的服務,特別是讀服務。
的頭像 上海控安 發表于 10-28 15:43 ?1687次閱讀
車載ECU嵌入式設備的診斷測試–讀和寫