搜索页_安全关键软件

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

常用资源

内部出版物

CNKI学位论文(47)

知网期刊论文(78)

中图分类法(47)

社会科学总论(1)

工业技术(46)

交通运输(1)

在“CNKI学位论文”中，命中：47条，耗时：小于0.01 秒

在所有数据库中总计命中：125条

1.面向安全关键的虚拟化与分区操作系统研究与实现

作者：周睿

关键词：安全关键 ; 虚拟化 ; 分区操作系统 ; 嵌入式系统

论文级别：博士

学位年度：2010

2.复杂装备智能机内测试技术研究

作者：王志颖

关键词：复杂装备 ; 电子学装备 ; 机内测试 ; 智能检测 ; 故障诊断 ; 任务关键

论文级别：博士

学位年度：2011

3.实时宽带现场网络技术研究

作者：陈慧

关键词：分布式实时系统 ; 实时通信 ; 现场总线控制系统 ; 以太网 ; 体系结构 ; 实时控制协议 ; 可靠性 ; 容错 ; 实时调度

论文级别：博士

学位年度：2004

4.高可信软件可靠性和防危性测试与评价理论研究

作者：覃志东

关键词：软件统计测试 ; 软件可信性 ; 软件可靠性 ; 软件防危性 ; 运行剖面 ; 关联风险剖面 ; 加速剖面 ; 软件可靠性验证测试 ; 软件防危性增长测试 ; 软件防危性验证测试

论文级别：博士

学位年度：2005

5.分布式任务关键实时系统的防危（Safety）技术研究

作者：杨仕平

关键词：防危技术 ; 多级关键度 ; 时空隔离 ; 实时网络 ; 时间触发 ; 防危性测评 ; 实时系统 ; 调度分析 ; 实时操作系统 ; 任务关键

论文级别：博士

学位年度：2004

6.高可信嵌入式操作系统体系架构研究

作者：杨霞

关键词：多级安全关键嵌入式系统 ; 操作系统体系架构 ; 可信计算 ; 嵌入式可信操作系统 ; 多级安全 ; 时空隔离 ; 分区机制

论文级别：博士

学位年度：2010

7.基于测试覆盖的安全关键软件测试策略研究

作者：张波

关键词：安全关键软件 ; 软件测试 ; 测试覆盖 ; 缺陷预测 ; 测试策略

论文级别：博士

学位年度：2012

8.面向分布式关键任务系统的自律可信性模型及其分析

作者：吕宏武

关键词：分布式关键任务系统 ; 自律计算 ; 自律可信性 ; 自恢复 ; 自毁

论文级别：博士

学位年度：2011

9.基于连续时间贝叶斯网络的可信软件风险预测研究

作者：王平涛

关键词：贝叶斯网络 ; 软件风险 ; 软件缺陷 ; 遗留软件 ; 故障树 ; 可信软件

论文级别：博士

学位年度：2012

10.安全关键软件的测试与评估过程模型研究

作者：王金波

关键词：安全关键软件 ; 可靠性测评 ; 软件安全性 ; 可靠性增长模型 ; 风险操作剖面

论文级别：博士

学位年度：2008

1

2

3

4

5

按检索点细分(47)

题名(8)

目录(8)

关键词(7)

摘要(10)

引文(40)

按论文级别细分(47)

博士(12)

硕士(35)

按学位年度细分(47)

2002年(1)

2004年(2)

2005年(1)

2006年(5)

2007年(5)

2008年(6)

2009年(5)

2010年(5)

2011年(10)

2012年(6)

2013年(1)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700