We have studied tools and techniques to assist integrated Modular Avionics (IMA) platform design. We propose an approach that helps to decide whether a set of systems can be implemented on an IMA architecture while enforcing safety requirements. To support the dialogue between teams in charge of defining system architectures and the avionics architecture designers the approach is based on the exchange of allocations constraints. The approach is made of three main steps: system designers describe formally how failures propagate in the system under study and derive segregation constraints, IMA designers collect the constraints and use a constraint solver to generate safe allocations, system designers use this allocation to combine the system failure propagation model with an avionics platform model in order to check quantitative safety requirements. The approach is supported by a set of tools including fault-tree analysers and constraint solvers.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Constraint-based design and allocation of shared avionics resources


    Beteiligte:
    Sagaspe, Laurent (Autor:in) / Bieber, P. (Autor:in)


    Erscheinungsdatum :

    01.10.2007


    Format / Umfang :

    366887 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Interference Analysis of Multicore Shared Resources with a Commercial Avionics RTOS

    Park, Sihyeong / Song, Daeyoung / Jang, Hyeoksoo et al. | IEEE | 2019


    Design of Avionics Network Architecture Under a Reliability Constraint

    Khamvilai, Thanakorn / Mains, John B. / Sutter, Louis et al. | IEEE | 2022



    Shared Resource Management for Integrated Avionics Systems

    McIntire, G. / IEEE / AIAA | British Library Conference Proceedings | 1994