Dependable real-time task execution scheme for a many-core platform | IEEE Conference Publication | IEEE Xplore