DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques
Résumé
Les systèmes cyber-physiques requièrent des méthodes de vérification nouvelles. En particulier, des preuves de propriétés fonctionnelles nécessitent la prise en compte de l’environnement physique qui évolue de manière continue dans le temps, souvent décrit par des équations différentielles. Outre des méthodes d'intégration numérique, il est également nécessaire de pouvoir calculer avec des ensembles de valeurs afin de prouver des propriétés pour toutes les exécutions. DynIBEX est une bibliothèque libre qui offre un ensemble de méthodes permettant l'étude des systèmes cyber-physiques en fournissant des méthodes d’intégration ensembliste combinées avec des méthodes de résolution de contraintes intervalles.