Wanted: SFC/IL code for academic research


Thread Starter

Ralf Huuck

We are a research group at the Computer Science Department at the University of Kiel, Germany, focusing on the development of tools for PLC
software verification. In particular we build a verification tool for Sequential Function Charts and a testing/debugging tool for Instruction List programs.

Although we are a leading group in theoretical research, we still lack behind in hands on experience when in comes to "real life" program
code. In order to improve our methods and push the development ahead, we are currently looking
for SFCs and IL programs of existing applications.

If any one can provide us code and/or case studies of implemented projects we will very much appreciate. As a benefit we will report the
results to the party provided the code if wished so and help improving your software.

Any non-disclosure guarantee can be provided since we are interested in quantitative results only and will not publish any code, any
affiliations or anything that identifies the project.

Please contact me:

email: [email protected]-kiel.de
web: http://www.informatik.uni-kiel.de/~rhu/