国家自然科学基金(60736017)
- 作品数：24 被引量：97H指数：6
- 相关作者：董云卫周兴社张凡万永超夏平更多>>
- 相关机构：西北工业大学山东省科学院中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划西北工业大学基础研究基金更多>>
- 相关领域：自动化与计算机技术自然科学总论机械工程更多>>
- 一种AADL系统可靠性模型转换方法被引量：6
- 2011年
- 在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可靠性模型向GSPN模型的转换规则更加完备,能对嵌入式系统的可靠性进行准确与全面的分析与评估。
- 高磊董云卫张凡王广仁
- 关键词：广义随机PETRI网可靠性评估
- 构件化嵌入式软件可靠性预测模型被引量：1
- 2011年
- 由于传统的基于黑盒的可靠性建模方法不适合构件化软件开发,所以如何利用软构件的可靠性,预测分析嵌入式系统的可靠性成为一个亟待解决的问题.考虑到构件开发者与使用者相分离的特征以及构件化软件的组装方式,综合应用构件可靠度属性、用户使用剖面以及系统架构,建立了一个构件化软件可靠度分析预测模型.此模型的核心思想包括:软件的架构建模为离散马尔科夫状态机模型,将并行、冗余、调用等复杂结构通过视图映射转换为状态机模型;构件的开发者给出构件每个接口的可靠性,构件应用者按构件级、接口级两个层次给出构件的使用剖面,据此可计算出构件在不同应用场景的可靠度.
- 李长德周兴社董云卫
- 关键词：可靠性架构嵌入式软件
- AADL软件容错系统建模与评估被引量：8
- 2009年
- 提出了一种解决软件容错系统的可靠性评估方法,该方法基于AADL,对嵌入式软件系统进行建模,详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播,构建了AADL软件系统错误模型,并根据基本的转换规则将其转化为广义随机Petri网模型,使用现有工具对其进行了计算,从而实现了软件容错系统的可靠性评估;以航空交通控制(ATC)为应用场景进行实验,根据经验数据适当的假设了部分构件的失效率,收到了较好效果。
- 杨志义张琛雨董云卫
- 关键词：AADL可靠性广义随机PETRI网ATC
- 适应动态安全需求的实时任务调度算法研究被引量：2
- 2012年
- 现有的实时容错调度算法没有将实时任务的动态安全需求与其可调度性结合起来考虑。针对这一问题,文章展开以下研究工作:基于安全分级思想,构建了一个适应动态安全需求的实时调度模型,该模型详细地描述了实时任务、系统安全服务、任务容错等实时调度过程涉及的关键要素。以此模型为基础,提出了一种自适应实时容错调度算法(AFTS),该算法支持优先级抢占式调度策略,以牺牲普通任务的运行为代价来保证关键任务的可调度性,并采用主副本备份技术实现了关键任务的容错功能。当系统安全级别被动态调整时,该算法能够为实时任务选择满足当前安全需求的最优安全策略。仿真实验表明,文中提出的算法与同类算法相比,在系统动态安全需求的适应性,以及关键任务的可调度性和容错能力等方面有较好的表现。
- 夏平周兴社谢必昌
- 关键词：计算机仿真实时系统调度
- 面向分布实时嵌入式系统的任务优化调度算法
- 2009年
- 文章针对负载难以准确预知且动态变化的复杂分布实时嵌入式系统,提出了一种基于快速模型预测控制的任务调度算法,通过动态调整分配在各个处理器上的任务QoS,使得每个处理器的CPU利用率保持在参考值附近,保证了任务的实时性;利用多参数二次规划的方法求解模型预测控制中的约束优化问题,可有效减小算法的执行时间。实验结果表明算法有效且负载极小。
- 梁克周兴社盛瑞卿张凯龙
- 关键词：任务调度模型预测控制
- 组态化嵌入式软件仿真系统设计被引量：3
- 2011年
- 为缩短开发周期,提高嵌入式软件仿真系统的设计水平,提出一种组态化嵌入式系统设计。集成仿真建模工具、仿真模型代码生成工具,实现仿真运行环境搭建和对仿真数据的实时监控,采用组态化的仿真方法,根据用户需求生成监控界面。实验结果表明,该系统的运行平台快速高效,监控环境良好。
- 姬祥董云卫王宇英凌恒
- 关键词：嵌入式软件实时监控组态软件仿真系统
- 面向分布式实时系统的安全驱动调度算法研究被引量：1
- 2013年
- 针对现有实时调度算法无法适应动态安全需求的问题,构建了一种安全驱动调度模型,该模型从系统安全级别、系统安全服务和任务安全策略三个方面描述了实时系统的动态安全需求,并设计了一种基于安全驱动的实时任务调度器框架。以该模型和框架为基础,提出了一种安全驱动调度算法(Security Driven Scheduling Algorithm,SDSA)。从全局角度对新到达任务进行可调度性检查,并将可调度任务分配到合适的处理机上运行。按照系统安全级别来动态调整已分配到各处理机上实时任务的安全策略,使其达到安全性和可调度性的最优平衡。采用优先级抢占式策略对各实时任务进行调度。仿真结果表明,SDSA算法与其他同类算法相比,在系统动态安全需求的适应性、关键任务的可调度性以及安全防危能力等方面具有较好的表现。
- 夏平周兴社
- 关键词：分布式调度
- 构件化软件系统安全性分析技术研究
- 2010年
- 复杂系统的软件安全性分析中存在众多的含糊表述和不确定性问题,主观评价和模糊集理论即为处理此类问题的有效方法。首先对复杂软件涉及到的安全性要素进行模糊数学化表述,按照构件化的思想,对单个构件/模块的安全度进行分析,进而利用Dempster-Shafer证据理论对整个软件系统进行安全度综合,实现对软件系统的安全性分析和评估,最终按照DO-178B标准给出软件的安全等级,并通过实例加以说明。
- 万永超周兴社董云卫
- 关键词：构件化软件模糊集主观评价安全度
- 结构分析和设计语言AADL研究被引量：12
- 2009年
- 随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级,模型驱动体系结构成为嵌入式系统开发的主流。结构分析和设计语言(AADL)是一种模型驱动系统工程的新标准,从过程、方法和工具三个方面对其进行研究,讨论模型分析、模型转换和代码生成等相关技术,并将其与OMG的标准建模语言UML进行比较。
- 王瀚博周兴社董云卫唐蕾
- 关键词：嵌入式系统
- 模型驱动的嵌入式仿真系统设计被引量：1
- 2010年
- 为解决嵌入式系统仿真应用需求多样性的问题并提高系统的开发效率,设计一种通用嵌入式仿真系统。该系统在Matlab/Simulink开发环境的基础上,采用模型驱动的方法设计仿真模型并构建仿真组件库,实现了仿真系统模型的快速建立。同时设计了多接口、可扩展的仿真器硬件结构,解决了嵌入式系统接口的多样性问题。该仿真系统具有良好的可重用性和可移植性等特点,可用于多种嵌入式软件的开发,具有现实意义。
- 李秀萍董云卫
- 关键词：仿真系统模型驱动架构仿真模型组件库
