This paper presents a status on a continuing research thrust on assurance methods for multicore processors used in avionics equipment. Today's multicore processors introduce new challenges, forcing assurance methods to adapt to their intrinsic complexity, especially parallelism in software execution. Tackling interference issues within assurance methods is still an open problem today, with no consensual approach or official guideline. In the previous installment of the research on MCP assurance methods, the authors developed the notion of interference analysis and detailed the related challenges. This paper focuses on the limits of these interference analyses, i.e. the conditions under which defining and/or implementing a given method would raise major issues, leading to an unsustainable complexity for the equipment development. The objective is not to point out a specific method to use, but rather to highlight foreseeable good and bad properties of interference analysis methods, and how to reach a good compromise between good and bad. These properties are summarized as a set of viewpoints, which are further illustrated on an example.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Limitations of interference analyses on multicore processors


    Contributors:


    Publication date :

    2017-09-01


    Size :

    1837614 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Dynamic interference quantification for multicore processors

    Uhrig, Sascha / Freitag, Johannes | IEEE | 2017


    Multicore processors deliver more buying options

    British Library Online Contents | 2007


    Compiler extensions towards reliable multicore processors

    Nezzari, Y. / Bridges, C. P. | IEEE | 2017


    Dual and multicore processors still face problems

    British Library Online Contents | 2005


    Reliable Multicore Processors for NASA Space Missions

    Villalpando, Carlos / Rennels, David / Some, Raphael et al. | NTRS | 2011