DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques - Archive ouverte HAL Access content directly
Conference Papers Year :

DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques

Abstract

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.
Not file

Dates and versions

hal-01450917 , version 1 (31-01-2017)

Identifiers

  • HAL Id : hal-01450917 , version 1

Cite

Julien Alexandre Dit Sandretto, Alexandre Chapoutot. DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. ⟨hal-01450917⟩
241 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More