Nous présentons un sous-ensemble des travaux développés dans le cadre d'un Programme Fédérateur de Recherches sur la sûreté des systèmes industriels. Ils se placent dans le cadre du cycle spécification conception développement de systèmes de commande. l'objectif de ce programme est de rapprocher les équipes de différents laboratoires travaillant sur certains étapes de ce cycle afin d'intégrer au mieux la sûreté de fonctionnement du système.