本系列文章从轨交信号系统基础简介开始，逐步向信号基础设备细化，梳理轨交安全系统的框架，到联锁系统功能解析等深入，从粗到细，从框架再到具体，逐步展开。
本文主要介绍了汽车及相关领域内，用于实施网络安全需求分析的方法及技术，以展示该领域内的技术概况。
本文主要描述了基于ST高性能高安全性PowerPC结合Autosar SecOC完成的硬件加密的安全总线通信实现。
以µC/OS-II为研究对象，提出了一个通用的自动化验证框架。
操作系统内核作为软件系统的核心，确保操作系统内核的安全性与可靠性是构造高可信软件最为关键的一步。采用形式化方法（Formal Methods）是实现操作系统安全可靠的途径之一。
当下汽车工业正在经历过去几十年未曾经历的快速变更，伴随着电动化、智能化、网联化等趋势，未来汽车必将实现高度自动驾驶，汽车电子和软件正在深刻地影响着出行领域。
上一章节我们讲了汽车电子架构和网络历史。本章节我们将先给大家讲述汽车测试的基础小知识，然后描述CAN网络数据帧的相关基础知识。
由于无法穷举被测软件完整的输入空间，各种软件动态测试方法本质上都是围绕”如何构造测试集合以使其展现的部分行为能够高效有效地反映软件的整体行为“而展开。判断测试集合在软件上的表现是否能够充分反映该软件的...
本系列文章从汽车电子架构和网络历史开始，逐步往汽车电子零部件的嵌入式软件，零部件的通用基础功能各网络诊断服务等方面内容，从粗到细、由宽泛到具体，逐步展开。
从狭义的角度说，软件测试是软件开发中的一个流程，即通过把程序实际运行起来并试图找出其中可能存在的错误。
已完成
数据加载中
