G. Frey: "Systematisches Re-Engineering bestehender Steuerungsprogramme auf der Basis formaler Beschreibungen"

<BODY> <H1>www.aud24.net : G. Frey: "Systematisches Re-Engineering bestehender Steuerungsprogramme auf der Basis formaler Beschreibungen"</H1> <P> <BR> [<A href="/">www.aud24.net</A>] [<A href="../index.html">back</A>] </P> <TABLE WIDTH=100% BORDER=0 CELLSPACING=0 CELLPADDING=0> <TR> <TD VALIGN=top> <TABLE WIDTH=100% BORDER=0 CELLSPACING=0 CELLPADDING=0> <TR> <TD VALIGN=TOP CLASS=detailBereichRedaktion>Bereich > Redaktion > <B><FONT color="#CC3300">Fachbeiträge</FONT></B></TD> <TD ALIGN=right VALIGN=bottom CLASS=detailDatum></TD> </TR> </TABLE> </TD> <TD VALIGN=top> </TD> <TD VALIGN=top> </TD> </TR> <TR> <TD VALIGN=top CLASS=detailFirma ID=topSpace>A&D Fachmedien:</TD> <TD VALIGN=top> </TD> <TD VALIGN=top> </TD> </TR> <TR> <TD VALIGN=top CLASS=detailTitel>G. Frey: "Systematisches Re-Engineering bestehender Steuerungsprogramme auf der Basis formaler Beschreibungen"</TD> <TD VALIGN=top> </TD> <TD VALIGN=top> </TD> </TR> <TR> <TD VALIGN=top CLASS=detailSubtitel></TD> <TD VALIGN=top> </TD> <TD VALIGN=top> </TD> </TR> <TR> <TD VALIGN=top> <TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0> <TR> <TD VALIGN=top CLASS=detailContent> <TABLE WIDTH=1 BORDER=0 ALIGN=left CELLPADDING=0 CELLSPACING=0> <TR> <TD><IMG width=150 border=0 src="http://www.publish-industry.net/publish-industry/company-resources/publish-industry-master_763749453.jpg"></TD> </TR> <TR> <TD CLASS=detailBildunterschrift>Umsetzung von AWL in einen Automaten</TD> </TR> </TABLE> Maschinen und Anlagen in der Industrie, aber auch Einrichtungen zur Automation in Gebäuden (Aufzüge) und im Verkehr (Ampelanlagen) werden größtenteils unter Verwendung speicherprogrammierbarer Steuerungen (SPS) automatisiert. Das Re-Engineering bestehender SPS-Steuerungsprogramme gewinnt aufgrund zweier Faktoren zunehmende Bedeutung für die Wirtschaft: 1. Steigende Anforderungen an die Qualität der Produkte erfordern die umfangreiche Verifikation und Dokumentation der Steuerungseigenschaften. 2.Der Umstieg auf modernere Hardware erfordert den Transfer des Steuerungs-Know-hows. Bei der Steuerungsprogrammierung werden selten Methoden der modernen Softwaretechnologie eingesetzt. Weiterhin werden Steuerungen oft während des Betriebs der Anlage umprogrammiert, um sie an neue Anforderungen anzupassen. Das führt dazu, dass für eine implementierte Steuerung praktisch nie eine formale Beschreibung vorliegt. Ergebnisse: Eine formale Beschreibung bildet die Basis für neuere Methoden der Steuerungstechnik. Dies sind zum einen systematische Methoden zur Prüfung von Funktionalität und Sicherheit der Steuerung, wie dynamische Simulation und formale Verifikation. Andererseits aber auch Methoden zur automatischen Generierung von Laufzeit-Code für neuere Hardware (Software-Reuse) und zur Erzeugung von Fehlererkennungs- und Diagnoseprogrammen. In diesem Projekt wird ein neues Verfahren zum Re-Engineering von Steuerungsprogrammen entwickelt. Die entwickelte Formalisierung für AWL-Programme schließt sowohl binäre und digitale Operationen wie auch Zähl- und Zeitfunktionen ein. Zur formalen Beschreibung werden einerseits Automaten (Dynamik) und andererseits UML-Klassendiagramme (Struktur) eingesetzt. Die Transformation der Modelle basiert auf XML und damit in Zusammenhang stehenden Technologien wie XSLT und XMI. Bevor das formale Modell erstellt wird, werden die AWL-Programme in abstraktere Algorithmen umgesetzt. Der Einfluss der einzelnen AWL-Befehle auf den Systemzustand ist ein wichtiges Kriterium bei dieser Abstraktion. Diese Betrachtung erlaubt eine Einstufung aller AWL-Befehle in verschiedene Typklassen. Bei der Abstraktion werden die Befehle abhängig von ihrer Einstufung zusammengefasst. Das Ergebnis ist eine Folge von IF-THEN-ELSE-Anweisungen. Dies ermöglicht es, dass im Weiteren zusammenhängende Abschnitte und nicht einzelne Programmzeilen dargestellt werden. Aus der generierten Folge von IF-THEN-ELSEAnweisungen wird im nächsten Formalisierungsschritt ein Automatenmodell entwickelt. Dieses Automatenmodell stellt die Grundlage für die spätere Re-Implementierung dar. Anwendungsreife: Die bisher realisierten Verfahrensschritte wurden prototypisch in ein Engineering-Werkzeug implementiert. Hierbei wurden hauptsächlich freie, standardisierte, bzw. Plattform-neutrale Technologien wie XML, XSLT, UML, SVG, Java, etc. eingesetzt. Die Software-Werkzeuge wurden zunächst für die AWL der Siemens S5 (Step 5) entwickelt. Die Methoden als solche sind aber generisch, sie können also auch auf andere AWL-Dialekte angepasst werden. Im weiteren Projektverlauf ist eine volle Integration der entstehenden Modelle in eine UML-Umgebung vorgesehen. <a href="http://www.aud24.net/media/automation-drives/audk2005-2006/ad6a0402.pdf" target="_blank">Vollbeitrag als PDF</a></TD> </TR> <TR> <TD CLASS=detailQuelle> </TD> </TR> </TABLE> </TD> <TD WIDTH=28 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=1 HEIGHT=1 ALT=""></TD> <TD WIDTH=174 VALIGN=top></TD> </TR> <TR> <TD VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=393 HEIGHT=1 ALT=""></TD> <TD WIDTH=28 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=28 HEIGHT=1 ALT=""></TD> <TD WIDTH=174 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=174 HEIGHT=1 ALT=""></TD> </TR> </TABLE> <P><I>Diese Seite wurde am 22.09.2006, 14:05 Uhr aktualisiert</I></P> </BODY>