|
| |
| Verifikation des Anlagenverhaltens | Zur besseren Nutzung der gegebenen Ressource, wie Rechenleistung und Kommunikationsbandbreite werden Steuerungen im zu nehmenden Maße verteilt und zur Unterstützung der Wiederverwendbarkeit objektorientiert erstellt. Somit steigt die Komplexität und die Wahrscheinlichkeit Fehler zu implementieren.
Deshalb wird am Beispiel des Demonstrators des EnAS-Projektes aufgezeigt wie sichergestellt werden kann, dass das a priori spezifizierte Produktions- und Sicherheitsverhalten der Anlage erfüllt ist. Um dies zu überprüfen, können verschiedenen Testverfahren wie Software und Hardware in the Loop genutzt werden. Jedoch sind dies nur Tests und um das geforderte Verhalten mathematische korrekt zu überprüfen, muss der Zustandsraum des im Kreis gekoppelten Anlagen- und Steuerungsmodells die gegebene Spezifikation erfüllen. Hierzu werden Wege aufgezeigt, wie anhand des Lastenheftes eine formale Spezifikation, aus einer gegebenen Steuerung automatisch ein formales Modell und aus der CAE Beschreibung der Anlage ein Anlagenmodell gewonnen werden kann.
Due to the better use of the limited resources like computation power and communication bandwidth the upcomming control systems will distributed and closer to the field devices. Further parts of the control system will be reuseable and therefore object oriented programmed. This leads to an even more complex control system wih possible faults.
Out of these reasons it should be shown at the example of the EnAS testbed how a verifcation of the closed-loop system of the plant and the control is possible. Using a CAE/CAD description of the plant a formal plant model should be derived as well as a formal spezification of the plant behaviour out of the provided functional requirements and a formal control model out of the implemented control. | | Zum Internetauftritt hier klicken! ... | Dipl.-Ing. Christian Gerber 
 Anfrage stellen | Martin-Luther-Universität Halle-Wittenberg
Institut für Informatik
Lehrstuhl Automatisierungstechnik
Kurt-Mothes-Straße 1
06099 Halle
Telefon: 0345-5525974
Fax: 0345-5527304 | Gerber, Dipl.-Ing. Christian
Anfrage stellen | Preuße, Dipl.-Ing. Sebastian
Anfrage stellen |
| |
|
|
|
www.forschung-fuer-die-zukunft.de
2010
© Technologie-Transfer-Zentrum Universität Magdeburg
|
|
| Infos und Bedienhinweise |
Zu diesem Thema ist kein Hilfe- oder Bedienhiweis im Messeportal registriert. Falls Sie eine Frage haben, können Sie sich
auch an unseren Online-Support wenden, oder ihre Frage an uns zusenden.
|
|
|
|
|
|
|
|
SPS/IPC/DRIVES 2008
