Funzione stop_execution e gestione segnali