Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9109)


In this paper, we present Autofunk, a fast and scalable framework designed at Michelin to automatically build formal models (Symbolic Transition Systems) based on production messages gathered from production systems themselves. Our approach combines model-driven engineering with rule-based expert systems and human knowledge.


Model inference Symbolic transition system Expert system Production system Regression testing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.MichelinClermont-FerrandFrance
  2. 2.Auvergne UniversityClermont-FerrandFrance

Personalised recommendations