Mécanisme de sureté de fonctionnement pour la programmation déclarative de fonctions d’un véhicule autonome