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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2024-09-29


    Size :

    661461 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, C. / Heckmann, R. / Wilhelm, R. | British Library Conference Proceedings | 2006


    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, Christian / Heckmann, Reinhold / Wilhelm, Reinhard | Springer Verlag | 2006


    Worst-case execution time prediction by static program analysis

    Heckmann, Reinhold / Ferdinand, Christian | Tema Archive | 2004


    A Hybrid Framework of Worst-Case Execution Time Analysis for Real-Time Embedded System Software

    Lee, J.-I. / Park, S.-H. / Bang, H.-J. et al. | British Library Conference Proceedings | 2005


    Analyzing SAE J1939 Messages Worst Case Response Time

    Franco R. Horta, Lucia R. / Folly de Campos, Marcio | SAE Technical Papers | 2009