一种针对嵌入式系统的安全性分析方法

嵌入式系统广泛应用于安全关键的工业领域，但目前嵌入式系统的安全性缺乏整体性的分析。为此，提出了一种较为全面且融合了失效概率及失效路径的嵌入式系统的故障演化链分析方法。对系统采用层次分析法，借鉴失效模式和影响分析的方法，构建出故障的演化关系链条，即故障演化链。利用故障演化链可以对系统中可能包含的故障、故障产生的原因、故障带来的危害等级及故障的传播路径进行分析。在2个嵌入式软件系统上进行实验，结果显示：基于故障演化链方法比故障影响分析、功能危害性分析和故障树分析更全面，故障演化链的方法能较好地对嵌入式系统进行安全性分析。     

网络化飞机试飞测试系统

现代飞机的系统越来越复杂，对安全性、经济性的要求也越来越高，使试飞的要求也大大提高，因此更高效灵活的网络化测试系统是未来的发展趋势。     

高轨卫星锂离子蓄电池组自主管理系统设计

针对高轨卫星锂离子蓄电池组在轨管理问题,文章在分析锂离子蓄电池组特性及在轨使用需求的基础上,提出了锂离子蓄电池组自主管理系统的设计,并在某高轨卫星上进行了验证。根据在轨数据,从工作模式转换、充放电管理、均衡管理、搁置管理等方面对管理系统的验证情况进行总结。提出的自主管理系统可为后续高轨卫星锂离子蓄电池组自主管理系统的设计提供参考。     

一种月表采样器合理铲挖深度的研究

铲挖深度是月表采样器的重要技术指标,合理的铲挖深度需既能降低采样器安全风险又可确保一定的采样效率。设计了一种斜插式铲挖方法的月表采样器,针对其构型与铲挖方法,在Reece模型的基础上,通过离散元法推导了月表采样器铲挖阻力矩的表达式。参考历次阿波罗飞船(Apollo)月壤样本数据,在实验室环境下构筑了与月壤物理特性相匹配的模拟月壤,并测得模拟月壤的物理特性参数。然后,根据所测得模拟月壤的物理特性参数,利用所推导的铲挖阻力矩表达式,对月表采样器典型输出力矩下的铲挖深度进行了仿真分析与试验验证,仿真分析结果与试验结果吻合。根据试验结果与月表采样器设计参数确定了合理的铲挖深度,可为月表采样器在月面采样时提供参考。     

污染度测试采样容器的验证方法

为了在保证污染度测试准确性、认证符合性的同时降低生产成本,参照污染度测试现行标准,提出了一次性低成本采样容器的验证方法,并以某型医用聚酯塑料瓶为对象进行了验证试验,旨在为以产品质量控制为目的的污染度测试提供经验借鉴。     

F119验证全寿命周期能力

<正> 近日,普惠公司的F119发动机完成了8650个累计循环的试验,验证了具有满足全寿命周期需求的能力。编号为P730210的生产型F119发动机完成了加速任务试车(AMT),将15年的服役时间压缩成4年进行模拟试验评估,共运转了近1700小时。     

基于某型座椅系统安全带替换的动态试验验证方法研究

对动态座椅系统安全带替换的验证方法进行研究,提出解决方案,并据此进行工程验证,实践了安全带替换试验方法,分析了验证过程出现的问题并提出改进建议。     

EBAA：An efficient broadcast authentication scheme for ADS-B communication based on IBS-MR

Automatic dependent surveillance-broadcast （ADS-B） systems can broadcast satellitebased aircraft position, identification, etc., periodically, and are now on track to replace radar to become the backbone of next-generation air traffic management （ATM） systems. However, ADS-B systems suffer severe cyber-security problems due to the broadcast-type data link and the lack of designed-in security measures. Especially, since ADS-B messages are unauthenticated, it is easy to insert fake aircraft into a system via spoofing or insertion of false messages. Unfortu- nately, the authentication for ADS-B messages has not yet been well studied. In this paper, based on identity-based signature with message recovery （IBS-MR）, an efficient broadcast authentication scheme for ADS-B messages is proposed. The security analysis demonstrates that the scheme can achieve authenticity and integrity of ADS-B broadcast messages, as well as adaptive evolution of broadcasters＇ private keys. The performance evaluation shows that the scheme is computationally efficient for typical avionics devices with limited resources. Furthermore, the scheme achieves low communication overhead since broadcast messages can be recovered from signatures, and thus it is suitable for low-bandwidth ADS-B data link.