The TETRISC SoC for safety critical applications