Future avionic systems will be increasingly automated. The size and complexity of the avionics functions in these systems will increase likewise. The degree of attainable automation directly depends on the avionics system's computing power and the efficiency of available tools that map the overall functionality onto the target heterogeneous platform architecture. In safety-critical scenarios, these automation tools must also provide safety guarantees that aid or drive the certification processes.In line with this automation goal, We propose a novel design space exploration technique for the mapping functionality on IMA platforms. The design space exploration technique returns mappings of the functionality onto the platform that are safe and increasingly resource-efficient. A safe mapping is one where the functional and extra-functional requirements are met. A resource-efficient mapping is one where fewer processing elements are used to achieve a safe mapping. More importantly, the proposed technique can return computational proof that no safe mapping is likely possible. This proof is key for safety-critical contexts.To demonstrate the suitability of our technique for avionics systems design scenarios, we investigate its use with an industrial avionics case based on the ones from the PANORAMA ITEA3 project. The case study includes two avionics functionalities, one control functionality, and one streaming-like functionality. The platform is hierarchical and heterogeneous, with elements oriented for higher safety and elements oriented for higher performance. The avionics case-study evaluation shows that our novel design space exploration technique's abstractions and assumptions adequately represent avionics design scenarios directly or through a systematic overestimation.The technique is openly available within the design space exploration tool IDeSyDe. Therefore, designers can immediately benefit from the optimality and safety guarantees given by our novel design space exploration technique in their avionics design process.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Design space exploration for safe and optimal mapping of avionics functionality on IMA platforms


    Beteiligte:
    Jordao, Rodolfo (Autor:in) / Becker, Matthias (Autor:in) / Sander, Ingo (Autor:in) / Soderquist, Ingemar (Autor:in)


    Erscheinungsdatum :

    2023-10-01


    Format / Umfang :

    1285676 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Design space exploration of avionics architectures for Future Launcher Evolutions

    Halle, Martin / Thielecke, Frank / Sebald, Johannes et al. | IEEE | 2019



    Avionics Systems on a Chip for Space Exploration

    Alkalai, L. / Kolawa, E. / University of New Mexico; School of Engineering; Institute for Space and Nuclear Power Studies | British Library Conference Proceedings | 1999


    Avionics Systems On A Chip for Space Exploration

    Kolawa, E. / Alkalai, L. | NTRS | 1999


    Design space exploration of automotive platforms in Metropolis

    Zeng,H. / Davare,A. / Sangiovanni-Vincentelli,A. et al. | Kraftfahrwesen | 2006