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 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.
Author supplied keywords
Cite
CITATION STYLE
Kerkers, M., Chromik, J. J., Remke, A., & Haverkort, B. R. (2018). A Tool for Generating Automata of IEC60870-5-104 Implementations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10740 LNCS, pp. 307–311). Springer Verlag. https://doi.org/10.1007/978-3-319-74947-1_23
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
