During the design phase of avionics systems, the activity of selecting the physical components of an IMA platform and allocating the avionics system's applications into the chosen components may lead to several options to configure the given IMA architecture. The aeronautical industry already realized that this activity can be assisted by automated methods. Focusing on the communication allocation, this paper presents an approach for allocating application's data flows into physical communication resources of an IMA system able to deal with the main requirements, such as safety and performance, and also able to be extended to other criteria, as for instance maintainability and extensibility requirements. The approach is based on the Boolean satisfiability theory and linear programming. A case study is presented to evaluate its applicability.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Allocation of avionics communication using Boolean satisfiability




    Publication date :

    2012-10-01


    Size :

    813926 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Allocation of avionics communication using Boolean satisfiability

    Carta, Daniela Cristina / de Oliveira, Jose Maria Parente / Starr, Rodrigo Rizzi et al. | IEEE | 2012

    Free access

    Modified Neural Net for the Boolean Satisfiability Problem

    Mejia-Lavalle, Manuel / A., Jose Ruiz / O., Joaquin Perez et al. | IEEE | 2015



    Avionics-Communication

    Online Contents | 1994


    Avionics-Communication

    Online Contents | 1997