说到汽车网络安全工程，就一定会关联到一份标准，即《ISO/SAE 21434：2021 - 道路车辆网络安全工程》（Road Vehicles - Cybersecurity Engineering）...
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。
当前在汽车领域，关于安全，我们时常可以听到这几个词：功能安全，预期功能安全，信息安全，网络安全等。那这些概念到底是什么意思？他们之间的区别又是什么呢？
形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。以DO-333适航标准为代表的工业标准，亦对软件开发过程明确提出了采用形式化方法的要求。
已完成
数据加载中
