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.
Analyzing Data Flow and Control Flow of Multicore Software: A Solution for Efficient Worst-Case Execution Time Analysis
2024-09-29
661461 byte
Conference paper
Electronic Resource
English
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
British Library Conference Proceedings | 2006
|Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Springer Verlag | 2006
|Worst-case execution time prediction by static program analysis
Tema Archive | 2004
|A Hybrid Framework of Worst-Case Execution Time Analysis for Real-Time Embedded System Software
British Library Conference Proceedings | 2005
|Analyzing SAE J1939 Messages Worst Case Response Time
SAE Technical Papers | 2009
|