Notre objectif est d'aider au développement de modèles architecturaux en fournissant des techniques et outils de détection d'erreurs pendant les phases de spécification et de conception. Les modèles réalisés portent sur les aspects comportementaux de systèmes réactifs : nous cherchons à savoir si les propriétés de vivacité sont préservées durant la mise au point et l'enrichissement des modèles. Pour ceci, le développement des modèles est conduit de façon incrémentale et des comparaisons sont réalisées entre les incréments successifs. Les relations de comparaison utilisées sont basées sur la relation de conformité définie sur les systèmes de transitions étiquetées.