康介祥
- 作品数：28 被引量：46H指数：5
- 供职机构：中国航空无线电电子研究所更多>>
- 发文基金：国家重点基础研究发展计划武器装备预研基金中国航空科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 面向航电软件的Safety_SysML一致性验证器设计与实现
- 2023年
- 民用飞机航空电子系统的高度综合化导致机载安全关键软件规模的成倍增加,带来航电系统软件需求的来源众多且不一致,航电系统软件各层次需求传递存在二义性等问题,因此,如何确保航电软件的一致性成为系统研发过程中亟待解决的核心问题之一。基于Safety_SysML状态机的语法,设计Safety_SysML一致性验证器,包括静态数据检测和动态数据检测;通过设计测试用例对核心算法及系统进行单元测试与集成测试,结合错误推断及边界,设计并执行功能测试,用于发现验证器存在的缺陷。结果表明:Safety_SysML一致性验证器能够有效识别航电系统软件中存在的二义性问题,对于提高航电软件的可靠性具有重要意义。
- 尹伟王辉孙海英丁郭欢康介祥刘静
- 一种面向领域自然语言需求的形式化需求模型生成方法研究被引量：1
- 2021年
- 构造一个满足完整性、一致性且组织良好的需求制品是提高安全关键软件质量的重要方法.本文工作面向机载软件领域,设计一种从自然语言描述的条目化需求到形式化需求模型生成的方法;工作包括:分析航电领域的需求描述特征,从该领域的自然语言描述的条目化需求入手,定义一套面向领域的自然语言需求模板,综合考虑所采用的形式化需求模型(VRM:Variable Relation Model)元素的语义,形成基于此模板的需求规范方法;然后给出从规范化后的需求条目集到VRM形式化模型的自动构造方法.最后选取了发动机指示和机组警告系统(EICAS:Engine Indicating and Crew Alerting System)进行实例需求建模及模型生成.
- 胡建成胡军汪文轩康介祥康介祥王辉
- 关键词：安全关键软件VRM
- 面向民用飞机的复杂航电系统软件研制与管理方法被引量：2
- 2023年
- 现如今,民用飞机航电系统的功能日趋完备、结构日趋复杂、费用日趋昂贵、研制周期日趋紧张,亟需解决软件研制过程中的需求不准确、架构设计过于耦合、过程产物难以追踪等问题。基于对数字化研制、流程研制、持续集成、云开发环境等先进技术与方法的研究,提出面向复杂民用飞机航电系统软件研制问题的解决方法,即构建基于模型的需求开发方法、开放式航电软件架构、民用飞机软件研制过程体系,搭建基于Linked Data的集成开发环境和软件持续集成与验证环境,在航电系统软件研制过程中进行应用。结果表明:本文提出的面向民用飞机的复杂航电系统软件研制与管理方法是可行的,且该方法已在C919民用飞机显示系统研制过程中进行了应用,提升了软件研制效率和质量。
- 尹伟韩光辉肖前远缪万胜康介祥
- 关键词：软件架构
- 基于堆栈回溯的异常处理被引量：7
- 2014年
- 针对异常发生时无法及时有效利用异常发生的上下文信息的问题,在堆栈回溯获得上下文信息的基础上,提出一种能够记录异常信息便于线下分析,同时能够基于预设规则库支持线上对系统应用进行重构的异常处理方法。对PowerPC构架下的堆栈结构进行研究并设计基于堆栈回溯的函数溯源算法;对系统工作状态进行分析抽象,采用有限状态机建立系统异常处理时的状态迁移模型,阐述异常处理的设计实现过程。实验结果表明,该方法能够有效实现对异常的线上线下处理,提升了改进系统应用缺陷的效率,增强了系统应用的容错性和健壮性。
- 朱剑锋缪万胜康介祥
- 关键词：异常处理上下文有限状态自动机规则库
- 一种用于航电核心系统的容错管理系统其及容错管理方法
- 本发明公开了一种用于航电核心系统的容错管理系统，包含系统容错管理软件、重构配置库生成验证系统，通过对航电核心系统资源和可能发生故障的预先分析，通过事先配置确定故障的处理策略，在系统运行时根据系统资源和故障的实际情况动态的...
- 程春姬康介祥洪沛崔杰朱剑锋盛春玲饶俊文
- 文献传递
- 一个机载软件需求形式化建模与分析实例研究被引量：2
- 2022年
- 现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析,包括:ART工具平台所采用的变量关系(VRM)理论模型、平台架构和平台工具链,基于多范式的需求一致性、完整性形式化分析方法,EICAS系统的条目化初始自然语言需求的形式化建模和需求模型的自动化分析过程,如:需求条目的预处理、规范化处理、需求模型自动生成以及多范式分析等;给出了工程需求实例研究的经验总结和思考.
- 胡军吕佳润王立松王立松王辉康介祥
- 关键词：形式化方法
- VxWorks 653应用性能监控与分析工具
- 2021年
- 介绍了VxWorks 653应用性能监控与分析工具的整体架构和各功能模块的设计与实现方法,其中重点阐述了目标机端时间资源监控、空间资源监控、系统事件监控、数据通信监控的实现方法。该工具能够在航电应用软件集成验证阶段提供应用运行过程中资源使用情况监控和性能分析评估,可以大幅提高航电软件的开发和集成效率。
- 盛春玲景文君康介祥
- 一种面向形式化表格需求模型的测试用例生成方法被引量：6
- 2021年
- 现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法。文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义分析,建立需求模型的控制树结构,得到其测试等价类;为了减少不必要的测试,定义了不同安全级别的软件需求模型的测试覆盖标准,并针对不同覆盖率准则分别给出基于控制树结构的测试路径约束选择方法;对于每条路径约束测试等价类,提出了基于域错误的测试用例选择方法,能够自动生成所需的检测域错误的测试用例集。最后,通过一个需求模型实例展示了所提方法的有效性。
- 汪文轩胡军胡建成康介祥康介祥王辉
- 关键词：测试用例生成
- 通用座舱显示管理系统及相应的显示控制系统的开发方法
- 本发明公开了一种通用座舱显示管理系统，系统包括运行以下程序模块的计算机通用计算模块：文件转换模块、定义文件解析模块、运行时命令处理模块、交互事件管理模块、图符管理模块、内置图符库模块、扩展图符库模块、系统配置信息管理模块...
- 缪万胜康介祥高忠杰
- 支持多图源多比例尺的地理要素配图系统
- 本发明公开了一种支持多图源多比例尺的地理要素配图系统，包含：源数据批量导入模块，将用户在指定数据包下导入的一个以上的地图源数据转换成统一的数据包、图块、图层、要素的数据结构后显示每个数据包中各个图块的源数据详细图层列表和...
- 潘倩兮胡志雄李鹏飞丰伟魏金标康介祥
