Panel discussion on "formal methods in plc control"
Georg Frey · 2002
This panel discussion gives the presenters and the audience more time to discuss the various aspects of formal approaches in logic control presented in the session. Since the papers all consider different approaches to the same problem there is a common base for such a discussion. A problem encountered by one method may be easy to solve by another. Therefore the possibilities of combining several of the presented methods will be one of the topics to be discussed. A second topic of the discussion will be the problems encountered by bringing the presented methods into industrial applications. Finally common problems encountered in applying formal methods to PLC programming should be identified. These may lead to the definition of new research directions.