Title: Partitioning in Avionics Architectures