Le seul logiciel libre que je connaisse pour l'automatisme. Beremiz est capable de compiler les langages de l'automatisme (IEC 61131) et de les convertir en C pour être ensuite compilé avec son compilateur C préféré.
Beremiz est aussi un environnement complet de développement avec débogage de la cible. Le tout en Python.