Ce poster présente une nouvelle modélisation asymptotique de la diffusion électromagnétique cohérente par des milieux multi-couches contenant des interfaces rugueuses. Elle résulte de l’extension de l’approximation de Kirchhoff scalaire à un empilement d’interfaces. Ce modèle permet de simuler de façon rapide et réaliste le signal GPR (Ground Penetrating Radar), en prenant en compte la rugosité des interfaces du milieu multi-couches. Des comparaisons avec une méthode numérique de référence basée sur la méthode des moments (MdM) permettent de valider ce modèle.
Résumé
Ce papier présente notre travail sur l’implémentation
d’un dispositif de vérification en ligne pour la surveillance
d’une application qui s’exécute sur un SoPC (System on
Programmable Chip). Le but est de vérifier que l’exécution
de l’application est conforme à un ensemble de
propriétés. Cette vérification est réalisée par des moniteurs
implémentés sur le FPGA du SoPC. Ces moniteurs
sont générés à partir de spécifications qui traduisent le
comportement du système exprimé dans le langage formel
ptLTL (past-time Linear Temporal Logic).
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|