---

SPS/IPC/Drives 2008

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.

---

Main poster at the SPS/IPC/Drives 2008
Hauptposter-SPS-IPC-Drives-2008.pdf (externe Datei)

Second poster at the SPS/IPC/Drives 2008
Zweitposter-SPS-IPC-Drives-2008.pdf (externe Datei)

Assisted by

Up