本文将从信号基础设备方面进一步展开讲述，具体分为以下几个部分：1.信号机（指引列车前进停止的信号）；2.道岔转辙转换设备（变化股道或方向）；3.检查区段占用、空闲的设备（轨道电路、计轴设备）；4. 继...
TARA是威胁分析与风险评估（Threat Analysis and Risk Assessment）的缩写,其在ISO/SAE 21434中被认为是网络安全分析的核心方法。
本系列文章从轨交信号系统基础简介开始，逐步向信号基础设备细化，梳理轨交安全系统的框架，到联锁系统功能解析等深入，从粗到细，从框架再到具体，逐步展开。
本文主要介绍了汽车及相关领域内，用于实施网络安全需求分析的方法及技术，以展示该领域内的技术概况。
本文主要描述了基于ST高性能高安全性PowerPC结合Autosar SecOC完成的硬件加密的安全总线通信实现。
以µC/OS-II为研究对象，提出了一个通用的自动化验证框架。
操作系统内核作为软件系统的核心，确保操作系统内核的安全性与可靠性是构造高可信软件最为关键的一步。采用形式化方法（Formal Methods）是实现操作系统安全可靠的途径之一。
当下汽车工业正在经历过去几十年未曾经历的快速变更，伴随着电动化、智能化、网联化等趋势，未来汽车必将实现高度自动驾驶，汽车电子和软件正在深刻地影响着出行领域。
上一章节我们讲了汽车电子架构和网络历史。本章节我们将先给大家讲述汽车测试的基础小知识，然后描述CAN网络数据帧的相关基础知识。
由于无法穷举被测软件完整的输入空间，各种软件动态测试方法本质上都是围绕”如何构造测试集合以使其展现的部分行为能够高效有效地反映软件的整体行为“而展开。判断测试集合在软件上的表现是否能够充分反映该软件的...
已完成
数据加载中
