形式化建模将形式化方法应用于建模过程中，它以无歧义的形式化规格说明语言为基础，使用精确定义的形式语言进行系统功能的描述，利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型，从而完成...
机载计算机在现代飞机各组成部分中占有举足轻重的位置，是现代航空电子系统的基础和核心，其研制、生产和应用水平已成为衡量飞机先进性的重要标志。
本篇将会对UDS中最常用的服务进行详细介绍，首先对会话控制请求服务$10和安全接入请求服务$27进行介绍。
民航飞机的安全通过以下四种关键措施得以保证：一）严密的功能定义；二）精确的架构设计；三）严格的过程控制；四）严苛的验证。
本章节将从诊断服务测试展开细说测试相关知识，主要分享上层的相关应用测试。
本文将从信号基础设备方面进一步展开讲述，具体分为以下几个部分：1.信号机（指引列车前进停止的信号）；2.道岔转辙转换设备（变化股道或方向）；3.检查区段占用、空闲的设备（轨道电路、计轴设备）；4. 继...
TARA是威胁分析与风险评估（Threat Analysis and Risk Assessment）的缩写,其在ISO/SAE 21434中被认为是网络安全分析的核心方法。
本系列文章从轨交信号系统基础简介开始，逐步向信号基础设备细化，梳理轨交安全系统的框架，到联锁系统功能解析等深入，从粗到细，从框架再到具体，逐步展开。
本文主要介绍了汽车及相关领域内，用于实施网络安全需求分析的方法及技术，以展示该领域内的技术概况。
本文主要描述了基于ST高性能高安全性PowerPC结合Autosar SecOC完成的硬件加密的安全总线通信实现。
已完成
数据加载中
