Mastering the behavior of multi-core systems to match avionics requirements | IEEE Conference Publication | IEEE Xplore