セーフティクリティカルとノンセーフティアプリケーションのワークロードの統合を実現するIMA（Integrated Modular Avionics）プラットフォーム