What is the method in applying formal methods to PLC applications?

Angelika H. Mader, S. Engel (Editor), Hanno Wupper, S. Kowalewski (Editor), J. Zaytoon (Editor)

    Research output: Contribution to conferencePaper

    103 Downloads (Pure)


    The question we investigate is how to obtain PLC applications with confidence in their proper functioning. Especially, we are interested in the contribution that formal methods can provide for their development. Our maxim is that the place of a particular formal method in the total picture of system development should be made very clear. Developers and customers ought to understand very well what they can rely on or not, and we see our task in trying to make this explicit. Therefore, for us the answer to the question above leads to the following questions: Which parts of the system can be treated formally? What formal methods and tools can be applied? What does their successful application tell (or does not) about the proper functioning of the whole system?
    Original languageUndefined
    Number of pages7
    Publication statusPublished - 2000


    • EWI-994
    • IR-56184

    Cite this

    Mader, A. H., Engel, S. (Ed.), Wupper, H., Kowalewski, S. (Ed.), & Zaytoon, J. (Ed.) (2000). What is the method in applying formal methods to PLC applications?. 165-171.