Une sémantique formelle pour les modèles Simulink - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Une sémantique formelle pour les modèles Simulink

Abstract

De nombreux projets industriels, notamment dans la construction automobile, font appel à la suite d'outils Simulink pour la conception et la validation de composants critiques représentant des systèmes hybrides c'est-à-dire combinant des aspects discrets et continus. Cependant les formalismes associés ne disposent pas d'une sémantique formelle ce qui peut diminuer la confiance des ingénieurs vis-à-vis des résultats produits. Nous proposons ici une telle sémantique en procédant en deux étapes. Nous développons d'abord une sémantique exacte mais non exécutable. Puis nous l'enrichissons d'une sémantique opérationnelle approchée avec pour objectif une quantification de l'erreur issue de cette approximation.
Fichier principal
Vignette du fichier
ETR17-paper.pdf (352.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01578297 , version 1 (28-08-2017)

Identifiers

  • HAL Id : hal-01578297 , version 1

Cite

Béatrice Bérard, Yann Duplouy, Serge Haddad. Une sémantique formelle pour les modèles Simulink. École d'été Temps Réel 2017, Aug 2017, Paris, France. ⟨hal-01578297⟩
231 View
296 Download

Share

Gmail Facebook X LinkedIn More