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 metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.uca.fr/hal-02019678
Contributor : Sébastien Salva <>
Submitted on : Thursday, February 14, 2019 - 4:37:36 PM
Last modification on : Monday, January 20, 2020 - 12:12:06 PM
Long-term archiving on: Wednesday, May 15, 2019 - 6:22:13 PM

File

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

Identifiers

Citation

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⟩

Share

Metrics

Record views

43

Files downloads

95