Hierarchical resource allocation for integrated modular avionics systems