Utilisation des outils de model-checking en temps réel pour la représentation de pratiques de gestion des effluents d'élevage - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Utilisation des outils de model-checking en temps réel pour la représentation de pratiques de gestion des effluents d'élevage

Résumé

L'essor de l'élevage intensif sur l'île de la Réunion a induit une forte production d'effluents qui ne peut plus être négligée face aux contraintes environnementales et réglementaires. Modéliser les actions d'épandage, leurs causes et conséquences, apparaît alors comme un point dé pour tester des scénarios de gestion des effluents d'élevage. Cet article porte sur la représentation dynamique d'un réseau de producteurs (i.e., les élevages) et de consommateurs (i.e., les cultures) d'effluents. II nous faut pour cela confronter des dynamiques de stocks imprécises (considérées comme continues) avec des modèles discrets de représentation des actions. Notre approche est basée sur une modélisation par le formalisme des automates temporisés et la définition d'une procédure, automatisée et générique, d'approximation des modèles continus, avec prise en compte d'imprécisions sur leurs états initiaux et variables d'entrée. Pour chacune des unités (de production ou de consommation) mises en jeu, un modèle est défini. Les actions d'épandage sont alors étudiées en confrontant ces modèles avec des outils de vérification de modèle (model-checking) qui permettent la vérification automatisée de propriétés sur les systèmes ainsi constitués. Cette approche est illustrée par l'étude du fonctionnement d'une exploitation type réunionnaise.
Fichier non déposé

Dates et versions

hal-02815064 , version 1 (06-06-2020)

Identifiants

  • HAL Id : hal-02815064 , version 1
  • PRODINRA : 353262

Citer

Arnaud Helias, Francois Guerrin, Jean-Philippe Steyer. Utilisation des outils de model-checking en temps réel pour la représentation de pratiques de gestion des effluents d'élevage. 4. Rencontres Scientifiques Sciences et Technologies de l'Information et de la Communication (STIC) pour l'Environnement, Apr 2006, Narbonne, France. 8 p. ⟨hal-02815064⟩
28 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More