• DocumentCode
    2549207
  • Title

    Allocation of avionics communication using Boolean satisfiability

  • Author

    Carta, D.C. ; de Oliveira, J.M.P. ; Starr, Rodrigo R. ; Costa, I.

  • fYear
    2012
  • fDate
    14-18 Oct. 2012
  • Firstpage
    1
  • Lastpage
    37
  • Abstract
    IMA Allocation activities in Design Phase: Select physical IMA architecture components; Allocate resources for applications: Timing; Memory; Communication.
  • Keywords
    Boolean functions; avionics; resource allocation; software architecture; Boolean satisfiability; IMA allocation; avionics communication; communication; design phase; integrated modular avionics; memory; physical IMA architecture components; resource allocation; timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
  • Conference_Location
    Williamsburg, VA
  • ISSN
    2155-7195
  • Print_ISBN
    978-1-4673-1699-6
  • Type

    conf

  • DOI
    10.1109/DASC.2012.6383068
  • Filename
    6383068
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2549207