检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:张军才[1] 刘绚[1] 李碧涵 ZHANG Jun-cai;LIU Xuan;LI Bi-han(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710000,China)
机构地区:[1]航空工业西安航空计算技术研究所,陕西西安710000
出 处:《航空计算技术》2023年第1期131-134,共4页Aeronautical Computing Technique
基 金:工信部民机专项项目资助(MJ-2016-S-42)。
摘 要:随着机载电子系统验证工作的重要性逐渐提升,系统供应商迫切需要建设相应的验证能力。验证能力可以从验证体系、验证条件和验证技术三方面进行建设。对验证过程、验证方法、验证职责和验证效果进行分析,提出验证体系的建设思路;对验证使能设备总体清单、实现路径和验证平台设计进行分析,提出验证条件的建设思路;对设计仿真技术、自动化测试技术和健壮性测试技术进行分析,提出验证技术的研发思路。Verification of airborne electronic system is becoming more important than ever,so it′s quite urgent to construct corresponding verification capability,which can be planed from three aspects:verification architecture,verification condition,and verification technique.Firstly,verification process,method,responsibility and effect are analyzed to produce verification architecture proposal.Secondly,verification enabling equipment general list,implementation approach and platform design are analyzed to produce the verification condition proposal.Lastly,design simulation,automatic test and robustness test technique are analyzed to produce verification technique development proposal.
分 类 号:TP302.1[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.7