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

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

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. 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
Kerkers, Max ; Chromik, Justyna Joanna ; Remke, Anne Katharina Ingrid ; Haverkort, Boudewijn R.H.M. / A Tool for Generating Automata of IEC60870-5-104 Implementations. Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. editor / Reinhard German ; Kai-Steffen Hielscher ; Udo R. Krieger. 2018. pp. 307-311 (Lecture notes in computer science).
@inproceedings{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",
doi = "10.1007/978-3-319-74947-1_23",
language = "English",
isbn = "978-3-319-74946-4",
series = "Lecture notes in computer science",
pages = "307--311",
editor = "Reinhard German and Kai-Steffen Hielscher and Krieger, {Udo R.}",
booktitle = "Measurement, Modelling and Evaluation of Computing Systems",

}

Kerkers, M, Chromik, JJ, Remke, AKI & Haverkort, BRHM 2018, A Tool for Generating Automata of IEC60870-5-104 Implementations. in R German, K-S Hielscher & UR Krieger (eds), Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. Lecture notes in computer science, vol. 10740, pp. 307-311, 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” 2018, Erlangen, Germany, 26/02/18. https://doi.org/10.1007/978-3-319-74947-1_23

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

Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. ed. / Reinhard German; Kai-Steffen Hielscher; Udo R. Krieger. 2018. p. 307-311 (Lecture notes in computer science; Vol. 10740).

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

TY - GEN

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

U2 - 10.1007/978-3-319-74947-1_23

DO - 10.1007/978-3-319-74947-1_23

M3 - Conference contribution

SN - 978-3-319-74946-4

T3 - Lecture notes in computer science

SP - 307

EP - 311

BT - Measurement, Modelling and Evaluation of Computing Systems

A2 - German, Reinhard

A2 - Hielscher, Kai-Steffen

A2 - Krieger, Udo R.

ER -

Kerkers M, Chromik JJ, Remke AKI, Haverkort BRHM. A Tool for Generating Automata of IEC60870-5-104 Implementations. In German R, Hielscher K-S, Krieger UR, editors, Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. 2018. p. 307-311. (Lecture notes in computer science). https://doi.org/10.1007/978-3-319-74947-1_23