Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9109)

Abstract

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.

Keywords

Model inference Symbolic transition system Expert system Production system Regression testing 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.MichelinClermont-FerrandFrance
  2. 2.Auvergne UniversityClermont-FerrandFrance

Personalised recommendations