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.