US9128752B2 - Method for the Deterministic Execution and Synchronization of an Information Processing System Comprising a Plurality of Processing Cores Executing System Tasks