邢亮
- 作品数：14 被引量：13H指数：2
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术文化科学电子电信更多>>
- 机载设备软件需求获取过程研究
- 2008年
- DO-178B机载设备软件的开发指南,规定了软件生存周期中各个过程的目标以及完成目标的活动和证据;但是DO-178B标准中没有给出软件需求获取的具体过程。针对机载设备软件AE653/Cert的认证过程进行研究,诠释需求获取过程中的建模方法和原则,给出需求获取过程的具体描述及其变更控制和配置管理。最后通过分析验证软件需求获取过程生成的需求和工作产品可以符合DO-178B的目标,为机载软件开发过程的需求获取提供了参考依据。
- 刘建军邢亮叶宏
- 关键词：配置管理
- 机载适航标准DO-331与DO-178C对比分析研究
- 从标准内容、软件生命周期数据和软件过程目标方面对DO-331和DO-178C进行了对比分析。按照计划过程、开发过程、验证过程、配置管理过程、质量保证过程和合格审定联络过程分类,列举了每个过程新增的或变更的考虑内容并做出详...
- 路帅邢亮张雨泉
- 文献传递
- 综合模块化航电平台软件配置项划分方法研究
- 2020年
- 软件配置项划分是软件工程研制活动的基础。针对综合模块化航空电子系统平台架构,介绍了3种软件配置项划分模型,论述了模型的划分原则、过程、优缺点及适用项目,提出了基于利益相关方模型认可度评估统计及线性量化的模型选择方法,确保了模型选择的客观性和科学性,缩短了IMA平台软件研制周期,提高了研制效率。
- 张坤旭邢亮戴小氐
- 分区操作系统VxworksAE653下TFTP的设计与实现
- 随着综合化航电的深入发展,分区操作系统下文件传输服务已成为新的应用需求。本文从Vxworks AE653操作系统的体系架构出发,结合简单文件传输协议(Trivial File Transfer Protocol,TFTP...
- 邢亮路帅
- 关键词：分区操作系统
- 文献传递
- 机载适航标准DO-178B/C软件计划过程研究被引量：2
- 2017年
- 介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准软件生命周期过程的研究,从活动、子过程转段及顺序、生命周期环境、其它因素、开发标准、计划满足DO-178B/C要求以及计划的开发与修正等7个方面对软件计划过程进行了研究,并对关注点进行了分析,最后展望了DO-178B/C标准的未来研究方向。
- 邢亮牟明戴小氐
- 面向DO-178C软件测试过程的目标符合性论证模式被引量：1
- 2017年
- 安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述,提出了一个基于GSN的目标论证模式描述框架,分别从解决问题、解决方案、应用方法和产生效果4个方面对目标论证模式进行描述;同时使用一种扩展的安全案例模式描述方式,用以描述面向标准的目标符合性论证模式.在此基础上,提出了3种面向DO-178C软件测试过程的目标符合性论证模式,分别是代码-需求符合性论证模式、需求测试覆盖率论证模式、结构测试覆盖率论证模式,并提出基于这些模式建立针对特定项目的目标符合性论证结构的实例化方法,为建立面向DO-178C软件测试过程的目标符合性论证结构提供了有效指导.通过一个机载嵌入式实时操作系统的案例,说明了提出的目标符合性论证模式的可用性和有效性.
- 杨阳吴际苑春春刘超杨海燕邢亮
- 关键词：适航认证GSN
- 基于PROMELA模型的安全关键软件形式化验证技术
- 2022年
- 聚焦安全关键软件,研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型,验证属性相关函数到PROMELA模型的2类映射规则;根据映射规则提出由C程序自动生成PROMELA形式模型的算法,并对算法进行理论分析;针对C程序中5种故障类型,分别给出基于PROMELA模型的形式化验证方法,并分析验证的范围;覆盖各类故障的验证范围,为每类故障类型选取12个C程序案例进行实证研究,实验结果证明了方法的有效性。
- 邢亮丁成钧杜虎鹏马春燕
- 关键词：C程序软件故障形式化验证
- 基于航电通信网络中简单文件传输协议的实现被引量：4
- 2008年
- 简单文件传输协议(TFTP)应用到航电网络中,可以根据网络需要在各节点之间进行数据传输。这极大地提高了整个网络的工作效率,降低了网络中各节点的存储负荷。从航电网络通信系统的层次结构出发,结合终端的工作原理,论述了在终端提供的接口上简单文件传输协议的实现方法。
- 邢亮谢克嘉张晓红徐晓光
- 关键词：终端TFTP
- Socket通信在分区操作系统下的应用设计被引量：2
- 2011年
- 随着航空电子系统综合化的发展,Socket通信在在分区操作系统下的应用已成为航电系统新的应用需求。介绍了分区操作系统Socket通信的体系结构以及设计过程。论述了端口应用层、虚端口管理层和Socket管理层的工作原理以及Socket数据在分区操作系统下的处理过程。所开发的系统运行平稳。
- 邢亮赵熠
- 关键词：分区操作系统SOCKET
- 基于类游标效应的高灵敏度传感系统设计
- 2023年
- 基于类游标效应制备出一种高灵敏度的应变和温度同时测量的传感器。系统由两段保偏光纤熔接形成,在传统Sagnac干涉仪结构的基础上,将两段光纤的快轴熔接成一定角度嵌入,形成二阶Solc-Sagnac干涉仪,根据角度差异获得不同的透射光谱,测量应变和温度。通过对Solc-Sagnac干涉仪透射光谱的仿真分析,当两段光纤的熔接夹角呈90°时,由于两段光纤的长度相差很小,形成类游标效应,得到最大的自由光谱范围为80nm。应变的测量范围为0~1200με,最高灵敏度达到25.34pm/με。温度在20℃~40℃范围内取得最大灵敏度为-1.24nm/℃。应变和温度的改变导致波长的移动,通过监测透射谱中同一波谷因引起的偏移量,建立灵敏度矩阵,实现应变和温度双参量同时测量。
- 邢亮段宇博胡晓青
- 关键词：光纤通信高灵敏度
