国防科技技术预先研究基金(41315040106)
- 作品数：11 被引量：76H指数：5
- 相关作者：熊光泽桑楠雷航覃志东古幼鹏更多>>
- 相关机构：电子科技大学更多>>
- 发文基金：国防科技技术预先研究基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术理学电子电信更多>>
- 一种实时多任务软件可靠性验证方法被引量：7
- 2004年
- 针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的。实验证明该方法的有效性和灵活性。
- 覃志东雷航熊光泽桑楠陈丽蓉
- 关键词：统计测试软件测试
- 基于关键引用验证的分布式实时垃圾搜集器被引量：3
- 2009年
- 提出了一种新的分布式垃圾搜集器(GC)机制,即基于关键引用验证的分布式GC。性能分析说明,与以往的分布式GC相比,该算法能以最短的时间延迟回收循环垃圾。尽管该算法为保留引用列表和验证过程需要额外的一些存储空间,但具有一定的实时性和较好的容错性,综合性能较好,适用于大规模分布式系统。
- 张宁熊光泽
- 关键词：时间戳
- 基于UML模型的统计测试方法研究被引量：1
- 2005年
- 为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。
- 朱虹虹熊光泽雷航桑楠
- 关键词：统计测试UML模型有限状态机统一建模语言UML形式化描述可测试性
- VxWorks下串行通信的实现原理与应用被引量：9
- 2005年
- 结合串口通信方式在飞行数据传输系统的实际应用,讨论了在VxWorks下各种串行通信实现的基本原理和实现方式,给出了实现流程和相应的程序示例,归纳了这些方式的差异性以及在实际工程应用中的使用选择。
- 马德荣桑楠莫彩文
- 关键词：嵌入式操作系统VXWORKS数据传输串行通信
- 基于RADIUS协议的无线Internet接入业务预付费方案被引量：2
- 2005年
- 以预付费的方式经营无线Internet接入业务是电信运营商较为理想的选择。文章介绍了基于智能网的无线Internet接入业务预付费方案;在研究基于智能网的传统预付费业务、固网宽带接入业务以及CDMA2000数字蜂窝移动通信网预付费相关服务器接口规范的基础上,提出了一种基于RADIUS协议的无线Internet接入业务预付费方案,以WCDMA网络为例,详细阐述了该方案的网络结构和核心功能实体,基本业务流程和关键实现技术,并对比分析了该方案与智能网预付费方案的异同,总结了该方案的优势。
- 向杰
- 关键词：接入业务RADIUS协议无线INTERNET预付费业务数字蜂窝移动通信网固网
- 基于EDF的分布式系统实时容错调度算法被引量：5
- 2006年
- 将分布式系统的任务分配算法与处理器局部调度算法相结合,提出一种主动备份的、基于EDF的分布式系统实时容错调度算法,其特点是主/副版本执行时间可以重叠。给出了该调度算法的任务集可调度的充分条件、任务集可调度所需最小处理器个数的计算方法。模拟结果比较了主动备份容错调度算法与被动备份容错调度算法,结果表明主动备份算法效率更优。
- 叶国骏李莉丽雷航
- 关键词：分布式系统容错调度EDF算法
- 嵌入式高可信架构中基于静态模型的调度研究被引量：4
- 2009年
- 为解决嵌入式高可信软件架构中的实时调度问题,分析了现有采用分区机制的安全系统中分区调度的不足,提出了一种基于固定周期分区的静态调度模型,并采用优先级位图算法建立了两级调度机制。为了保障分区中任务的实时性和正确性,对分区中任务采用静态优先级和最早时限优先调度(EDF)动态优先级两种调度策略,分别就其任务调度条件和可调度性进行了理论研究,针对复杂的动态优先级任务提出了一种可调度条件,并通过仿真实验进一步验证了此调度条件的正确性。
- 杨霞桑楠雷剑熊光泽
- 关键词：静态模型调度
- 基于自平衡的非周期任务动态实时调度算法被引量：2
- 2006年
- 为了更有效地进行开放和不可预测系统的载荷管理,提出了一种基于自平衡的动态实时调度模型——DRSSR(Dynamica Real-time Scheduling based on Self-Regulation)。DRSSR 把许可控制和 QoS 降级相结合,采用反馈控制技术来确保系统的性能、消除干扰和提高系统吞吐率。建立了 DRSSR 的数学模型,并分析了其稳态性能和瞬态性能。最后,一组基于实时操作系统 CRTOS-Ⅱ的实验表明,DRSSR 在不确定实时环境中具有良好的性能,并且响应快、实现简单。
- 陈旭东朱清新廖勇熊光泽
- 关键词：实时系统动态调度自平衡反馈控制
- 安全关键软件可靠性验证测试方法研究被引量：38
- 2005年
- 为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。
- 覃志东雷航桑楠熊光泽古幼鹏
- 关键词：贝叶斯方法安全关键软件软件测试
- 安全关键实时操作系统时间隔离保护机制的设计与实现被引量：6
- 2004年
- 为了设计高可信的安全关键实时操作系统CRTOS 2 0 ,在分析现有操作系统可信性保障机制的基础上 ,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想 空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法读写 ,而时间隔离保护的目的则是为了防止某程序长期独占或超时使用处理器而阻止或延迟其他程序的运行 为实现时间隔离保护机制 ,在改进传统处理器能力预留机制的基础上 ,基于两级调度的思想 ,提出了新的实现方法 时空隔离保护机制的提出 。
- 杨仕平桑楠陈慧熊光泽
- 关键词：调度分析实时操作系统
