Bannière Recherche Recherche

Laboratoires.Ecoles, Collège et Formation doctorales 

Stratégie. Séminaires, colloques. Sciences et société

Réseaux et pôles d'excellence. Investissements d'avenir (Labex)

Summer School on CPS 2014

7 juillet 2014 ... 10 juillet 2014

Université Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the second edition of the Cyber-Physical Systems Summer School.
The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems ("the internet of things") and humans as their creators, users, and subjects.
The format of the Summer School is a four days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems.

Licence Creative Commons Active Automata Lerning: From DFA to Interface Programs and Beyond

9 juillet 2014
Durée : 01:17:45
Nombre de vues 4
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

Bernhard Steffen / Persyval-Lab

 

Web services or other third party or legacy software components which come without code and/or appropriate documentation, are intrinsically tied to the modern an increasingly popular orchestration-based development style of service-oriented solutions. [Active] automata learning has shown to be a powerful means to overcome the perhaps major drawback of these components, their inherent black box character. The success story began a decade ago, when its application led to major improvements in the context of regression testing. Since then, the technology has undergone an impressive development, in particular concerning the aspect of practical application.

 

The talk will review this development, while focussing on the treatment of data, the major source of undecidability, and therefore the problem with the highest potential for tailored, application-specific solutions.
In the first practical applications of active learning, data were typically simply ignored or radically abstracted. In the meantime, extension to data languages have been developed, which led to the introduction of more expressive models like the so-called register automata. They are able to faithfully represent interface programs, i.e. programs describing the protocol of interaction with components and services. We will illustrate along a number of examples that they can be learned rather efficiently, and that their potential concerning both increased expressivity of the model structure and scalability is high.

Mots clés : persyval-lab

 Informations

  • Ajouté par : Gricad Vidéos
  • Mis à jour le : 1 janvier 2021 00:00
  • Chaîne :
  • Type : Conférences
  • Langue principale : Français
Les commentaires ont été désactivés pour cette vidéo.