|
|||||
|
|
| 分区操作系统内核中隔离性质的研究 | |
| 引用本文： | 闫鑫,王庆生,王生原.分区操作系统内核中隔离性质的研究[J].太原理工大学学报,2014(4):515-521. |
| 作者姓名： | 闫鑫 王庆生 王生原 |
| 作者单位： | 太原理工大学计算机学院;清华大学计算机科学与技术系 |
| 基金项目： | 国家自然科学基金资助项目(61170051,61272086,90818019);“核高基”国家科技重大专项(2012ZX01039-004);山西省自然科学基金(2012011011-2) |
| 摘 要： | 为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。 |
| 关 键 词： | 安全关键系统 操作系统内核 可信性 分区 隔离性质 Z/Z++ |
| 本文献已被 CNKI 等数据库收录！ | |