Partitioning strategy based on safety in integrated modular avionics | IEEE Conference Publication | IEEE Xplore