Inferring Approximated Models for Systems Engineering

Alexandre Petrenko Keqin Li Roland Groz 1 Karim Hossen Catherine Oriat 1
1 LIG Laboratoire d'Informatique de Grenoble - VASCO
LIG - Laboratoire d'Informatique de Grenoble
Abstract : Engineering safe and reliable systems demands rigorous approaches such as formal methods, using models. Since models are not always available, one needs to infer them from software artifacts. This paper defines a new inference approach for input-output systems that is based on FSM-based testing theory. Central to the approach is the notion of initial quotient of an FSM associated with a partial characterization set that controls the precision of this approximated model. The proposed method infers a model of a system under test by building increasingly precise quotients of it using counterexamples. Various experiments demonstrate its practical usability.
Type de document :
Communication dans un congrès
15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), 2014, Miami, Florida, United States. pp.249-253, 2014, 〈10.1109/HASE.2014.46〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00976109
Contributeur : Catherine Oriat <>
Soumis le : mercredi 9 avril 2014 - 16:20:00
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04

Identifiants

Collections

UGA | LIG_GLSI_VASCO | LIG_GLSI | LIG | LIG_SRCPR

Citation

Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat. Inferring Approximated Models for Systems Engineering. 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), 2014, Miami, Florida, United States. pp.249-253, 2014, 〈10.1109/HASE.2014.46〉. 〈hal-00976109〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

233

Contact


archive-ouverte@inria.fr