Flight Safety Certification Implications for Complex Multi-Core Processor based Avionics Systems | IEEE Conference Publication | IEEE Xplore