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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2023-10-01


    Size :

    1229895 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



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

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


    Schedulability analysis software

    Online Contents | 1993


    Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL

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


    Measurement and analysis of schedulability of spacecraft on-board software

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


    Formal System Specification and Testing of Critical Real-time Vehicle Control Software

    Michael, J. B. / Segal, A. C. | British Library Conference Proceedings | 1994