Procédé de transaction entre une application (APP) exécutée par un processeur (PROC) et un périphérique (IP) par l’intermédiaire d’une couche d’abstraction matérielle (HAL), procédé comprenant : - une configuration du périphérique (IP) dans laquelle une configuration de transaction émise par l’application (APP) est écrite dans des registres de configuration du périphérique (IP) par l’intermédiaire de la couche d’abstraction matérielle (HAL), puis - une vérification d’une conformité de la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP), puis - une exécution de la transaction uniquement si la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP) est conforme. Procédé selon la revendication 1, comprenant en outre une émission par le périphérique (IP) d’un signal d’avertissement à destination de l’application (APP) si la configuration de transaction n’est pas conforme de façon à indiquer à l’application que la transaction n’est pas effectuée. Procédé selon l’une des revendications 1 ou 2, dans lequel la vérification de la conformité de la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP) comprend : - une lecture par la couche d’abstraction matérielle (HAL) de la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP), puis - un calcul par la couche d’abstraction matérielle (HAL) d’une configuration de transaction transformée à partir de la configuration de transaction lue, - un calcul par le périphérique (IP) d’une configuration de transaction transformée à partir de la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP), - une comparaison entre la configuration de transaction transformée calculée par la couche d’abstraction matérielle (HAL) et la configuration de transaction transformée calculée par le périphérique (IP), et dans lequel la transaction est exécutée uniquement si la configuration de transaction transformée calculée par la couche d’abstraction matérielle (HAL) est égale à la configuration de transaction transformée calculée par le périphérique (IP). Procédé selon la revendication 3, dans lequel la vérification de la conformité de la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP) comprend en outre : - une génération d’une valeur aléatoire dans un registre du périphérique (IP) après ladite configuration du périphérique (IP), puis - une lecture par la couche d’abstraction matérielle (HAL) de la valeur aléatoire enregistrée dans un registre du périphérique (IP), puis - un calcul par la couche d’abstraction matérielle (HAL) d’une valeur aléatoire transformée à partir de la valeur aléatoire lue, - un calcul par le périphérique (IP) d’une valeur aléatoire transformée à partir de la valeur aléatoire enregistrée dans un registre du périphérique (IP), - une comparaison entre la valeur aléatoire transformée calculée par la couche d’abstraction matérielle (HAL) et la valeur aléatoire transformée calculée par le périphérique (IP), et dans lequel la transaction est exécutée uniquement si la valeur aléatoire transformée calculée par la couche d’abstraction matérielle (HAL) est égale à la valeur aléatoire transformée calculée par le périphérique (IP). Système sur puce comprenant : - un processeur configuré pour exécuter une application, - un périphérique (IP) comprenant des registres de configuration, l’application étant configurée pour communiquer avec le périphérique (IP) par l’intermédiaire d’une couche d’abstraction matérielle (HAL), dans lequel la couche d’abstraction matérielle (HAL) est adaptée pour : - configurer le périphérique (IP) pour une transaction en écrivant, dans les registres de configuration du périphérique (IP), une configuration de transaction émise par l’application, et dans lequel la couche d’abstraction matérielle (HAL) et le périphérique (IP) sont adaptés pour vérifier une conformité de la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP), le périphérique (IP) étant adapté pour exécuter la transaction uniquement si la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP) est conforme. Système selon la revendication 5, dans lequel le périphérique (IP) est configuré pour émettre un signal d’avertissement à destination de l’application si la configuration de transaction n’est pas conforme de façon à indiquer à l’application que la transaction n’est pas effectuée. Système selon l’une des revendications 5 ou 6, dans lequel pour vérifier la conformité de la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP), la couche d’abstraction matérielle (HAL) est configurée pour : - lire la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP), puis - calculer une configuration de transaction transformée à partir de la configuration de transaction lue, et le périphérique (IP) est configuré pour : - calculer une configuration de transaction transformée à partir de la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP), - comparer entre la configuration de transaction transformée calculée par la couche d’abstraction matérielle (HAL) et la configuration de transaction transformée calculée par le périphérique (IP), le périphérique (IP) étant adapté pour exécuter la transaction uniquement si la configuration de transaction transformée calculée par la couche d’abstraction matérielle (HAL) est égale à la configuration de transaction transformée calculée par le périphérique (IP). Système selon la revendication 7, dans lequel pour vérifier la conformité de la configuration de transaction enregistrée dans les registres de configuration du périphérique (IP), le périphérique (IP) est en outre adapté pour générer une valeur aléatoire dans un registre du périphérique (IP) après la configuration du périphérique (IP), la couche d’abstraction matérielle (HAL) est en outre configurée pour : - lire la valeur aléatoire enregistrée dans un registre du périphérique, puis - calculer une valeur aléatoire transformée à partir de la valeur aléatoire lue, le périphérique est également adapté pour : - calculer une valeur aléatoire transformée à partir de la valeur aléatoire enregistrée dans un registre du périphérique, - comparer la valeur aléatoire transformée calculée par la couche d’abstraction matérielle au la valeur aléatoire transformée calculée par le périphérique, le périphérique (IP) étant adapté pour exécuter la transaction uniquement si la valeur aléatoire transformée calculée par la couche d’abstraction matérielle est égale à la valeur aléatoire transformée calculée par le périphérique.