Verification, validation, qualification and certification of enterprise models: Statements and opportunities

Vincent Chapurlat (1) , Christian Braesch (2)

1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
2 SYMME - Laboratoire SYstèmes et Matériaux pour la MEcatronique

The first aim of this article is to demonstrate the high level of dependency between modeling activities and verification, validation, qualification and certification (VVQC) activities during the entire course of a project in an enterprise. It therefore aims to show the interest and relevance of VVQC to the enterprisemodeling domain, before highlighting the objectives to be achieved and requirements to be fulfilled by future work on VVQC. The first part introduces the concepts and definitions required. The second part describes the state of the art concerning the uses, best practices and main current research related to VVQC in the enterprise field. The third part proposes some orientations for future research to be prioritized in order to deal with crucial challenges in the enterprise. It appears that these research orientations have been applied for some years by both academic- and industry-based researchers. (c) 2008 Elsevier B.V. All rights reserved.

Domaines: Complexité [cs.CC]

Vincent Chapurlat, Christian Braesch. Verification, validation, qualification and certification of enterprise models: Statements and opportunities. Computers in Industry, 2008, 59 (7), pp.711-721. ⟨10.1016/j.compind.2007.12.018⟩. ⟨hal-00353776⟩