论文标题
基于ARINC 653的操作系统的正式规范
A Formal Specification of Operating System based on ARINC 653
论文作者
论文摘要
在本文中，通过使用正式语言\ emph {Circus}，我们为基于ARINC 653标准的操作系统提供了正式规范。我们的规范包括中断处理，时间和内存管理，分区和过程调度，系统呼叫响应以及相关的APEX服务。特别是，还指定了分区和过程的并发行为。
In this paper, by using the formal language \emph{Circus}, we give a formal specification of an operating system based on ARINC 653 standard. Our specification includes interrupt handling, time and memory management, partition and process scheduling, system call response and related APEX services. Especially, the concurrent behaviours of partitions and processes are also specified.
