Schedulability analysis for ARINC 653 partitioned real-time systems

Longhua Tan; Chenglie Du; Xin Lei

doi:10.7527/S1000-6893.2015.0069

Schedulability analysis for ARINC 653 partitioned real-time systems

Longhua Tan, Chenglie Du, Xin Lei

School of Computer Science

Northwestern Polytechnical University Xian

Research output: Contribution to journal › Article › peer-review

4 Scopus citations

Abstract

ARINC 653 specification defines the logic and interface for application software of the real-time operating system within integrated modular avionics (IMA). The specification defines that the system adopts inter-partition scheduling and intra-partition scheduling. How to analyze the schedulability of an ARINC 653 system so that all real-time tasks are guaranteed to finish their execution before deadlines is a new problem. In this paper, a schedulability criterion is proposed by analyzing the relation between workload requirement and resource supply ability of the platform. The schedulability criterion is proven to be sufficient and necessary. Experience with several projects reveals that the proposed criterion can be used to correctly and efficiently analyze the schedulability of ARINC 653 partitioned real-time systems, helping to improve the security attributes of these systems.

Original language	English
Pages (from-to)	3698-3705
Number of pages	8
Journal	Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica
Volume	36
Issue number	11
DOIs	https://doi.org/10.7527/S1000-6893.2015.0069
State	Published - 25 Nov 2015

Keywords

ARINC 653
Integrated modular avionics
Real-time systems
Resource partition
Scheduling analysis

Access to Document

10.7527/S1000-6893.2015.0069

Cite this

@article{a2a41bdadaeb4a0aac69c364e9bcbf76,

title = "Schedulability analysis for ARINC 653 partitioned real-time systems",

abstract = "ARINC 653 specification defines the logic and interface for application software of the real-time operating system within integrated modular avionics (IMA). The specification defines that the system adopts inter-partition scheduling and intra-partition scheduling. How to analyze the schedulability of an ARINC 653 system so that all real-time tasks are guaranteed to finish their execution before deadlines is a new problem. In this paper, a schedulability criterion is proposed by analyzing the relation between workload requirement and resource supply ability of the platform. The schedulability criterion is proven to be sufficient and necessary. Experience with several projects reveals that the proposed criterion can be used to correctly and efficiently analyze the schedulability of ARINC 653 partitioned real-time systems, helping to improve the security attributes of these systems.",

keywords = "ARINC 653, Integrated modular avionics, Real-time systems, Resource partition, Scheduling analysis",

author = "Longhua Tan and Chenglie Du and Xin Lei",

year = "2015",

month = nov,

day = "25",

doi = "10.7527/S1000-6893.2015.0069",

language = "英语",

volume = "36",

pages = "3698--3705",

journal = "Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica",

issn = "1000-6893",

publisher = "AAAS Press of Chinese Society of Aeronautics and Astronautics",

number = "11",

}

TY - JOUR

T1 - Schedulability analysis for ARINC 653 partitioned real-time systems

AU - Tan, Longhua

AU - Du, Chenglie

AU - Lei, Xin

PY - 2015/11/25

Y1 - 2015/11/25

N2 - ARINC 653 specification defines the logic and interface for application software of the real-time operating system within integrated modular avionics (IMA). The specification defines that the system adopts inter-partition scheduling and intra-partition scheduling. How to analyze the schedulability of an ARINC 653 system so that all real-time tasks are guaranteed to finish their execution before deadlines is a new problem. In this paper, a schedulability criterion is proposed by analyzing the relation between workload requirement and resource supply ability of the platform. The schedulability criterion is proven to be sufficient and necessary. Experience with several projects reveals that the proposed criterion can be used to correctly and efficiently analyze the schedulability of ARINC 653 partitioned real-time systems, helping to improve the security attributes of these systems.

AB - ARINC 653 specification defines the logic and interface for application software of the real-time operating system within integrated modular avionics (IMA). The specification defines that the system adopts inter-partition scheduling and intra-partition scheduling. How to analyze the schedulability of an ARINC 653 system so that all real-time tasks are guaranteed to finish their execution before deadlines is a new problem. In this paper, a schedulability criterion is proposed by analyzing the relation between workload requirement and resource supply ability of the platform. The schedulability criterion is proven to be sufficient and necessary. Experience with several projects reveals that the proposed criterion can be used to correctly and efficiently analyze the schedulability of ARINC 653 partitioned real-time systems, helping to improve the security attributes of these systems.

KW - ARINC 653

KW - Integrated modular avionics

KW - Real-time systems

KW - Resource partition

KW - Scheduling analysis

UR - http://www.scopus.com/inward/record.url?scp=84950142980&partnerID=8YFLogxK

U2 - 10.7527/S1000-6893.2015.0069

DO - 10.7527/S1000-6893.2015.0069

M3 - 文章

AN - SCOPUS:84950142980

SN - 1000-6893

VL - 36

SP - 3698

EP - 3705

JO - Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica

JF - Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica

IS - 11

ER -

Schedulability analysis for ARINC 653 partitioned real-time systems

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this