%0 Conference Proceedings %T Une sémantique formelle pour les modèles Simulink %+ Modélisation et Vérification (MoVe) %+ Modeling and Exploitation of Interaction and Concurrency (MEXICO) %+ Laboratoire Spécification et Vérification [Cachan] (LSV) %+ IRT SystemX %A Bérard, Béatrice %A Duplouy, Yann %A Haddad, Serge %Z Simulation pour la Sécurité du Véhicule Autonome SVA http://www.irt-systemx.fr/project/sva/ %< avec comité de lecture %Z SVA %( Actes de l'École d'été Temps Réel 2017 %B École d'été Temps Réel 2017 %C Paris, France %8 2017-08-28 %D 2017 %Z Computer Science [cs]/Modeling and Simulation %Z Computer Science [cs]/Embedded Systems %Z Computer Science [cs]/Automatic Control EngineeringConference papers %X 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. %G French %2 https://hal.science/hal-01578297/document %2 https://hal.science/hal-01578297/file/ETR17-paper.pdf %L hal-01578297 %U https://hal.science/hal-01578297 %~ UPMC %~ CNRS %~ INRIA %~ ENS-CACHAN %~ INRIA-SACLAY %~ INRIA_TEST %~ TESTALAIN1 %~ LIP6 %~ INRIA2 %~ TDS-MACS %~ IRT-SYSTEMX %~ UNIV-PARIS-SACLAY %~ INRIA-SACLAY-2015 %~ ENS-CACHAN-SACLAY %~ UPMC_POLE_1 %~ INRIA2017 %~ SORBONNE-UNIVERSITE %~ SU-SCIENCES %~ SU-TI %~ LSV-AUTO %~ FARMAN %~ ENS-PARIS-SACLAY %~ GS-COMPUTER-SCIENCE %~ ALLIANCE-SU