Programming Framework For Reliable And Efficient Embedded Many-Core Systems