排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
Linux作为UNIX类操作系统,其分时设计特性使其实时性能可满足普通实时的需求,而随着控制领域应用系统的发展,对具有传统操作系统功能的强实时操作系统需求日益迫切;通过强实时扩展核的方式实现Linux的强实时特性,使Linux可以在一定范围内满足控制领域应用对强实时应用的需求。 相似文献
4.
形式化、半形式化规范的理论和实践是高安全等级操作系统设计所必须解决的问题,但我国高安全等级操作系统形式化设计方面十分薄弱,没有实践过程和相关理论的技术积累.本文借助Lapadula给出的规则集建模方法,基于Linux系统调用给出了一个实际开发的安全文件系统NeoFs的顶层功能规范的方法和过程. 相似文献
5.
6.
7.
8.
9.
1