La modélisation du processus TOPCASED - Neptune
publicité
L'ingénierie des modèles appliquée aux systèmes embarqués critiques Neptune’2006 CNAM Paris - 16/05/2006 Yves Bernard (Airbus) Alain Rossignol (Astrium) Sommaire • Modélisation des systèmes • Le WP1 de TOPCASED • Le standard EIA-632 © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. • Modélisation sous SPEM du processus TOPCASED Neptune 2006 - CNAM Paris - 16/05/2006 Page 2 Modélisation des systèmes « Système » vs « Logiciel » Modélisation du « monde réel » : comportement de type continu Prise en compte des caractéristiques physiques (ex.: poids, encombrement, © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. CEM, thermique,…) Multidisciplinaire N.B.: Le périmètre du projet TOPCASED se limite aux systèmes digitaux Neptune 2006 - CNAM Paris - 16/05/2006 Page 3 Modélisation des systèmes Criticité et temps réel Certification/qualification Normes applicables (DO178, DO254, ECSS, …) © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Importance de la Sûreté de Fonctionnement Observabilité, complétude, déterminisme, traçabilité, … Modélisation précise du temps Neptune 2006 - CNAM Paris - 16/05/2006 Page 4 Modélisation des systèmes Contraintes industrielles Productivité Pérennité © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Coûts (récurrents/non récurrents) Adaptabilité (domaines industriels, évolutions, …) Neptune 2006 - CNAM Paris - 16/05/2006 Page 5 Les objectifs de TOPCASED Principaux objectifs industriels : Pérenniser méthodes et outils de développement Minimiser les coûts de possession © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Adapter les outils au processus (et non l’inverse) Indépendance par rapport aux plates-formes Favoriser l’interopérabilité : • Des outils • Des métiers Neptune 2006 - CNAM Paris - 16/05/2006 Page 6 Les objectifs de TOPCASED Principaux objectifs techniques du processus (WP1) : Définir un processus : • • © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. • Basé modèle, pour faciliter la mise en œuvre d’outils (contrôle, génération de code, de tests, de docs, …) Intégré de la spécification jusqu’à la réalisation du produit Favorisant une approche incrémentale Sélectionner les langages de modélisation les plus appropriés pour chacune des activités Définir les besoins vers les WPs axés « outils » : transformation, vérification, éditeurs de modèles, … Neptune 2006 - CNAM Paris - 16/05/2006 Page 7 L’EIA-632 Pourquoi ? • Standard ANSI / EIA (Electronic Industry Alliance), regroupement de 1300 sociétés membres (http://www.eia.org/) © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. • Orienté « système » • Support de la notion d’incrément (« building block ») • Exprime des exigences sur les objectifs plutôt que sur les moyens Neptune 2006 - CNAM Paris - 16/05/2006 Page 8 L’EIA-632 Périmètre TOPCASED Uniquement les processus d’ingénierie et de développement © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Couvrent : – De la capture des besoins à l’implémentation – Toutes les activités de vérification et de validation – La maintenance (d’après EIA Standard : Process for Engineering a System – EIA-632, January 1999, reaffirmed September 2003) Neptune 2006 - CNAM Paris - 16/05/2006 Page 9 L’EIA-632 Building Block (1/2) © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. (d’après EIA Standard : Process for Engineering a System – EIA-632, January 1999, reaffirmed September 2003) Neptune 2006 - CNAM Paris - 16/05/2006 Page 10 L’EIA-632 Building Block (2/2) Notion de produit support Clarifie : © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Partage des responsabilités Gestion des interfaces Facilite l’évaluation des risques Neptune 2006 - CNAM Paris - 16/05/2006 Page 11 Modélisation sous SPEM de l’EIA 632 La modélisation du processus TOPCASED On se focalise sur les processus de développement retenus dans le périmètre TOPCASED Un processus ou sous processus doit être instanciable sur tout building© AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. block (système, logiciel, matériel) Les modèles de processus sont définis suivant deux axes : Top-Down : à partir du périmètre EIA 632 sélectionné Bottom-up : à partir des processus métiers existants (logiciel, matériel ou système) Neptune 2006 - CNAM Paris - 16/05/2006 Page 12 Modélisation sous SPEM de l’EIA 632 Dans TOPCASED nous outillons le modèle de processus pour : Améliorer la vérification du modèle Faciliter son instanciation sur un domaine et un métier © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Accroître la souplesse d’évolutions (extensions à d’autres processus, affinements sur les activités, les rôles ou les produits, spécialisation domaine ou métier) Neptune 2006 - CNAM Paris - 16/05/2006 Page 13 Modélisation sous SPEM de l’EIA 632 Le modèle de processus SPEM (1/2) Le méta modèle de processus OMG basé sur UML © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Défini initialement pour le développement logiciel Neptune 2006 - CNAM Paris - 16/05/2006 Page 14 Modélisation sous SPEM de l’EIA 632 Le modèle de processus SPEM (2/2) Un modèle basé sur: © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Des activités réalisant des tâches sur les produits Des rôles responsables de produits et réalisant des activités Des produits concrets matérialisant les données échangées (documents, modèles, code …) Des entités additionnelles : cycle de vie, phase, itération, procédé, discipline Neptune 2006 - CNAM Paris - 16/05/2006 Page 15 Modélisation sous SPEM de l’EIA 632 Modèle SPEM préliminaire EIA632 (1/2) © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Vues orientées flux de données et activités principalement Processus expérimentés: Définition des exigences et de la solution Vue définition de la solution (1er niveau) Neptune 2006 - CNAM Paris - 16/05/2006 Page 16 Modélisation sous SPEM de l’EIA 632 © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Modèle SPEM préliminaire EIA632 (2/2) Les exigences de haut niveau EIA632 sont référencées en annotations Les états des produits sont utilisés pour définir leurs évolutions Vue définition des exigences (2ème niveau) Neptune 2006 - CNAM Paris - 16/05/2006 Page 17 Modélisation sous SPEM de l’EIA 632 Premiers constats sur l’apport de la modélisation du processus TOPCASED Une meilleure compréhension de l’EIA632: © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Aide à la détection des ambiguïtés ou des imprécisions Facilite la couverture de prise en compte des exigences Un premier niveau de vérification avec l’outil APES de l’IRIT: Vérifie la conformité au méta modèle SPEM Vérifie que les produits entrant ou sortant d’un processus sont cohérents des entrées/sorties des activités Vérifie que tout produit appartient à un rôle Neptune 2006 - CNAM Paris - 16/05/2006 Page 18 La modélisation du processus TOPCASED Suite des activités au sein du projet et du WP1: Top-down: EIA632 © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Lever les ambiguïtés ou les imprécisions Affiner et finaliser la modélisation de tous les processus EIA632 sélectionnés Poursuivre une mise en oeuvre outillée Bottom-up: Processus métiers existants Poursuivre et approfondir leurs modélisations SPEM Vérifier la cohérence avec ceux de l’EIA 632 Mettre à profit ces modèles de processus pour supporter la définition détaillée des besoins TOPCASED concernant langages et outils Neptune 2006 - CNAM Paris - 16/05/2006 Page 19 Vos questions… © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. [email protected] [email protected] Neptune 2006 - CNAM Paris - 16/05/2006 Page 20 © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Organisation d'un modèle de produit (premier niveau) Neptune 2006 - CNAM Paris - 16/05/2006 Page 21 © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Organisation du modèle structurel Neptune 2006 - CNAM Paris - 16/05/2006 Page 22 © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Organisation du modèle comportemental Neptune 2006 - CNAM Paris - 16/05/2006 Page 23 © AIRBUS FRANCE S.A.S. All rights reserved. Confidential and proprietary document.. Organisation du modèle d'environnement Neptune 2006 - CNAM Paris - 16/05/2006 Page 24
