Learning I/O Automata

F. Aarts and F.W. Vaandrager. Learning I/O Automata. In P. Gastin and F. Laroussinie, editors. Proceedings CONCUR'10, Paris, France, August 31st - September 3rd, 2010. LNCS 6269, pp. 71-85, Springer-Verlag, 2010.

Abstract

Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy machines. It is shown that, by exploiting these links, any tool for active learning of Mealy machines can be used for learning I/O automata that are deterministic and output determined. The main idea is to place a transducer in between the I/O automata teacher and the Mealy machine learner, which translates concepts from the world of I/O automata to the world of Mealy machines, and vice versa. The transducer comes equipped with an interface automaton that allows us to focus the learning process on those parts of the behavior that can effectively be tested and/or are of particular interest. The approach has been implemented on top of the LearnLib tool and has been applied successfully to three case studies.

Paper

Local copy
Official version
Slides
SIP models (zip archive)
other models (zip archive)