Computer Science Graduate Seminar

Tuesday, November 10, 2020, 2:00pm

Unterstützung der SPS-Programmierung durch Statische Analyse während der Programmeingabe

  • Ort: video conference (Zoom meeting, more information can be found below)
  • Speaker: Mathias Obster, M.Sc. RWTH (Informatik 11 - Embedded Software)

 

Abstract

Durch abstrakte Interpretation und genauer durch Wertemengenanalyse lassen sich vollautomatisch Fehler in Programmcode finden, ohne diesen auszuführen. Bei Programmen für Speicherprogrammierbare Steuerungen (SPSen) ist dies für die Fehlervermeidung von besonderem Interesse, da sie im industriellen Umfeld zum Einsatz kommen.

In diesem Vortrag wird ein Ansatz vorgestellt, mit dem diese Methoden bereits während der Programmeingabe, also während der Entwicklung eines SPS-Programms, zur Fehlererkennung und -vermeidung beitragen kann. Dafür wurde das Analyseframework ARCADE.PLC erweitert, sodass es Analyseergebnisse in einer Entwicklungsumgebung darstellen kann, die auch in der Industrie zum Einsatz kommt. So können dort sowohl Warnungen vor potenziell fehlerhaftem Programmverhalten als auch mögliche Variablenwerte dargestellt werden.

Ein neu eingeführter inkrementeller Ansatz kann darüber hinaus den Berechnungsaufwand verringern, der sonst durch die häufige Ausführung der Analysen entsteht. Dabei wird ausgenutzt, dass sich während der Entwicklung in kurzen Zeitintervallen üblicherweise nur kleine Änderungen für das Gesamtprogramm ergeben.

Für die Bereitstellung einer integrierten Lösung für den Anwender wurden die Konzepte und eine Erweiterung für eine Entwicklungsumgebung für SPS-Programme prototypisch umgesetzt und im Rahmen einer kleinen Nutzerstudie evaluiert. Dabei stand die Frage im Mittelpunkt, ob Programmierer während der Eingabe und Bearbeitung eines SPS-Programms von Ergebnissen der Statischen Analyse profitieren können.

The computer science lecturers invite interested people to join.

 

Zoom Information

Topic: [Promotion Mathias Obster] Vortrag
Time: 10.Nov.2020 02:00 PM Amsterdam, Berlin, Rom, Stockholm, Wien

Join Zoom meeting
https://rwth.zoom.us/j/98589897540?pwd=OWZidEpuU1N5bjA5UFIxcFhNUEJidz09

Meeting ID: 985 8989 7540
Passcode: 111012