Modellbasiert automatisieren mit Eclipse

Die Erstellung fehlerfreier Software hat im Bereich der Automatisierungstechnik einen hohen Stellenwert. Ein Fehlverhalten von Steuerungen kann in Automatisierungsanlagen leicht zu hohen Sachschäden oder gar Personenschäden führen. Ein Ansatz zur Fehlervermeidung und gleichzeitiger Effizienzsteigerung ist das Arbeiten mit Modellen und Prüfen von Randbedingungen an dem Modell und anschließendem vollautomatischen Ableiten des Steuerungsprogramms. Dadurch werden Fehler bei der manuellen Kodierung des Steuerungsprogramms ausgeschlossen. Bisher standen leistungsfähige Modellierungsund Generierwerkzeuge nur für die in der IT-Welt verbreiteten Programmiersprachen wie C/C++ und Java zur Verfügung. Im Bereich der Automatisierung hingegen sind die Sprachen KOP, FUP und AWL dominierend (vgl. IEC 61131-3). Der Anteil der in diesen Sprachen geschriebenen Software im Vergleich zum globalen Softwareaufkommen (in z.B. C und Java) ist jedoch nicht so hoch, dass es sich für die namhaften Softwareanbieter lohnen würde, entsprechende Werkzeuge anzubieten. Mittlerweile hat aber das Projekt Eclipse umfangreiche Komponenten herausgebracht, die alle genannten Aspekte befriedigen können. In diesem Beitrag wird anhand eines Beispiels gezeigt, wie man diese Komponenten zu einem leistungsfähigen Werkzeug zur Generierung hochwertiger SPS-Programme nutzen kann.