Certifiable Logic Programmable Controllers

latest update: November 25, 2004


The goal of the project is the computer aided development of verifiable reliable controller software. A developmently development environment is in preparation. Essentially, this environment is a dedicated variant of a general framework for a Petri net bases workbench (compare our project 'Petri net workbench'). It should aid the whole development process of logic programmable controllers. The main task is to make a methodically and tool aided software technology available, which is dedicated to the special requirements and practice of the field. Therefore, it is more likely that there is a change of acceptance by controller programmers.

The components of the development environment will be collected into an integrated tool box for the engineering of certifiable controller software. Informal, semi-formal and graphical techniques in connection with in academically proved formal methods will be used.

Along this line, we had the DFG projects  "Me 1557/1-1 and 2", 1997 -  2001, in cooperation with the chair of Automatisierungstechnik (Prof. Meier) of the Brandenburg Techn. Univ. of Cottbus.



Ph. D. Theses

Some papers


For more (including BTU reports, slides) see selected references.

. . .  t h e  e n d  . . .

Any comments or questions are welcome. Please direct them to: