Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (FM 2015)

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (FM 2015)

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.

Online slides: http://slides.williamdurand.fr/fm2015/
Sources: https://github.com/willdurand-slides/fm2015

F59d2f1ed66b8d9c6ceebea5a748494b?s=128

William Durand

June 25, 2015
Tweet