A Classification of PLC Models and Applications

Angelika H. Mader, R. Boel (Editor), G. Stremersch (Editor)

    Research output: Contribution to conferencePaper

    88 Downloads (Pure)

    Abstract

    In the past years there is an increasing interest in analysing PLC applications with formal methods. The first step to this end is to get formal models of PLC applications. Meanwhile, various models for PLCs have already been introduced in the literature. In our paper we discuss several classification criteria that characterise different ways of modelling. The criteria include the PLC execution mechanism, the treatment of time and language fragments used. We try to motivate by examples which models are useful for which class of applications. Finally, we briefly reflect on a number of models from the literature according to the criteria discussed.
    Original languageUndefined
    Pages239-247
    Number of pages9
    Publication statusPublished - Aug 2000

    Keywords

    • EWI-995
    • IR-56182

    Cite this

    Mader, A. H., Boel, R. (Ed.), & Stremersch, G. (Ed.) (2000). A Classification of PLC Models and Applications. 239-247.
    Mader, Angelika H. ; Boel, R. (Editor) ; Stremersch, G. (Editor). / A Classification of PLC Models and Applications. 9 p.
    @conference{deb6efc21b4b47549c3724547e403b22,
    title = "A Classification of PLC Models and Applications",
    abstract = "In the past years there is an increasing interest in analysing PLC applications with formal methods. The first step to this end is to get formal models of PLC applications. Meanwhile, various models for PLCs have already been introduced in the literature. In our paper we discuss several classification criteria that characterise different ways of modelling. The criteria include the PLC execution mechanism, the treatment of time and language fragments used. We try to motivate by examples which models are useful for which class of applications. Finally, we briefly reflect on a number of models from the literature according to the criteria discussed.",
    keywords = "EWI-995, IR-56182",
    author = "Mader, {Angelika H.} and R. Boel and G. Stremersch",
    note = "Imported from DIES",
    year = "2000",
    month = "8",
    language = "Undefined",
    pages = "239--247",

    }

    Mader, AH, Boel, R (ed.) & Stremersch, G (ed.) 2000, 'A Classification of PLC Models and Applications' pp. 239-247.

    A Classification of PLC Models and Applications. / Mader, Angelika H.; Boel, R. (Editor); Stremersch, G. (Editor).

    2000. 239-247.

    Research output: Contribution to conferencePaper

    TY - CONF

    T1 - A Classification of PLC Models and Applications

    AU - Mader, Angelika H.

    A2 - Boel, R.

    A2 - Stremersch, G.

    N1 - Imported from DIES

    PY - 2000/8

    Y1 - 2000/8

    N2 - In the past years there is an increasing interest in analysing PLC applications with formal methods. The first step to this end is to get formal models of PLC applications. Meanwhile, various models for PLCs have already been introduced in the literature. In our paper we discuss several classification criteria that characterise different ways of modelling. The criteria include the PLC execution mechanism, the treatment of time and language fragments used. We try to motivate by examples which models are useful for which class of applications. Finally, we briefly reflect on a number of models from the literature according to the criteria discussed.

    AB - In the past years there is an increasing interest in analysing PLC applications with formal methods. The first step to this end is to get formal models of PLC applications. Meanwhile, various models for PLCs have already been introduced in the literature. In our paper we discuss several classification criteria that characterise different ways of modelling. The criteria include the PLC execution mechanism, the treatment of time and language fragments used. We try to motivate by examples which models are useful for which class of applications. Finally, we briefly reflect on a number of models from the literature according to the criteria discussed.

    KW - EWI-995

    KW - IR-56182

    M3 - Paper

    SP - 239

    EP - 247

    ER -

    Mader AH, Boel R, (ed.), Stremersch G, (ed.). A Classification of PLC Models and Applications. 2000.