国家高技术研究发展计划(2007AA010304)
- 作品数：19 被引量：91H指数：6
- 相关作者：董云卫桂盛霖李允罗蕾万永超更多>>
- 相关机构：电子科技大学西北工业大学北京科银京成技术有限公司更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- AADL模型的代码自动生成及集成技术被引量：6
- 2009年
- 体系结构分析设计语言(AADL)是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL模型自动转换为可执行C代码的有效性。
- 陶勇桂盛霖马亮尹立孟
- 关键词：嵌入式软件模型驱动体系结构代码自动生成
- 模型驱动的嵌入式仿真系统设计被引量：1
- 2010年
- 为解决嵌入式系统仿真应用需求多样性的问题并提高系统的开发效率,设计一种通用嵌入式仿真系统。该系统在Matlab/Simulink开发环境的基础上,采用模型驱动的方法设计仿真模型并构建仿真组件库,实现了仿真系统模型的快速建立。同时设计了多接口、可扩展的仿真器硬件结构,解决了嵌入式系统接口的多样性问题。该仿真系统具有良好的可重用性和可移植性等特点,可用于多种嵌入式软件的开发,具有现实意义。
- 李秀萍董云卫
- 关键词：仿真系统模型驱动架构仿真模型组件库
- 基于时间自动机的嵌入式系统调度分析工具被引量：1
- 2012年
- 为验证嵌入式实时系统开发过程中任务集的可调度性,设计并实现一种嵌入式系统调度分析工具。提出通用任务模型,建立任务与事件到达自动机和任务状态自动机的状态关系映射,利用基于模型检测的时间自动机可达性方法判定系统的可调度性。仿真实例结果表明,该工具的分析准确性较高。
- 于淼李允桂盛霖罗蕾
- 关键词：形式化方法时间自动机可调度性嵌入式实时系统
- 基于构件失效建模的软件安全性分析被引量：2
- 2010年
- 提出一种基于构件失效建模的软件安全性分析方法,对失效传播与转换标记(FPTN)进行扩展,描述各个构件的失效行为和模式。在架构设计层面综合考虑软件系统的构件连接和结构特性,使用模糊数学的相关方法,确定软件的安全等级。结合实例,对构件失效传播的概率进行计算,结果证明了该方法的有效性。
- 万永超周兴社董云卫
- 构件化软件系统安全性分析技术研究
- 2010年
- 复杂系统的软件安全性分析中存在众多的含糊表述和不确定性问题,主观评价和模糊集理论即为处理此类问题的有效方法。首先对复杂软件涉及到的安全性要素进行模糊数学化表述,按照构件化的思想,对单个构件/模块的安全度进行分析,进而利用Dempster-Shafer证据理论对整个软件系统进行安全度综合,实现对软件系统的安全性分析和评估,最终按照DO-178B标准给出软件的安全等级,并通过实例加以说明。
- 万永超周兴社董云卫
- 关键词：构件化软件模糊集主观评价安全度
- AADL软件容错系统建模与评估被引量：8
- 2009年
- 提出了一种解决软件容错系统的可靠性评估方法,该方法基于AADL,对嵌入式软件系统进行建模,详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播,构建了AADL软件系统错误模型,并根据基本的转换规则将其转化为广义随机Petri网模型,使用现有工具对其进行了计算,从而实现了软件容错系统的可靠性评估;以航空交通控制(ATC)为应用场景进行实验,根据经验数据适当的假设了部分构件的失效率,收到了较好效果。
- 杨志义张琛雨董云卫
- 关键词：AADL可靠性广义随机PETRI网ATC
- 基于流媒体的隐蔽通信可靠传输机制的研究
- 首先分析了原有流媒体隐蔽通信系统模型在传输机制上存在的问题.在此基础上改进了原有的传输方案,提出了一种新的基于流媒体的隐蔽通信的可靠传输机制,并进行实现和实际测试.实验结果表明,对于只有当载体满足一定条件时才可以嵌入的隐...
- 袁键黄永峰肖博刘宝林
- 关键词：流媒体信息隐藏
- 文献传递
- 能耗限制的松弛任务实时调度算法被引量：3
- 2008年
- 许多嵌入式系统依靠单电池供电。基于嵌入式实时操作系统,提出了一种具有通用性的松弛任务模型,并在此基础上根据电池剩余电能设计了相应的实时调度算法来防止在任务运行过程中耗尽不可充电电源的电能所引起的失效。结果表明,该模型能够有效及时地根据剩余电池电能来调整任务周期,使之能够在使命时间内正确完成计算任务,在一定程度上解决了电池电能对使命时间的约束问题。
- 桂盛霖雷航
- 关键词：动态电压调整实时调度
- 基于虚拟寄存器的中间语言
- 为了解决嵌入式系统对软件性能和可移植性的要求,提出了一种基于虚拟寄存器的类机器指令的中间语言系统,采用运行时编译技术解决了虚拟指令系统不能和高级语言混合使用的问题。在一定程序上提高了高级语言的执行性能和多处理器目标上的可...
- 韩冬李允肖丹
- 关键词：中间语言虚拟寄存器
- 基于滑动窗口的流媒体信息隐藏检测方法
- 基于网络协议和网络流媒体的动态信息隐藏及检测是近年来研究的热点.本文针对流媒体动态信息隐藏的特点,提出了在网络环境中进行实时的信息隐藏检测的基本模型.重点研究了基于滑动窗口的流媒体检测方法,对滑动窗口的大小与检测精度之间...
- 张园黄永峰肖博刘宝林
- 关键词：信息隐藏隐写分析VOIP
- 文献传递
