Checking process-oriented operating system behaviour using CSP and refinement
Checking process-oriented operating system behaviour using CSP and refinement
复制标题
使用 CSP 和细化检查面向流程的操作系统行为
DOI：
10.1145/1713254.1713265
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Barnes F
中科院分区：
文献类型：
--
作者：
Barnes F
面向进程是一种使用进程和消息传递通信概念的并发方法，整个系统由分层和动态演化的通信进程网络构建。本文所述的工作涉及到自动模型生成和面向过程的语言开发的系统验证。我们讨论了一些早期的应用程序，这种技术，我们的实验操作系统，RMoX，作为一种手段，以保证正确的系统行为在一定范围内的水平。
Process orientation is an approach to concurrency that uses concepts of processes and message-passing communication, with whole systems constructed from layered and dynamically evolving networks of communicating processes. The work described in this paper relates to the automatic model generation and verification of systems developed in processoriented languages. We discuss some early applications of this technique to our experimental operating system, RMoX, as a means to giving a guarantee of correct system behaviour at a range of levels.
登录
查看更多内容
DOI：
--
发表时间：
2021
期刊：
--
影响因子：
--
作者：
通讯作者：
--
移动渠道的 CSP 模型
影响因子：
11.2
作者：
P. Welch;F. Barnes
通讯作者：
F. Barnes
严格的occam设计工具
影响因子：
11.2
作者：
D. Beckett;P. Welch
通讯作者：
P. Welch
影响因子：
1.3
作者：
Ritson C
通讯作者：
Ritson C
影响因子：
11.2
作者：
Ian R. East;Jeremy Martin;Peter Welch;David Duce;Mark Green;F. Barnes;Peter Welch
通讯作者：
Peter Welch