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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Constraint-based design and allocation of shared avionics resources


    Contributors:


    Publication date :

    2007-10-01


    Size :

    366887 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    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