Chair for Automation Technology
Head of Chair
Prof. Dr.-Ing. Hans-Michael Hanisch
Phone: +49-345-55-25970
hans-michael.hanisch@informatik.uni-halle.de
Office
Ramona Vahrenhold
Phone: +49-345-55-25971
Telefax: +49-345-55-27304
sekretariat.hanisch@informatik.uni-halle.de
Contact
Prof. Dr.-Ing. Hans-Michael Hanisch
Kurt-Mothes-Straße 1 (URZ)
06120 Halle (Saale)
Germany
phone: 0345-55-25971
fax: 0345-55-27304
sekretariat.hanisch@informatik.uni-halle.de
postal address:
Martin-Luther-Universität Halle-Wittenberg
Naturwissenschaftliche Fakultät III
Institut für Informatik
Lehrstuhl Automatisierungstechnik
06099 Halle (Saale)
Germany
News of the Chair for Automation Technology
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.

