A Computer Aided Verification Process for Engineered Systems - Collaboration Collaborative Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

A Computer Aided Verification Process for Engineered Systems

Victor Romero
Romain Pinquié
Frédéric Noël

Résumé

Although companies systematically strive for a full digitalisation of their products and their processes, the design phase shows that the quality of models is very unequal. Indeed, detailed design benefits from much more sophisticated methods and tools than the specification and architecture activities. However, we should note the recent paradigm shift from document-based to model-based system engineering. However, these models, which are mainly static 2D diagrams, remain too poor to facilitate the early detection of design errors. Thus, to detect most errors that occur during the design phase, companies have no other alternative than to wait up to the testing phase which occurs after several years for complex systems. Thus, we propose a holistic user-centred computer-aided verification process to ensure that the design meets the requirements under realistic operational conditions. The verification process provides a progressive immersion into the virtual system before seamlessly transitioning from the virtual to the real system. Our work relies on state-of-the-art MBSE methods such as the Property Model Methodology, which enables systems engineers to co-simulate specification models and design models. We improve such MBSE methods by increasing the level of realism that experiences the end-user during the verification of a design by the original combination of Model-In-the-Loop, Immersive Model-In-the-Loop, Human-In-the-Loop, and Hardware-In-the-Loop simulation strategies.
Les acteurs de l'industrie du futur essayent de systématiquement numériser leurs produits et leurs processus. La numérisation systématique des objets techniques du bureau d'études reste néanmoins très inégalitaire. En effet, les outils qui supportent la conception détaillée sont plus sophistiqués que les outils de spécification ou d'architecture. Notons tout de même la récente évolution d'une ingénierie système basée sur les modèles plutôt que sur les documents. Cependant, les modèles assimilables à des diagrammes 2D inertes, ne facilitent pas assez la détection des erreurs de spécification (validation) et de conception (vérification) en amont des tests d'intégration et des essais de qualification. Nous proposons alors un processus holistique de vérification assistée par ordinateur. Celui-ci permet de s'assurer qu'une solution de conception satisfait ou non aux exigences, et ce, dans des conditions opérationnelles dont l'amélioration progressive du niveau de réalisme assure une continuité entre le système virtuel et le système réel. Notre processus de vérification assistée par ordinateur repose, d'une part, sur la cosimulation d'un modèle de spécification et d'un modèle de conception et, d'autre part, sur une immersion dans une scène virtuelle qui permet de mieux apprécier les propriétés du système, et ce, avant de progressivement substituer le virtuel par le réel au moyen de simulations Hardware-In-the-Loop.
Fichier principal
Vignette du fichier
Romero, Pinquier, Noel (2020)_V2.pdf (813.14 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03531044 , version 1 (31-01-2022)

Identifiants

  • HAL Id : hal-03531044 , version 1

Citer

Victor Romero, Romain Pinquié, Frédéric Noël. A Computer Aided Verification Process for Engineered Systems. Conférence Internationale Génie Industriel QUALITA (CIGI) 2021, May 2021, Grenoble, France. ⟨hal-03531044⟩
138 Consultations
155 Téléchargements

Partager

Gmail Facebook X LinkedIn More