论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报(自然科学)期刊 \
- 太原理工大学学报期刊 \
分区操作系统内核中隔离性质的研究
分区操作系统内核中隔离性质的研究
原文服务方：
太原理工大学学报
摘要：
为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言.
推荐文章
一种微内核分区操作系统C库的适配验证方法
微内核架构
嵌入式分区操作系统
标准接口
C库
恩智浦
嵌入式操作系统的内核研究
嵌入式
操作系统
微内核
基于分区操作系统的安全审计模块设计
航电系统
分区操作系统
信息安全
安全审计
分区操作系统下的分区间通信的设计
分区间通信
队列端口
采样端口
虚端口
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
版权信息
全文
- 全文.pdf
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (2)
节点文献
引证文献 (1)
同被引文献 (0)
二级引证文献 (0)
1981(1)
- 参考文献（1）
- 二级参考文献（0）
2014(1)
- 参考文献（1）
- 二级参考文献（0）
2014(1)
- 参考文献(1)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2017(1)
- 引证文献（1）
- 二级引证文献（0）
研究主题发展历程
节点文献
安全关键系统
操作系统内核
可信性
分区
隔离性质
Z/Z++
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
太原理工大学学报
主办单位：
太原理工大学
出版周期：
双月刊
ISSN：
1007-9432
CN：
14-1220/N
开本：
大16开
出版地：
太原市迎泽西大街79号3337信箱
邮发代号：
创刊时间：
1957-01-01
语种：
汉语
出版文献量（篇）
4103
总下载数（次）
0
总被引数（次）
28999
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
太原理工大学学报1999
太原理工大学学报2000
太原理工大学学报2001
太原理工大学学报2002
太原理工大学学报2003
太原理工大学学报2004
太原理工大学学报2005
太原理工大学学报2006
太原理工大学学报2007
太原理工大学学报2008
太原理工大学学报2009
太原理工大学学报2010
太原理工大学学报2011
太原理工大学学报2012
太原理工大学学报2013
太原理工大学学报2014
太原理工大学学报2015
太原理工大学学报2016
太原理工大学学报2017
太原理工大学学报2018
太原理工大学学报2019
太原理工大学学报2020
太原理工大学学报2021
太原理工大学学报2022
太原理工大学学报2023
太原理工大学学报2014年第6期
太原理工大学学报2014年第1期
太原理工大学学报2014年第2期
太原理工大学学报2014年第3期
太原理工大学学报2014年第4期
太原理工大学学报2014年第5期
