Autofunk: an inference-based formal model generation framework for production systems

Abstract : In this paper, we present Autofunk, a fast and scalable framework designed at Michelin to automatically build formal models (Sym-bolic 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

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

File

fm2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02019687, version 1

Citation

William Durand, Sébastien Salva. Autofunk: an inference-based formal model generation framework for production systems. 20th International Symposium on Formal Methods, FME 2015, Jun 2015, Oslo, Norway. ⟨hal-02019687⟩

Share

Metrics

Record views

46

Files downloads

130