屈华敏
- 作品数：2 被引量：3H指数：1
- 供职机构：中航工业西安飞行自动控制研究所更多>>
- 发文基金：中国航空科学基金西北工业大学基础研究基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于领域构件的余度管理软件平台研究与实现被引量：1
- 2015年
- 采用基于面向特征领域分析方法对余度管理进行领域分析与建模的技术,构建了余度管理软件需求与设计构件库,并建立构件库管理分类检索机制,实现了一种余度管理软件共性构件快速配置和组装方法,搭建了具备跨平台验证和开发能力的层次化余度管理软件通用开发平台.实践证明,该软件开发平台可以有效提高余度管理软件的可靠性,并显著缩短软件开发周期.
- 刘海亮屈华敏武方方姚龙辉
- 关键词：飞控系统余度管理
- 一种基于AADL错误模型的软件安全性分析技术研究被引量：2
- 2014年
- 针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。
- 成静朱怡安屈华敏罗文波江叶春张涛
- 关键词：马尔科夫链
