Le projet de recherche présenté dans cette thèse a été réalisé avec la collaboration de la Direction de l’Ingénierie SNCF et le CReSTIC de l’Université de Reims Champagne-Ardenne (URCA). L’objectif de ce projet est de contribuer à l’amélioration des études de conception du contrôle/commande des projets d’électrification menées par les chargés d’études. Ce projet doit répondre à des objectifs humains, économiques et techniques exprimés par la SNCF, notamment appliqué au domaine des Equipements d’Alimentation des Lignes Electrifiées (EALE). Pour répondre à ces problématiques, une méthodologie pour les études d’automatisation est proposée. Elle intègre deux axes de recherche. Le premier axe est la génération automatique de livrables (codes, documents, schémas…). Celle-ci repose nécessairement sur une standardisation et une modélisation du « métier ». L’approche MDD (Model Driven Development) du génie logiciel et l’approche DSM (Domain Specific Modeling), apportent des éléments de solution reposant sur l’utilisation de templates métiers. Toutefois, il est fondamental de générer des livrables de qualité et du code API (Automates Programmables Industriels) sûr de fonctionnement. Le second axe de recherche s’intéresse à la commande sûre de fonctionnement. Trois approches de synthèse de la commande (Supervisory Control Theory, synthèse algébrique, commande par contraintes logiques) permettant a priori de répondre à ces objectifs de sûreté sont présentées et discutées. La commande par contraintes logiques présente l’avantage majeur de séparer la sécurité (qui est vérifiée formellement hors ligne par model-checking) et le fonctionnel, et de pouvoir être utilisée avec des programmes API existants, ne remettant ainsi pas en cause la méthodologie de travail des chargés d’études.