Introduction to Active Automata Learning from a Practical Perspective - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Introduction to Active Automata Learning from a Practical Perspective

Résumé

In this chapter we give an introduction to active learning of Mealy machines, an automata model particularly suited for modeling the behavior of realistic reactive systems. Active learning is characterized by its alternation of an exploration phase and a testing phase. During exploration phases so-called membership queries are used to construct hypothesis models of a system under learning. In testing phases so-called equivalence queries are used to compare respective hypothesis models to the actual system. These two phases are iterated until a valid model of the target system is produced. We will step-wisely elaborate on this simple algorithmic pattern, its underlying correctness arguments, its limitations, and, in particular, ways to overcome apparent hurdles for practical application. This should provide students and outsiders of the field with an intuitive account of the high potential of this challenging research area in particular concerning the control and validation of evolving reactive systems.
Fichier non déposé

Dates et versions

hal-00647729 , version 1 (02-12-2011)

Identifiants

  • HAL Id : hal-00647729 , version 1

Citer

B. Steffen, F. Howar, M. Merten. Introduction to Active Automata Learning from a Practical Perspective. Formal Methods for Eternal Networked Software Systems, SFM 2011, Jun 2011, Bertinoro, Italy. pp.256-296. ⟨hal-00647729⟩

Collections

CONNECT
65 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More