Codesys. Изучите языки ST, LD, FB, CFC и SFC (у последнего 2 типа блоков - МЭКовские и нет). IL можно изучить, но, как Ассемблер, его мало кто применяет.
Чтобы развить SFC, можете начинать изучать
StateFlow в Матлабе.
Тип контроллера не важен. Важен стиль программирования (понятие скана), протоколы общения.
Охранка и пожарка с этим вообще не связаны.