Title :
Allocation of avionics communication using Boolean satisfiability
Author :
Carta, D.C. ; de Oliveira, J.M.P. ; Starr, Rodrigo R. ; Costa, I.
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;
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
Conference_Location :
Williamsburg, VA
Print_ISBN :
978-1-4673-1699-6
DOI :
10.1109/DASC.2012.6383068
