DeepAI
Chat Image GeneratorImage Video Music Voice Chat Photo Editor Website BuilderBeta
Pricing

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

Please sign up or login with your details

Continue with:
Or login with email
Enter Password
Re-enter Password

Forgot password? Click here to reset

Out of credits

Add credits to your account

Automatically add credits when your balance is low. Never run out again!
Success!
Error Icon An error occurred

Sign in with Google

×

Use your Google Account to sign in to DeepAI

×
Pro

Consider DeepAI Pro

Subscribe to DeepAI Pro
DeepAI Pro
Provides a limited generation allowance each month. When exceeded, you are charged overage rates available at deepai.org/pricing. Also includes an ad-free experience and API access. Renews automatically until canceled. Non-refundable.
Subtotal
Total due today

By subscribing, you authorize Deep AI, Inc. to charge you according to the terms until you cancel.
Terms · Privacy

Payment
Add DeepAI credits
DeepAI credits
One-time purchase. Credits are added to your wallet after payment.
Subtotal
Total due today

Terms · Privacy

Payment