La conception d’interface écologique se décompose en deux étapes, une analyse du domaine de travail et une retranscription des informations du domaine en des représentations écologiques (Naikar, 2010). Ce type de conception a montré son efficacité pour la supervision de système complexe (Burns, 2008). Cependant, Vicente (2002) a pointé deux lacunes le temps de conceptions très long et la difficulté à transcrire de manière formalisée un domaine de travail en des représentations écologiques. De même, il n’existe pas d’outil formel de validation de domaine de travail. Dans ce manuscrit, nous proposons plusieurs réponses à la question : comment formaliser la conception d’une interface écologique, afin de réduire le temps et les efforts liés à la conception ? La première proposition est un outil de vérification de modèle de domaine de travail basé sur la méthode TMTA (Morineau, 2010). La seconde apporte, au travers d’une deuxième version du flot Anaxagore (Bignon, 2012), une intégration des travaux de Liu et al (2002) avec le principe d’une bibliothèque de widgets écologiques associée à un schéma d’entrées de haut niveau. Sur la base du domaine de travail d’un système d’eau douce sanitaire à bord d’un navire, une interface écologique a été implémentée et validée expérimentalement. Cette interface a été comparée à une interface conventionnelle générée également par le flot Anaxagore. Les résultats montrent que les interfaces écologiques favorisent un plus grand nombre de parcours cohérents dans un domaine de travail. Elles favorisent également une meilleure précision du diagnostic pour les opérateurs utilisant les interfaces écologiques. / The ecological interface design is composed of two steps, a work domain analysis and a transcription of the information of the work domain into ecological representation (Naikar, 2010). This kind of design showed his effectiveness for the supervision of complex system (Burns, 2008). Nevertheless, Vicente (2002) highlighted two issues, the long design time and the difficulties to translate with a formal way a work domain into ecological representation. Moreover, he doesn’t exist a formal tool of validation for a work domain. Several tools and works allow to be comfortable in the possibility to find some solution (Functional methodology (Liu et al, 2002), TMTA (Morineau, 2010) and Anaxagore (Bignon, 2012). We propose several answers at the issue: how formalize the design of an ecological interface in order to reduce the time and effort linked to the design? The first proposition is a tool of verification of model of work domain based on a simulation by TMTA. The second bring thanks to a second version of the Anaxagore flow, an integration of the works of Liu et al (2002) with the principle of the ecological library of ecological widget linked to a scheme of input of high level. Based on the work domain of a fresh water system in a ship, an ecological interface has been implemented and validated experimentally. This interface has been compared with a conventional interface also generated by Anaxagore. The results show that the ecological interface promotes a biggest numbers of coherent ways in the work domain. This kind of interface also promotes a better accuracy of the diagnostic for the operators using the ecological interface.