Martin Luther University Halle-Wittenberg

Messefoto 2007

Documents

Main Poster
Poster 1 SPS 2009.pdf (1.9 MB)  vom 12.11.2009

Poster 2 SPS 2009.pdf (2.3 MB)  vom 12.11.2009

Further settings

Login for editors

SPS/IPC/Drives 2009

24th to 26th November | Hall 08 |Stand 8-402

SPS 2009 Logo

SPS 2009 Logo

Nowadays, the area of entire automation industries focuses on the design of distributed and object-oriented controllers. The verification of the control software is a growing task but for this a formal specification of behavior and formal models of plant and controller are necessary. In the example of the demonstrator of the EnAS testbed, possibilities are pointed out, how to derive formal specifications and formal controller and plant models.


Main poster at SPS/IPC/Drives 2009.
Poster 1 SPS 2009.pdf (1.9 MB)  vom 12.11.2009

Second poster at SPS/IPC/Drives 2009.
Poster 2 SPS 2009.pdf (2.3 MB)  vom 12.11.2009

Sponsored by:

Up