A New Approach of Qualitative Simulation for the Validation of Hybrid Systems

Slim Medimegh 1 Jean-Yves Pierron 1 Jean-Pierre Gallois 1 Frédéric Boulanger 2, 3, 4, 5
1 CEA - LIST
2 CentraleSupélec
3 Université Paris-Saclay
4 LRI - Laboratoire de Recherche en Informatique
5 MODHEL - LRI - Modélisation hétérogène (LRI)
LRI - Laboratoire de Recherche en Informatique
Abstract : Hybrid systems are specified in a heterogeneous form, with discrete and continuous parts. Simulating such systems requires precise data and computational power in order to synchronize continuous changes and discrete transitions. However, in the early design stages, the lack of precision about some parameters forbids such simulations. Qualitative simulation consists in computing only some qualities of the behavior, without computing the exact values. We present here a new approach for the qualitative simulation of hybrid systems, which relies on an abstract model of the state variables and of the qualitative aspects of their evolution. This model is analyzed by the Diversity symbolic execution engine to build the qualitative behaviors of the system.
Keywords : hybrid systems qualitative simulation verification validation
Type de document :
Communication dans un congrès
GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016, Oct 2016, Saint Malo, France. CEUR Workshop Proceedings, 2016, Proceedings of the GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016. 〈http://gemoc.org/gemoc2016/〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger
https://hal-centralesupelec.archives-ouvertes.fr/hal-01398735
Contributeur : Frédéric Boulanger <>
Soumis le : jeudi 17 novembre 2016 - 16:28:30
Dernière modification le : mardi 24 avril 2018 - 13:51:04
Document(s) archivé(s) le : jeudi 16 mars 2017 - 16:58:05

Fichier

article-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01398735, version 1

Collections

TDS-MACS | UMR8623 | INRIA | CEA | CEA-UPSAY | CENTRALESUPELEC | LRI-MODHEL | UNIV-PARIS-SACLAY

Citation

Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frédéric Boulanger. A New Approach of Qualitative Simulation for the Validation of Hybrid Systems. GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016, Oct 2016, Saint Malo, France. CEUR Workshop Proceedings, 2016, Proceedings of the GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016. 〈http://gemoc.org/gemoc2016/〉. 〈hal-01398735〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

252

Téléchargements de fichiers

75

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD