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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01450917
Contributor : Alexandre Chapoutot <>
Submitted on : Tuesday, January 31, 2017 - 2:43:58 PM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM

Identifiers

  • HAL Id : hal-01450917, version 1

Citation

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⟩

Share

Metrics

Record views

265