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

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

doi:10.1007/978-3-319-74947-1_23

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 proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Measurement, Modelling and Evaluation of Computing Systems
Subtitle of host publication	19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings
Editors	Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger
Pages	307-311
ISBN (Electronic)	978-3-319-74947-1
DOIs	https://doi.org/10.1007/978-3-319-74947-1_23
Publication status	Published - 2018
Event	19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” 2018 - Erlangen, Germany Duration: 26 Feb 2018 → 28 Feb 2018 Conference number: 19 http://www.mmb2018.de

Publication series

Name	Lecture notes in computer science
Volume	10740

Conference

Conference	19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” 2018
Abbreviated title	MMB 2018
Country/Territory	Germany
City	Erlangen
Period	26/02/18 → 28/02/18
Internet address	http://www.mmb2018.de

Keywords

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

Access to Document

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

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 et al. / 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",

note = "19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” 2018, MMB 2018 ; Conference date: 26-02-2018 Through 28-02-2018",

url = "http://www.mmb2018.de",

}

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

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 proceeding › Conference contribution › Academic › peer-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.

N1 - Conference code: 19

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.

T2 - 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” 2018

Y2 - 26 February 2018 through 28 February 2018

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). doi: 10.1007/978-3-319-74947-1_23

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

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this