Abstract This chapter is concerned with timing verification of future avionics software. We critically review a recent CAST position paper, identified as CAST-32A, about certification issues connected to the use of multi-core architectures and show that it leaves several issues unresolved. It introduces robust partitioning as a requirement for the feasibility of timing verification, but fails to precisely define it. We give a precise notion of robust partitioning that guarantees temporal isolation and, therefore, allows for separate timing analysis of tasks running on individual cores. Sometimes, complete temporal isolation is impossible to achieve or will lead to very poor resource allocation. In an ideal setting, one could analyze the timing behavior of a set of applications executed on several cores in a compositional way. We discuss the requirements for a correct analysis of the interference on the shared resources of multi-core processors. Finally, we show how to configure an existing multi-core architecture to enable compositional timing analysis.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Keeping up with Real Time


    Beteiligte:
    Wilhelm, Reinhard (Autor:in) / Reineke, Jan (Autor:in) / Wegener, Simon (Autor:in)


    Erscheinungsdatum :

    2018-01-01


    Format / Umfang :

    13 pages




    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    UAV Training: Keeping it Real?

    Hartley, S. / Lever, A. / Royal Aeronautical Society | British Library Conference Proceedings | 2006


    Application of Real-Time Simulation to the Lane-Keeping System

    Adachi, T. / Butsuen, T. / Kamiyama, S. et al. | British Library Conference Proceedings | 1994


    Self-heating warm-keeping diving suit with real-time health monitoring system

    LIU XIA / FANG YIQUN / LI CI et al. | Europäisches Patentamt | 2022

    Freier Zugriff


    Satellite formation keeping via real-time optimal control and iterative learning control

    Wu, Baolin / Poh, Eng-Kee / Wang, Danwei et al. | Tema Archiv | 2009