Model checking paramétrique statistique du plan de vol de drone civil - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Model checking paramétrique statistique du plan de vol de drone civil

Abstract

Les drones sont maintenant très répandus dans la société et sont souvent utilisés dans des situations dangereuses pour le public environnant. Il est alors nécessaire d'étudier leur fiabilité, en particulier dans le contexte de vols au-dessus d'un public. Dans cet article, nouś etudions la modélisation et l'analyse de drones dans le contexte de leur plan de vol. Pour cela, nous construisons un modèle probabiliste paramétrique du drone et l'utilisons ainsi que son plan de vol pour modéliser la trajectoire du drone. Ce modèle prend en compte des paramètres comme la défaillanceéventuelle du filtre ou du capteur (comme le GPS), ainsi que la force et la direction du vent. Du fait de la nature et de la complexité des modèles successifs obtenus, leur vérification avec les outils PRISM ou PARAM est impossible. Nous développons donc une nouvelle méthode d'approximation, appelée Parametric Statistical Model Checking, afin de calculer les probabilités de défaillance du drone. Cette méthode aété implémentée dans un prototype, que nous avons utilisé pour résoudre des difficultés complexes dans uneétude de cas réelle.
Fichier principal
Vignette du fichier
MSR19_paper_13.pdf (639.66 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02432687 , version 1 (08-01-2020)

Identifiers

  • HAL Id : hal-02432687 , version 1

Cite

Ran Bao, Christian Attiogbe, Paulin Fournier, Didier Lime. Model checking paramétrique statistique du plan de vol de drone civil. MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France. ⟨hal-02432687⟩
58 View
87 Download

Share

Gmail Facebook X LinkedIn More