Design and implementation of a virtual ARINC 653 simulation platform. (June 2021)