Cette possibilité de vérifier et de valider toute structure ESTEREL nous semble très importante pour le type de système que l'on cherche à créer dans le domaine de la vision. Car il est important de pouvoir prouver que le système aura bien le comportement spécifié au départ. Aussi serait-il intéressant d'utiliser une méthodologie à travers laquelle on puisse spécifier, implémenter et aussi valider un système réactif synchrone en utilisant le langage ESTEREL.
Un exemple d'une telle méthodologie est proposé à travers le système ORCCAD ou Open Robot Controller Computer Aided Design, qui a été developpé par l'équipe ICARE - INRIA pour des environnements robotiques.Le système ORCCAD est un environnement conçu pour spécifier, valider avec des méthodes formelles, simuler et implémenter des applications robotiques. Dans ce cadre, une application est perçue comme la composition structurée et hiérachiques en Tâches Robot ou TRS et en Procédures Robot ou PRS. Les TRS sont les actions robotiques appelées, qui combinent des aspects comportementaux mais surtout des aspects liés à la dynamique du système qu'elles contrôlent, et les PRS servent à structurer de manière logique plusieurs TRS dans le but de réaliser un objectif global, les PRS adressent donc principalement les aspects réactifs du système.