Analyzing Data Flow and Control Flow of Multicore Software: A Solution for Efficient Worst-Case Execution Time Analysis

Ensuring the robust performance of avionics systems demands meticulous attention to worst-case execution time (WCET) analysis. This is especially important in multicore environments where execution time can vary widely. This paper examines the interplay between data flow and control flow analysis within the context of avionics multicore systems, proposing a comprehensive solution for efficient WCET estimation. Drawing from industry standards such as A(M)C 20–193 [2] [3] and DO-178C/ED-12C [1], our approach emphasizes the integration of data flow and control flow analysis to accurately assess task execution times, thereby enhancing system reliability and safety. Additionally, this paper includes calculations of WCET using two different combinations of hardware and real time operating systems (RTOS) to illustrate the importance of considering the different characteristics of an environment in measuring this crucial timing.