Contributo alla quantificazione probabilistica della sicurezza nel progetto aerospaziale