Regelbasierte Vollstandigkeitsuberprufung von Automatisierungslosungen

摘要

Der Beitrag beschreibt den Einsatz von Regelbasierten Systemen im Bereich der Vollstandigkeitsuberprufung von vorhandenen Automatisierungslosungen. Der Einsatz solcher Systeme bietet eine elegante Moglichkeit, Wissen zu strukturieren und fur den computergestutzten Engineering-Prozess zuganglich zu machen. Wir beleuchten in diesem Beitrag zunachst die Rahmenbedingungen, denen ein Regelbasiertes System im Umfeld der Automatisierungstechnik unterliegt. Ein Aspekt, dem dabei eine besondere Beachtung zukommt, ist die einfache Integrierbarkeit in vorhandene Leitsysteme und Automatisierungswerkzeuge. Wie in [1] ausgefuhrt, bieten sich hierfur insbesondere die Sprachen der DIN 61131-3 [2] an, da sie neben der nativen Integrierbarkeit auch eine grosse Akzeptanz beim Anwender erwarten lassen. Die Verwendung von Funktionsbausteinen, wie sie in [1,3] vorgeschlagen wird, wurde in dem hier vorgestellten Regelbasierten System fur die Formulierung des Fakten- sowie der Produktionsregeln (Regelbasis) aufgegriffen. Erganzt wird sie durch den Einsatz von Ablaufsteuerungen fur die Verarbeitung des in der Regelbasis abgelegten Wissens (Abb. 1). Die dadurch erreichte Trennung von Regeln und Regelverarbeitung vereinfacht die Integration von neuem Regeln in die Regelbasis und ermoglicht eine effizientere Verarbeitung der Regeln.