" INTEGRATION D'UN RTOS DANS UNE PLATE-FORME SYSTEMC DESTINEE A L'EXPLORATION ARCHITECTURALE.POMPES PAR TRANSITIONS MULTIPLES "