Current certification guidance documents for aircraft provide plans, processes, and objectives. This has been successful in terms of achieving safety but it comes at the expense of leading to a less agile software development; this makes software development slow for greenfield development, prevents rapid updates of software, and prevents rapid upgrades of hardware. The use of formal methods (FM) has the potential to avoid some of these drawbacks. A critical issue today is the use of multicore and their potential to introduce inter-core interference which can violate real-time requirements. Therefore, in this paper, we present a two-step reasoning framework that can be used to bring some FM to the analysis of real-time requirements of software executing on multicore.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Methodology of Combining Empirical Stress Testing and Formal-Methods Based Schedulability Analysis for Real-Time Multicore Software


    Beteiligte:
    Andersson, Bjorn (Autor:in) / de Niz, Dionisio (Autor:in) / Vance, William (Autor:in) / Ross, John (Autor:in) / Wotell, Mark (Autor:in) / Bui, Tuan (Autor:in)


    Erscheinungsdatum :

    01.10.2023


    Format / Umfang :

    1229895 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Empirical Bounds of Multicore Cache Interference for Real-Time Schedulability Analysis

    Srinivasan, Srini / Kegley, Russell / Gerhardt, Mark et al. | IEEE | 2019


    Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL

    Han, Pujie / Zhai, Zhengjun / Nielsen, Brian et al. | AIAA | 2019

    Freier Zugriff

    Schedulability analysis software

    Online Contents | 1993


    Measurement and analysis of schedulability of spacecraft on-board software

    Cecere, Nunzio / Tipaldi, Massimo / Wenker, Ralf et al. | IEEE | 2016


    Schedulability analysis for AFDX-based avionics systems

    Tianran, Z. / Yongtao, Z. / Feng, H. et al. | British Library Online Contents | 2012