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.
Original languageEnglish
StateAccepted/In press - 2018
Event19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” - Erlangen, Germany

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

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

Research output: Scientific - peer-reviewPaper

@misc{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",

}

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: Scientific - peer-reviewPaper

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.