中国航空科学基金(2007ZD53043)
- 作品数:6 被引量:11H指数:3
- 相关作者:杜承烈周宝孙欣鑫李刚宋翠叶更多>>
- 相关机构:西北工业大学中国电子科技集团第二十二研究所更多>>
- 发文基金:中国航空科学基金国防科技技术预先研究基金国防基础科研计划更多>>
- 相关领域:自动化与计算机技术航空宇航科学技术更多>>
- 基于AADL的软件开发技术研究被引量:3
- 2009年
- 形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此基础上,对现有的AADL相关工具进行了综述比较,总结出该框架的技术现状,并指出了AADL相关工具开发与应用的趋势。
- 宋翠叶杜承烈李刚
- 关键词:软件开发过程瀑布模型工具集
- 机载惯导系统的EDF算法优化研究
- 2008年
- 文章针对机载惯导系统软件的通信模块中出现多任务同时争夺处理机的过载情况,提出一种改进的最早截止时间优先算法(DPEDF),以最大化完成任务的静态优先级之和为目标,引入动态规划的方法建立调度模型,计算近似最优调度序列,实现了导致过载发生的各个任务优先级的动态划分。通过示例展示了如何化解过载,保证实时系统正常运行。
- 周宝颜军孙凤娟
- 关键词:动态规划静态优先级
- FMEA与粗糙集相结合的故障预测方法被引量:3
- 2010年
- 基于FMEA和粗糙集决策系统基本理论,对飞机中分系统故障预测问题进行了研究。首先定义故障预测所需的征兆并对系统进行FMEA,按照FMEA分析结果分次向系统模型注入引起特定故障的事件,采集含有故障趋势的系统模型的信息用于构建适用于故障预测的粗糙集决策表,对该表进行了处理,最终发现用于故障预测的知识(即决策规则和算法);最后运用所发现的知识进行故障预测。
- 孙欣鑫杜承烈
- 关键词:故障预测粗糙集决策表
- 基于AADL的可重配置的DRE软件模型研究被引量:1
- 2008年
- DRE系统广泛应用于现实中,它具有分布、实时、嵌入的特点,通常情况下,这类系统上各种资源是有限的,而系统面对的环境却是复杂多变的,面向使命的计算,要求系统能够根据使命重配置系统软硬资源来完成不同的任务,目前,此项技术已成功运用到国外最新的战机,极大提高系统性能;与此同时,体系结构描述设计描述语言AADL日趋完善,它能够很好地描述系统软硬件体系结构,基于此,提出了一种基于AADL可配置的DRE软件系统模型,探讨了可重配置机制,并由此提出了这类系统软件模型,并使用AADL给予描述;通过使用AADL描述为设计这类软件提供了有益的新思路。
- 谭峰杜承烈
- 关键词:资源有限AADL
- 一种内嵌软件传感器的双软总线体系结构研究被引量:3
- 2008年
- 航空软件的逻辑结构和系统规模日趋庞大,软件可靠性保障已成为新一代航空电子综合化领域的研究热点;针对实时软件的状态监控与故障诊断问题,提出了一种基于构件技术的双软总线风格体系结构,采用面向对象方法予以建模,构建该体系结构的静态框架和动态行为,并探讨了软件传感器采集监控对象实时状态的详细设计;以某惯导系统软件为例,对双总线体系结构进行扩展和应用,实例说明了该体系结构有助于使可靠性保障软件的框架定义更加清晰,易于实现。
- 周宝杜承烈
- 关键词:软件传感器软件体系结构
- 支持集成与扩展的构件接口模型研究被引量:1
- 2010年
- 接口是构件与外界交互的唯一场所,接口的设计直接涉及到构件集成与扩展的难易程度。提出了一个面向软件体系结构的具有性能约束的构件接口模型,该接口模型遵守构件的封装性,允许客户了解构件的拓扑结构等信息,支持构件在接口处的集成与扩展;同时还增加了性能描述和性能保障机制,以实现对构件的性能控制。该模型在某国防基础科研项目的研究中得到了应用,达到了比较好的效果。
- 王琼杜承烈
- 关键词:软件体系结构接口