Vers une méthodologie d'analyse pour la co-conception et la validation de systèmes commandés en réseau - Université de Lille
Communication Dans Un Congrès Année : 2015

Vers une méthodologie d'analyse pour la co-conception et la validation de systèmes commandés en réseau

Résumé

Cet article s'intéresse aux systèmes commandés en réseau ou NCS (Networked Control System) et à la validation formelle de leur comportement. En effet, la présence d'un réseau de communication au sein des NCS implique une validation approfondie de leur conception compte tenu de la distribution des traitements, de l'asynchronisme des horloges des instruments interconnectés et des retards variables dans l'acheminement des informations. Ces retards variables forment une nouvelle source de perturbation pour la commande du système et l'asservissement des grandeurs physiques qui le composent. Un challenge pour le concepteur d'un tel système est de prouver que le système restera, en exploitation, dans sa gamme de fonctionnement nominal en présence de perturbations internes au système ou externes induites par l'environnement. Cet article présente une telle étude et montre qu'une analyse formelle est réalisable pour des systèmes simples pour lesquels moins d'une dizaine de variables d'état sont à dénombrer.
Fichier principal
Vignette du fichier
Qualita15_finale.pdf (563.96 Ko) Télécharger le fichier
Format typeAnnex_author
Loading...

Dates et versions

hal-01149790 , version 1 (07-05-2015)

Identifiants

  • HAL Id : hal-01149790 , version 1

Citer

Blaise Conrard, Laurent Cauffriez, Christophe Aubrun, Jean-Marc Thiriet. Vers une méthodologie d'analyse pour la co-conception et la validation de systèmes commandés en réseau. QUALITA 2015 - 11ème Congrès International Pluridisciplinaire en Qualité, Sûreté de Fonctionnement et Développement Durable, Mar 2015, Nancy, France. ⟨hal-01149790⟩
311 Consultations
72 Téléchargements

Partager

More