王辉
- 作品数：23 被引量：26H指数：3
- 供职机构：中国航空无线电电子研究所更多>>
- 发文基金：国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 一种面向领域自然语言需求的形式化需求模型生成方法研究被引量：1
- 2021年
- 构造一个满足完整性、一致性且组织良好的需求制品是提高安全关键软件质量的重要方法.本文工作面向机载软件领域,设计一种从自然语言描述的条目化需求到形式化需求模型生成的方法;工作包括:分析航电领域的需求描述特征,从该领域的自然语言描述的条目化需求入手,定义一套面向领域的自然语言需求模板,综合考虑所采用的形式化需求模型(VRM:Variable Relation Model)元素的语义,形成基于此模板的需求规范方法;然后给出从规范化后的需求条目集到VRM形式化模型的自动构造方法.最后选取了发动机指示和机组警告系统(EICAS:Engine Indicating and Crew Alerting System)进行实例需求建模及模型生成.
- 胡建成胡军汪文轩康介祥康介祥王辉
- 关键词：安全关键软件VRM
- 一种应用软件中业务数据的建模方法
- 本发明公开了一种应用软件中业务数据的建模方法，对应用软件的业务数据进行提炼、抽象获得业务数据的概念数据模型；通过对需求的分析，在不同的测量系下对概念数据模型元素进行测量量化，将概念数据模型精化为逻辑数据模型；通过将逻辑数...
- 崔杰王辉王震洪沛
- 文献传递
- 面向航电软件的Safety_SysML一致性验证器设计与实现
- 2023年
- 民用飞机航空电子系统的高度综合化导致机载安全关键软件规模的成倍增加,带来航电系统软件需求的来源众多且不一致,航电系统软件各层次需求传递存在二义性等问题,因此,如何确保航电软件的一致性成为系统研发过程中亟待解决的核心问题之一。基于Safety_SysML状态机的语法,设计Safety_SysML一致性验证器,包括静态数据检测和动态数据检测;通过设计测试用例对核心算法及系统进行单元测试与集成测试,结合错误推断及边界,设计并执行功能测试,用于发现验证器存在的缺陷。结果表明:Safety_SysML一致性验证器能够有效识别航电系统软件中存在的二义性问题,对于提高航电软件的可靠性具有重要意义。
- 尹伟王辉孙海英丁郭欢康介祥刘静
- 一种云虚拟集成开发环境的部署与管理系统
- 本发明公开了一种云虚拟集成开发环境部署与管理系统，根据用户选择的项目空间需求参数从组织级私有镜像库获取相应的集成开发环境镜像文件，通过容器编排软件在容器上部署运行，产生项目空间；通过服务反向代理与分发技术发布项目空间的唯...
- 周磊王干苗倩缪万胜王念伟李虎刘程伟卜芳惠王震王辉
- 座舱显示系统规范符合性自动化测试技术研究与实现
- 王辉倪红英王彬丁毅马慧芳张冬梅沈良霞周弘斌肖前远朱丽蘋丛君霞黄芙平张岚秦曙春陈琳
- 该技术应用于飞机座舱显示系统ARINC 661规范符合性软件测试过程中，技术复杂、难度大，技术水平国际先进，具有自主知识产权，获授权专利一项(ZL201110303769.7)，受理专利一项(CN201410022618...
- 关键词：
- 关键词：自动化测试飞机座舱
- 一个机载软件需求形式化建模与分析实例研究被引量：2
- 2022年
- 现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析,包括:ART工具平台所采用的变量关系(VRM)理论模型、平台架构和平台工具链,基于多范式的需求一致性、完整性形式化分析方法,EICAS系统的条目化初始自然语言需求的形式化建模和需求模型的自动化分析过程,如:需求条目的预处理、规范化处理、需求模型自动生成以及多范式分析等;给出了工程需求实例研究的经验总结和思考.
- 胡军吕佳润王立松王立松王辉康介祥
- 关键词：形式化方法
- 军用与民用机载软件开发标准和流程的对比研究被引量：1
- 2017年
- 军用机载软件开发标准主要是GJB 2786A《军用软件开发通用要求》,民用机载软件开发标准主要是DO-178B/C《机载系统和设备合格审定中的软件考虑》。针对这两份标准进行了对比研究和差异分析,对于完善军用软件研发标准体系和流程有一定意义。
- 王辉张铁军
- 关键词：GJB软件开发
- 基于JACK的机载航电产品虚拟维修仿真及人机工效评估被引量：3
- 2021年
- 随着科学技术的发展,机载航电产品越来越复杂,维护保障难度不断增加,其维修性设计与分析日益重要。提出了一套基于JACK软件的维修性仿真分析流程和方法,并针对设计未定型阶段维修性预计难的问题,提出了一套MTTR预计方法。结合具体产品维修性工作的开展,对建立的流程和方法进行了工程应用。实践结果表明,建立的流程和评价方法是适用的、合理的、可行的。
- 王辉潘超彭原
- ARINC661服务器软件自动化测试的研究与实现被引量：1
- 2014年
- 针对ARINC 661服务器软件测试的规模庞大、维护困难等问题,结合ARINC 661服务器软件标准部件库特点,本文提出了一种自动化测试方法,研究了自动化测试的关键技术,并完成了自动化测试工具的开发。实际测试结果表明,自动化测试方法以及自动化测试工具可以显著提高软件的测试水平,减少测试的成本。
- 马慧芳王辉丁毅
- 关键词：ARINC自动化测试测试工具
- 符合ARINC661规范的DF文件生成技术的研究与应用被引量：2
- 2014年
- ARINC661规范定义了飞机座舱显示系统和用户应用之间的接口。它彻底解除了显示系统逻辑处理和图形显示的耦合关系,具有很好的灵活性、开放性和实用性,已逐步发展成为飞机座舱显示系统的行业标准。本文提出了一种符合ARINC661规范的DF文件的生成技术,并基于该技术完成了DF文件生成工具的开发。
- 丁毅王辉马慧芳
