Proposition d'un Guide d'Etude des Modes Opérationnels des Systèmes (GEMOS) pour l'Ingénierie Système - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Proposition d'un Guide d'Etude des Modes Opérationnels des Systèmes (GEMOS) pour l'Ingénierie Système

Résumé

Cet article présente et illustre un des élements clef d'une approche qui vient compléter l'outillage méthodologique préconisé par les principes et les processus de l'Ingénierie Système. Cette approche permet à une équipe de conception d'explorer et de raisonner, d'argumenter et de formaliser puis de vérifier la cohérence des modes de fonctionnement d'un système à faire afin d'en faciliter la construction de l'architecture fonctionnelle. Il s'agit donc ici de permettre de faciliter la recherche et la sélection de ces modes, des configurations dans chaque mode et des scénarios opérationnels qui sont enfin autorisés dans chaque mode et chaque configuration. Il devient ainsi possible de remettre en cause tout ou partie du référentiel des exigences en les associant à leur tour à des modes, des configurations et des scénarios. Cette approche est basée sur un Guide d'Etudes des Modes Opérationnels du Système (GEMOS) et une méthode outillée de vérification par analyse de propriétés. Cet article présente le GEMOS. Abstract - This paper presents and illustrates one of key elements of an approach aiming to complement the tools recommended by the methodological principles and processes of Systems Engineering. This approach allows complex system designers exploring and reasoning, arguing and then checking the consistency of the operating modes of a system in order to facilitate the construction of its functional architecture. It is therefore here to help facilitate the search and selection of these modes, each mode configurations and operational scenarios are finally allowed in each mode and configuration. It thus becomes possible to challenge all or part of the requirements repository by associating each requirement in turn modes, settings and scenarios. This approach is based on a guide called GEMOS and verification method by properties proof. This article focuses on the GEMOS element.
Fichier non déposé

Dates et versions

hal-00822658 , version 1 (15-05-2013)

Identifiants

  • HAL Id : hal-00822658 , version 1

Citer

Vincent Chapurlat, Nicolas Daclin, Paul Chuche, Stéphane Marzin, Philippe Vien. Proposition d'un Guide d'Etude des Modes Opérationnels des Systèmes (GEMOS) pour l'Ingénierie Système. Conférence internationale de Génie Industriel CIGI'2013, Jun 2013, France. ⟨hal-00822658⟩
127 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More