Autofunk: an inference-based formal model generation framework for production systems
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...