以µC/OS-II为研究对象，提出了一个通用的自动化验证框架。
操作系统内核作为软件系统的核心，确保操作系统内核的安全性与可靠性是构造高可信软件最为关键的一步。采用形式化方法（Formal Methods）是实现操作系统安全可靠的途径之一。
当下汽车工业正在经历过去几十年未曾经历的快速变更，伴随着电动化、智能化、网联化等趋势，未来汽车必将实现高度自动驾驶，汽车电子和软件正在深刻地影响着出行领域。
上一章节我们讲了汽车电子架构和网络历史。本章节我们将先给大家讲述汽车测试的基础小知识，然后描述CAN网络数据帧的相关基础知识。
由于无法穷举被测软件完整的输入空间，各种软件动态测试方法本质上都是围绕”如何构造测试集合以使其展现的部分行为能够高效有效地反映软件的整体行为“而展开。判断测试集合在软件上的表现是否能够充分反映该软件的...
本系列文章从汽车电子架构和网络历史开始，逐步往汽车电子零部件的嵌入式软件，零部件的通用基础功能各网络诊断服务等方面内容，从粗到细、由宽泛到具体，逐步展开。
从狭义的角度说，软件测试是软件开发中的一个流程，即通过把程序实际运行起来并试图找出其中可能存在的错误。
说到汽车网络安全工程，就一定会关联到一份标准，即《ISO/SAE 21434：2021 - 道路车辆网络安全工程》（Road Vehicles - Cybersecurity Engineering）...
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。
当前在汽车领域，关于安全，我们时常可以听到这几个词：功能安全，预期功能安全，信息安全，网络安全等。那这些概念到底是什么意思？他们之间的区别又是什么呢？
已完成
数据加载中
