A Formal Specification of Operating System based on ARINC 653

06/27/2022
by   Ziyan Wang, et al.
0

In this paper, by using the formal language 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.

READ FULL TEXT

page 1

page 2

page 3

page 4

11/20/2018

Formal FocusST Specification of CAN

This paper presents a formal specification of the Controller Area Networ...
12/23/2019

A Component-Based Formal Language Workbench

The CBS framework supports component-based specification of programming ...
12/02/2020

A Rely-Guarantee Specification of Mixed-Criticality Scheduling

The application considered is mixed-criticality scheduling. The core for...
08/06/2013

Intensional view of General Single Processor Operating Systems

Operating systems are currently viewed ostensively. As a result they mea...
07/10/2012

On Formal Specification of Maple Programs

This paper is an example-based demonstration of our initial results on t...
03/06/2023

Using Spoofax to Support Online Code Navigation

Spoofax is a language workbench. A Spoofax language specification genera...

Please sign up or login with your details

Forgot password? Click here to reset