Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL

What is it about?

As hardware becomes more advanced, it becomes harder to verify the safety and correctness of software systems used in airplanes. In this paper, we present a modeling framework for conducting timing analysis of distributed multi-core systems on airplanes. The analysis will conclude whether or not the software always finishes within its given time bound.

Featured Image