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

Research output: Contribution to conferencePaperAcademicpeer-review

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.

Conference

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

Fingerprint

Specifications
Network protocols
Finite automata
Electric power distribution

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. Paper presented at 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, Erlangen, Germany.
Kerkers, Max ; Chromik, Justyna Joanna ; Remke, Anne Katharina Ingrid ; Haverkort, Boudewijn R.H.M. / A Tool for Generating Automata of IEC60870-5-104 Implementations. Paper presented at 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, Erlangen, Germany.
@conference{31b805efed5442f6a3b96bb4305811d8,
title = "A Tool for Generating Automata of IEC60870-5-104 Implementations",
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.",
keywords = "IEC 60870-5-104, ICS, power grid, SCADA, Mealy machine, IEC 104",
author = "Max Kerkers and Chromik, {Justyna Joanna} and Remke, {Anne Katharina Ingrid} and Haverkort, {Boudewijn R.H.M.}",
year = "2018",
language = "English",
note = "19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, MMB 2018 ; Conference date: 26-02-2018 Through 28-02-2018",
url = "http://www.mmb2018.de, http://www.mmb2018.de/",

}

Kerkers, M, Chromik, JJ, Remke, AKI & Haverkort, BRHM 2018, 'A Tool for Generating Automata of IEC60870-5-104 Implementations' Paper presented at 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, Erlangen, Germany, 26/02/18 - 28/02/18, .

A Tool for Generating Automata of IEC60870-5-104 Implementations. / Kerkers, Max; Chromik, Justyna Joanna; Remke, Anne Katharina Ingrid; Haverkort, Boudewijn R.H.M.

2018. Paper presented at 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, Erlangen, Germany.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

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

AU - Kerkers, Max

AU - Chromik, Justyna Joanna

AU - Remke, Anne Katharina Ingrid

AU - Haverkort, Boudewijn R.H.M.

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - IEC 60870-5-104

KW - ICS

KW - power grid

KW - SCADA

KW - Mealy machine

KW - IEC 104

M3 - Paper

ER -

Kerkers M, Chromik JJ, Remke AKI, Haverkort BRHM. A Tool for Generating Automata of IEC60870-5-104 Implementations. 2018. Paper presented at 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, Erlangen, Germany.