搜索筛选:
搜索耗时0.0870秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：杨仕平,桑楠,熊光泽,
来源：软件学报 年份：2005
随着实时计算技术日益广泛应用于航空航天、国防及交通运输等安全关键领域,多类型的同步实时、异步实时和非实时网络传输需求给现场网络提出了新的目标和挑战,其中安全关键实...
[期刊论文] 作者：杨仕平,桑楠,熊光泽,
来源：计算机学报 年份：2004
为了评估安全关键软件的防危性 ,该文在分析软件可靠性与防危性异同的基础上 ,建立了相应的防危性评估指标 ,同时研究了传统统计测试方法确定所需防危性测试用例数的局限性 .紧接着 ,使用贝叶斯函数动态地表示软件失效率的密度函数 ,提出了一种增量记忆型的防危......
[会议论文] 作者：杨仕平;桑楠;熊光泽;,
来源：2003中国计算机大会 年份：2003
为了设计高可信的安全关键实时操作系统CRTOS2.0,在分析现有操作系统可信性保障机制的基础上,提出了基于空间隔离保护机制构建安全关键实时操作系统的新思想.空间隔离的目的...
[期刊论文] 作者：杨仕平,桑楠,熊光泽,刘校矢,
来源：电子科技大学学报 年份：2006
为增强实时操作系统的防危性，在分析现有调度机制的基础上，探讨了最大关键度优先的调度算法，该算法是一种混合型的优先级实时调度算法，由静态优先级、动态子优先级和静态子优先级......
相关搜索：
