First steps toward a Verification and Validation Ontology

Mounira Kezadri (1) , Marc Pantel (2, 3)

1 IRIT - Institut de recherche en informatique de Toulouse
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 Toulouse INP - Institut National Polytechnique (Toulouse)

This paper presents the key elements of an ontology that formalizes part of the knowledge about behavioural modeling and the associated verification and validation technologies. It summarizes the concepts existing in this area of interest and the relationships among them. We propose a classification of different modeling formalisms and a representation of possible verification and validation methods. A system is represented using several views conforming to different modeling languages. Its properties can be assessed with verification and validation technologies. We also describe existing V&V tools and how they are related to the other elements.

Mots clés: Ontology; Modeling languages; Verification and Validation

Domaines: Informatique [cs]; Systèmes embarqués

Mounira Kezadri, Marc Pantel. First steps toward a Verification and Validation Ontology. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02189894⟩