Volume 13 Number 10 (Oct. 2018)
Home > Archive > 2018 > Volume 13 Number 10 (Oct. 2018) >
JCP 2018 Vol.13(10): 1202-1215 ISSN: 1796-203X
doi: 10.17706/jcp.13.10.1202-1215

Compositional Schedulability Analysis of Multicore Modular Avionic Architectures

Jalil Boudjadar
Department of Engineering, Aarhus University Denmark.
Abstract—This paper presents a compositional schedulability analysis of multicore modular avionic systems (IMA). It provides a fine grained description of the software architecture and behavior to reduce the over-approximation, and a holistic analysis to check schedulability while considering computation requirements and shared memory interference. The system is structured in terms of subsystems, encapsulating ARINC653 partitions, each of which runs on a processing core. The schedulability analysis is performed for each subsystem individually while accounting for the memory interference that would result if the core under analysis runs effectively alongside with the rest of cores. Thereafter, we introduce an architecting technique to relocate functions between tasks located at the same partition in case of non schedulability, to derive potential schedulable system configurations delivering the same functionality. Schedulability is formally analyzed using Uppaal model checker. Our evaluation results show that our compositional analysis technique consumes up to 95% less than regular analysis, in terms of analysis time and memory space.

Index Terms—Modular avionic architectures, multicore systems, memory interference, schedulability analysis.

[PDF]

Cite: Jalil Boudjadar, "Compositional Schedulability Analysis of Multicore Modular Avionic Architectures," Journal of Computers vol. 13, no. 10, pp. 1202-1215, 2018.

General Information

ISSN: 1796-203X
Frequency: Monthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Sep 13, 2018 News!

    Vol 13, No 10 has been published with online version   [Click]

  • Apr 28, 2019 News!

    Vol 14, No 4 has been published with online version 8 papers are published in this issue after peer review   [Click]

  • Mar 20, 2019 News!

    Vol 14, No 3 has been published with online version   [Click]

  • Feb 22, 2019 News!

    Vol 14, No 2 has been published with online version 8 papers are published in this issue after peer review   [Click]

  • Jan 04, 2019 News!

    Vol 14, No 1 has been published with online version   [Click]

  • Read more>>