Source publication: [K17]
Tag: security
IEC 60870-5-104 is the standard protocols used in Europe by grid operators to control and monitor the electricity grid. It is an example of an ISC/SCADA protocol, i.e. a protocol for Supervisory Control and Data Acquisition (SCADA) in a Industrial Control Systems (ISCs).
For his Master thesis at University of Twente, Max Kerkers used LearnLib to infer Mealy machine models of RTUs (Remote Terminal Units) implementing 60870-5-104. The RTUs tested include three simulators (Axon Test, Mitra Software IEC 870-5-104 Simulator, and Siemens IEC-Test) and two real devices (the Datawatt D05-Lite and the Sprecher Sprecon-E-C-92).
The source code of the test harness, written by Max Kerkers, is available at https://github.com/mkerkers/mealy104