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 (2006-2014); Bimonthly (Since 2015)
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]

  • Aug 06, 2018 News!

    Vol 13, No 1-No 8 has been indexed by EI (Inspec)   [Click]

  • Aug 06, 2018 News!

    Vol 12, No 6 has been indexed by EI (Inspec)   [Click]

  • Apr 24, 2018 News!

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

  • Dec 26, 2017 News!

    Vol 12, No 1-No 5 has been indexed by EI (Inspec)     [Click]

  • Read more>>