IMPROVING ARINC 653 SYSTEMS RELIABILITY BY USING FAULT-TOLERANT PARTITION SCHEDULING
The ARINC 653 specifies multiple real-time operating system components to provide isolation <br /> <br /> <br /> <br /> between partitions. This means failure on one partition does not affect any other <br /> <br /> <br /> <br /> partition. Whe...
Saved in:
Main Author: | GILBRAN (NIM: 13513015), AUFAR |
---|---|
Format: | Final Project |
Language: | Indonesia |
Online Access: | https://digilib.itb.ac.id/gdl/view/21317 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Institut Teknologi Bandung |
Language: | Indonesia |
Similar Items
-
A comprehensive formal specification of ARINC 653 with conformity proof
by: FENG, Zhang, et al.
Published: (2024) -
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B
by: ZHANG, Feng, et al.
Published: (2023) -
Reliability of fault-tolerant systems with parallel task processing
by: Levitin, G., et al.
Published: (2014) -
Fault-tolerant scheduling of independent tasks in computational grid
by: Zheng, Q., et al.
Published: (2014) -
Provisioning fault-tolerant scheduled lightpath demands in WDM mesh networks
by: Saradhi, C.V., et al.
Published: (2014)