Modelling and verification methodology for control systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Modelling and verification methodology for control systems

Résumé

La modélisation est un processus dédié à l'analyse des exigences dans le but de formaliser les représentations informelles des exigences système. La vérification, en revanche, est un processus de qualification qui permet de détecter et prévenir les défaillances dans les modèles. Ces deux approches sont de plus en plus utilisées dans l'industrie pour maîtriser la complexité croissante des systèmes conçus. Le papier propose une méthodologie générale de modélisation et de vérification pour les systèmes de contrôle à temps réel en se basant sur la ré-utilisabilité des connaissances des experts du domaine pour favoriser les échanges entre les projets similaires. Le papier présente une architecture d'une plate-forme dédiée à l'évaluation des systèmes basée sur un modèle générique de référence des systèmes de contrôle à temps-réel.
Fichier principal
Vignette du fichier
doc00018207.pdf (835.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01060471 , version 1 (03-09-2014)

Identifiants

  • HAL Id : hal-01060471 , version 1

Citer

Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul, Philippe Bon. Modelling and verification methodology for control systems. TRA - Transport Research Arena, Apr 2014, France. 9p. ⟨hal-01060471⟩
76 Consultations
579 Téléchargements

Partager

Gmail Facebook X LinkedIn More