Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives. (6th August 2013)