史岩
- 作品数：16 被引量：44H指数：4
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术理学更多>>
- 一种基于B方法的需求描述转化为AADL模型的研究
- 2023年
- 目前,航空、航天等领域对系统的可靠性有着极高的要求,业界也在研究和探讨通过构建系统的体系结构模型保证后续验证、开发等阶段的一致性,从而提升系统的可靠性。首先需要确保构建的系统模型满足系统的原始需求,只有这样,才能保证后续基于模型的开发、验证等输出的系统产品与原始需求保持一致性。文章提出了一种以形式化B方法对系统需求进行形式化描述,通过构建B方法与AADL模型的转换规则,从而输出系统的AADL模型,从而支持基于AADL模型直接生成对应测试用例对系统开展验证、开发等工作。
- 王日磊陈奎史岩
- 关键词：B方法AADL
- 高速1553B总线有效性测试平台设计与实现被引量：9
- 2017年
- 由于具备较强的鲁棒性、确定性及抗干扰能力,1553B总线被广泛应用于航空、航天、兵器等军工领域,但其1 Mb/s的总线带宽限制了其应用范围,高速1553B总线在保持原有通信协议、线缆、耦合器等基础技术或设备不变的条件下,仅通过更换1553B模块即可实现带宽的成倍增长,提高了1553B总线的应用范围及生命力。搭建高速1553B总线有效性测试平台,该平台能够实现误码率、噪声抑制、通信协议等内容的自动化测试,并形成测试报告,通过该平台验证了国产化高速1553B模块完全符合设计要求,为高速1553B总线的工程化应用提供了保证。
- 范祥辉赵刚王世奎史岩杨寒
- 关键词：总线控制器信息交互
- 一种1553B总线多功能接口模块设计与实现被引量：3
- 2017年
- 为了解决一个1553B总线终端设备同时实现多个1553B功能的需求,基于HOLT6130协议芯片设计开发了一种多功能接口模块,支持1个BC、1个BM、2个RT同时或任意组合使用,大大降低了软硬件设计的难度,减少了模块尺寸,进而降低了系统设计复杂度。
- 范祥辉杨寒史岩安宏勇
- 机载无线传感器网络技术研究被引量：2
- 2016年
- 探讨无线传感器网络技术在智能飞行器中应用的可能性,在分析当前机载无线传感器网络技术研究成果基础之上,分析了机载无线传感器网络的需求及任务,并给出了一种可能的机载无线传感器网络体系架构,最后对机载无线传感器网络的关键技术进行了描述,为下一步国内开展机载无线传感器网络应用模式研究、原型系统研制及关键技术突破奠定基础。
- 范祥辉史岩杨寒
- 关键词：感知节点
- 民用飞机无线航空电子内部通信网络技术综述被引量：3
- 2021年
- 民用飞机内部航空电子通信技术由无线通信部分替代有线通信,可进一步降低飞机自重,增强飞机安全性,提升民用飞机运营经济性,将成为下一代民用飞机发展的重要技术。目前,该技术尚处于研究起步阶段,为了促进该技术的发展,本文在研究国内外相关文献的基础上,对当前的研究进行概括和总结,明确民用飞机无线航空电子内部通信(WAIC)网络的定义,概括了WAIC网络在国内外的研究现状,分析了WAIC网络的特点,介绍了WAIC网络架构、时间同步、网络管理及网络安全等关键技术,提出了基于软件无线电平台技术开展4.2~4.4 GHz无线通信节点硬件设计的技术路径,为后续研究奠定基础。
- 范祥辉陈长胜史岩杨建茜
- 关键词：民用飞机航空电子
- 一种1553B数据加卸载系统设计与实现
- 2018年
- 在航空、航天、兵器、舰船等领域,1553B数据总线应用广泛,但没有统一的设备升级维护方法。传统方式使用专用设备对每个总线设备进行升级维护,但该方式操作不方便且容易引入操作错误。本文提出一种1553B总线的数据加卸载协议,规定一种轻量级的数据加卸载,用于完成1553B总线下的数据上传和下载,实现配置文件、应用软件的在线加载、更新与数据文件的下载。上传和下载操作以文件为单位进行传输,传输文件以Block为单位进行校验、应答和重传,保证传输正确性和传输效率。支持一次加卸载多个数据文件,从而增强系统可维护性,提高系统维护效率,降低维护成本。最后,基于仿真卡和嵌入式环境下的远程终端(RT)设备,采用软件形式化开发方法,实现1553B总线加卸载软件。
- 魏雪菲史岩薛威
- 关键词：BLOCK
- 基于HKS1553B芯片的总线接口模块设计与验证被引量：5
- 2018年
- 为满足机载系统对1553B总线小型化、功耗低、重量轻、核心器件国产化的需求,设计并实现了基于HKS1553BCRT芯片的1553B总线接口模块,搭建了模块级和网络级的测试验证环境,测试验证结果表明该模块完全符合1553B总线协议,满足机载系统对1553B数据通信的需求,已在多个项目中得到成功应用,表现出了良好的可靠性和适应性,具有较高的推广应用价值用。
- 魏雪菲史岩范祥辉
- 关键词：PXI
- 一种支持航空安全关键系统的时间触发总线设计
- 统要求的分布式时间触发总线。首先介绍了该总线的特点和运行机制，并且和传统的事件驱动总线进行了对比，然后提出了总线的设计架构，特别是关键的时间触发调度。研究表明该总线方案适合在安全关键的航空系统中使用。
- 朱佳史岩王建宇王红春
- 关键词：可靠性实时性分布式系统时间触发
- 基于1553B总线确定性的多总线研究被引量：2
- 2021年
- 通过对MIL-STD-1553总线研究,分析出其带宽使用逐步受限的缺点,无法满足新一代航空业务的要求。在总线架构方案介绍、指标分析、性能对比基础上研究基于MIL-STD-1553架构的STANAG 3910和增强的位速率1553两种总线,其在继承MIL-STD-1553总线传输确定性、稳定性、广泛使用优势的基础上,扩展了总线带宽、节点个数等,且每一种总线具有多种架构方案可供选择,可满足不同的使用场景,易于理解、便于使用,满足了未来航空业务大数据量传输的要求,对下一代机载总线发展具有一定的指导意义。
- 安宏勇杨建茜史岩武坚
- 一种支持航空安全关键系统的时间触发总线设计
- 本文提出了一种满足航空安全关键系统要求的分布式时间触发总线。首先介绍了该总线的特点和运行机制,并且和传统的事件驱动总线进行了对比,然后提出了总线的设计架构,特别是关键的时间触发调度。研究表明该总线方案适合在安全关键的航空...
- 朱佳史岩王建宇王红春
- 关键词：可靠性实时性分布式系统时间触发
- 文献传递
