Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems
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.
KeywordsModel inference Symbolic transition system Expert system Production system Regression testing
Unable to display preview. Download preview PDF.