Porting a Real-Time Objected Oriented Dependable Operating System(RODOS) on a customizable system-on-chip | IEEE Conference Publication | IEEE Xplore