Skip to Main content Skip to Navigation
Conference papers

Autofunk, a fast and scalable framework for building formal models from production systems

Abstract : This paper proposes a model inference framework for production systems distributed over multiple devices exchanging thousands of events. Building models for such systems and keeping them up to date is time consuming and expensive , thus not adequately taken care of. Our framework, called Autofunk and designed with the collaboration of our industrial partner Michelin, combines formal model-driven engineering and expert systems to infer formal models that can be used to perform analyses, e.g. test case generation, or help diagnose faults in production by highlighting faulty behaviours. Given a large set of production events, we infer exact models that only capture the functional behaviours of a system under analysis. In this paper, we introduce and evaluate our framework on a real Michelin manufacturing system, showing that it can be used in practice.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Sébastien Salva <>
Submitted on : Thursday, February 14, 2019 - 4:37:36 PM
Last modification on : Wednesday, April 21, 2021 - 8:52:05 AM
Long-term archiving on: : Wednesday, May 15, 2019 - 6:22:13 PM


Industry Paper - Autofunk a fa...
Files produced by the author(s)



Sébastien Salva, William Durand. Autofunk, a fast and scalable framework for building formal models from production systems. 9th ACM International Conference on Distributed Event-Based Systems, DEBS, Jul 2015, oslo, Norway. pp.193-204, ⟨10.1145/2675743.2771876⟩. ⟨hal-02019678⟩



Record views


Files downloads