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: Contribution to conferencePaperOther research output


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
Publication statusPublished - 2018
Externally publishedYes


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


Dive into the research topics of 'A Tool for Generating Automata of IEC60870-5-104 Implementations'. Together they form a unique fingerprint.

Cite this