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

Cet article s'interesse aux systemes commandes en reseau ou NCS (Networked Control System) et a la validation formelle de leur comportement. En effet, la presence d'un reseau 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 interconnectes et des retards variables dans l'acheminement des informations. Ces retards variables forment une nouvelle source de perturbation pour la commande du systeme et l'asservissement des grandeurs physiques qui le composent. Un challenge pour le concepteur d'un tel systeme est de prouver que le systeme restera, en exploitation, dans sa gamme de fonctionnement nominal en presence de perturbations internes au systeme ou externes induites par l'environnement. Cet article presente une telle etude et montre qu'une analyse formelle est realisable pour des systemes simples pour lesquels moins d'une dizaine de variables d'etat sont a denombrer.