A Tool for Generating Automata of IEC60870-5-104 Implementations

Max Kerkers, Justyna Joanna Chromik, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    106 Downloads (Pure)

    Abstract

    Power distribution networks are often controlled using the communication protocol IEC 60870-5-104 (IEC-104). While a specification exists, not every device implementing this protocol, actually follows this specification. We present \textit{mealy104}, a tool that infers finite-state automata from IEC-104 implementations and use it on a real device implementing IEC-104, comparing it to the protocol standard. We use the tool to show that implementations do deviate from the specification.
    Original languageEnglish
    Title of host publicationMeasurement, Modelling and Evaluation of Computing Systems
    Subtitle of host publication19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings
    EditorsReinhard German, Kai-Steffen Hielscher, Udo R. Krieger
    Pages307-311
    ISBN (Electronic)978-3-319-74947-1
    DOIs
    Publication statusPublished - 2018
    Event19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” 2018 - Erlangen, Germany
    Duration: 26 Feb 201828 Feb 2018
    Conference number: 19
    http://www.mmb2018.de

    Publication series

    NameLecture notes in computer science
    Volume10740

    Conference

    Conference19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” 2018
    Abbreviated titleMMB 2018
    CountryGermany
    CityErlangen
    Period26/02/1828/02/18
    Internet address

      Fingerprint

    Keywords

    • IEC 60870-5-104
    • ICS
    • power grid
    • SCADA
    • Mealy machine
    • IEC 104

    Cite this

    Kerkers, M., Chromik, J. J., Remke, A. K. I., & Haverkort, B. R. H. M. (2018). A Tool for Generating Automata of IEC60870-5-104 Implementations. In R. German, K-S. Hielscher, & U. R. Krieger (Eds.), Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings (pp. 307-311). (Lecture notes in computer science; Vol. 10740). https://doi.org/10.1007/978-3-319-74947-1_23