本文主要探讨了形式化方法在航空领域中的工业应用。
随着汽车行业对于数据通信的需求不断增加，SOME/IP作为支持汽车以太网进程和设备间通信的一种通信协议应运而生。
本文将聚焦于轨交领域，从领域专用的需求撰写与分析工具Prema入手，介绍形式化方法在工业中的实际应用。
汽车信息安全事件频发使得汽车行业安全态势愈发紧张。本文则选取典型的智能网联汽车网络安全攻击实例展开详细介绍。
本篇将展开讨论降低民机机载操作系统适航风险的具体方法。
在越来越多的国产机载系统研制中，操作系统软件的选择对后续开展研制以及适航举证活动带来很大的影响
VSOC需要处理庞大而复杂的数据，包括车辆状态、传感器数据、驾驶行为等，要能够快速、准确地处理这些数据，并提取有价值的信息
本文针对ISO 26262：2018国际标准的第六部分到第十二部分做简要的介绍
本文将从轨交软件的测试技术入手进行讲解
本篇将从轨交软件生命周期入手，重点从软件不同阶段、不同类型阐述各阶段的测试的重点
已完成
数据加载中
