English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Open

Presents the pdf analysis as premium feature

PDF Analysis

Insights

Presents the summarisation as premium feature

Summarisation

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Für die Implementierung von Speicherprogrammierbaren Steuerungen (SPS) existiert mit der IEC 61131 heute ein Standard. Darüber hinaus gibt es eine ganze Reihe formaler und semi-formaler Entwicklungsmethodiken für SPSProgramme. Während der SPS-Standard den Austausch von Algorithmen ermöglicht (wenn z. B. eine neue Hardware zum Einsatz kommen soll), stellt die Anwendung formaler Methoden die Möglichkeit dar, die Funktionalität der Programme nachzuweisen. Darüber hinaus erlaubt ein formaler, vom Zielsystem abstrahierender Entwicklungsprozess die Implementierung der entwickelten Algorithmen auf verschiedenen Systemen. Nun gibt es jedoch eine Vielzahl bestehender SPS-Programme, die implementiert wurden, noch bevor der Standard existierte und selbst heute werden viele Programme noch ohne die Unterstützung formaler Methoden entworfen. Der Transfer eines solchen Programms auf ein neues Zielsystem stellt ein großes Problem dar. Dieses Re-Engineering ist immer dann nötig, wenn die Steuerungshardware ausgetauscht werden muss, aber das im Programm verborgene Know-how erhalten bleiben soll. Im Rahmen dieser Arbeit wurde ein Re-Engineering-Ansatz entwickelt, welcher auf der Formalisierung der SPS-Programme beruht. Als Ausgangspunkt dienen Programme in der weit verbreiteten SPS-Sprache AWL (Anweisungsliste). Zunächst erfolgt eine Übersetzung der AWL-Programme Re-Engineering-Ansatz bestehender Steuerungsprogramme auf der Basis formaler Beschreibungen