An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)