Skip to Main content Skip to Navigation
Conference papers

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

Ran Bao 1 Christian Attiogbe 2, 3 Paulin Fournier 2, 3 Didier Lime 2, 4 
3 AeLoS - Architectures et Logiciels Sûrs
LS2N - Laboratoire des Sciences du Numérique de Nantes
4 STR - STR
LS2N - Laboratoire des Sciences du Numérique de Nantes
Résumé : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02432687
Contributor : Mehdi Lhommeau Connect in order to contact the contributor
Submitted on : Wednesday, January 8, 2020 - 3:38:35 PM
Last modification on : Friday, August 5, 2022 - 2:54:51 PM
Long-term archiving on: : Thursday, April 9, 2020 - 11:52:53 PM

File

MSR19_paper_13.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02432687, version 1

Citation

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⟩

Share

Metrics

Record views

51

Files downloads

69