Une sémantique formelle pour les modèles Simulink

Béatrice Bérard 1, 2, 3 Yann Duplouy 4, 2, 3 Serge Haddad 2, 3
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Résumé : 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.
Type de document :
Communication dans un congrès
École d'été Temps Réel 2017, Aug 2017, Paris, France. Actes de l'École d'été Temps Réel 2017, 2017, 〈https://etr2017.sciencesconf.org/〉
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01578297
Contributeur : Yann Duplouy <>
Soumis le : lundi 28 août 2017 - 23:18:56
Dernière modification le : jeudi 22 novembre 2018 - 14:40:24

Fichier

ETR17-paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01578297, version 1

Citation

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. Actes de l'École d'été Temps Réel 2017, 2017, 〈https://etr2017.sciencesconf.org/〉. 〈hal-01578297〉

Partager

Métriques

Consultations de la notice

271

Téléchargements de fichiers

110