C. Finalement and . Chapitre-donne-un-large, aperçu des travaux d'ingénierie réalisés par notre équipe au cours du projet LEA ainsi que les bénéfices apportés par nos travaux de recherches. Ce chapitre conclut la thèse et nous nous efforcerons dans la conclusion générale de montrer l'impact de nos travaux tant sur la méthodologie MéDISIS à court terme que

R. Cressent, P. David, V. Idasiak, and F. Kratz, Designing the database for a reliability aware Model-Based System Engineering process, Reliability Engineering & System Safety, vol.111
DOI : 10.1016/j.ress.2012.10.014

URL : https://hal.archives-ouvertes.fr/hal-00789554

R. Cressent, P. David, V. Idasiak, and F. Kratz, Increasing Reliability of Embedded Systems in a SysML Centered MBSE Process: Application to the LEA Project, Proceedings of the 1 st M-BED workshop, during DATE 2010, p.12, 2010.

R. Cressent, P. David, V. Idasiak, and F. Kratz, Mastering safety and reliability in a model based process, 2011 Proceedings, Annual Reliability and Maintainability Symposium, pp.24-27, 2011.
DOI : 10.1109/RAMS.2011.5754506

URL : https://hal.archives-ouvertes.fr/hal-00630827

R. Cressent, P. David, V. Idasiak, and F. Kratz, Dependability analysis activities merged with system engineering, a real case study feedback, 2011.
DOI : 10.1201/b11433-282

URL : https://hal.archives-ouvertes.fr/hal-00630987

R. Cressent, V. Idasiak, and F. Kratz, Reusing FIDES knowledge in the MéDISIS Dysfunctional Behavior Database, pp.25-29, 2012.

R. Cressent, P. David, V. Idasiak, and F. Kratz, Prise en compte des analyses de sûreté de fonctionnement dans l'ingénierie de système dirigée par les modèles SysML, Revue Génie Logiciel, vol.96, pp.33-39, 2011.

R. Cressent, P. David, V. Idasiak, and F. Kratz, Apports de SysML à la modélisation des systèmes complexes à fortes contraintes de sureté de fonctionnement. Recueil d'article de la conférence ITT'09 (Technological Innovation and Transport Systems, 2009.

R. Cressent, V. Idasiak, and F. Kratz, Rapprocher les études de sûreté de fonctionnement de l'ingénierie système : retour d'expérience. Recueil d'articles de la 9ème édition du congrès international QUALITA, pp.23-25, 2011.

R. Cressent, V. Idasiak, and F. Kratz, Intégration des analyses de sûreté de fonctionnement dans le processus de conception système, Journées Nationales MACS, pp.9-10, 2011.

R. Cressent, P. David, V. Idasiak, and F. L. Kratz, Ingénierie Système Basée sur les Modèles SysML pour les systèmes sûrs de fonctionnement, pp.2-3, 2010.

R. Cressent, P. David, V. Idasiak, and F. Kratz, Model-Based Systems Engineering with SysML for Reliable Systems Design, INSIGHT, vol.14, issue.4
DOI : 10.1002/inst.201114418

. Références, Académie Française 1935] : Dictionnaire de l'Académie Française (huitième édition, pp.1932-1935

J. Levy, P. Foisseau, B. Lamothe, P. Hermans, E. De-chazelles et al., Recommandations pour l'élaboration d'un référentiel d'exigences techniques, 2001.

H. Fosse and . Waeselynck, Composants logiciels et sûreté de fonctionnement, integration de COTS, 2000.

. Atego-], Atego est l'éditeur du logiciel : Artisan Studio. Il s'agit d'un logiciel de modélisation UML et SysML, proposant aussi des outils de génération de code C depuis des modèles UML et SysML

. Bernardi, From UML Sequence Diagrams and StateCharts to analyzable Petri Net models, Proceedings of the 3rd Int. workshop on software on performance, 2002.
DOI : 10.1145/584369.584376

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.2609

R. Bishop, T. Bloomfield, S. Clement, and . Guerra, Software criticality analysis of COTS/SOUP, Reliability Engineering & System Safety, vol.81, issue.3, pp.291-301, 2003.
DOI : 10.1016/S0951-8320(03)00093-0

. Boiteau, The AltaRica data-flow language in use: modeling of production availability of a multi-state system, Reliability Engineering & System Safety, vol.91, issue.7, pp.747-755, 2006.
DOI : 10.1016/j.ress.2004.12.004

URL : https://hal.archives-ouvertes.fr/hal-00182500

. Bondavalli, High-level Integrated Design Environment for dependability (HIDE), Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, pp.87-92, 1999.
DOI : 10.1109/WORDSF.1999.842338

. Bondavalli, Bondavalli, I. Majzik & I. Mura. Automated Dependability Analysis for Supporting Design Decisions in UML, Proceedings of the 4th IEEE High Assurance System Engineering Symposium, pp.64-71, 1999.

. Savoia, Dependability analysis in the early phases of UML-based system design, International Journal of Computer Systems Science & Engineering, vol.16, issue.5, pp.265-275, 2001.

&. Bowles, J. B. Pelaez, &. E. Bowles, and . Pelaez, Fuzzy logic prioritization of failures in a system failure mode, effects and criticality analysis, Reliability Engineering & System Safety, vol.50, issue.2, pp.203-213, 1995.
DOI : 10.1016/0951-8320(95)00068-D

P. Charpenel, F. Davenel, R. Digout, M. Giraudeau, M. Glade et al., The right way to assess electronic system reliability: FIDES. Microelectronics Reliability, pp.9-11, 2003.

M. A. Marsan, G. Balbo, and G. Conte, «Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications», IEEE Transactions on Software Engineering, vol.19, issue.2, pp.89-107, 1993.

. Cressent, Increasing Reliability of Embedded Systems in a SysML Centered MBSE Process: Application to the LEA Project, p.12, 2010.

. Cressent, Mastering safety and reliability in a model based process, 2011 Proceedings, Annual Reliability and Maintainability Symposium, pp.24-27, 2011.
DOI : 10.1109/RAMS.2011.5754506

URL : https://hal.archives-ouvertes.fr/hal-00630827

. Cressent, Dependability analysis activities merged with system engineering, a real case study feedback, 2011.
DOI : 10.1201/b11433-282

URL : https://hal.archives-ouvertes.fr/hal-00630987

. Cressent, Reusing FIDES knowledge in the MéDISIS Dysfunctional Behavior Database, pp.25-29, 2012.

. Cressent, Designing the database for a reliability aware Model-Based System Engineering process. Reliability Engineering and System Safety ? Elsevier, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00789554

. David, Improving reliability studies with SysML, 2009 Annual Reliability and Maintainability Symposium, 2009.
DOI : 10.1109/RAMS.2009.4914731

. David, Automating the synthesis of AltaRica Data-Flow models from SysML, Proceedings of ESREL 2009, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00579532

. David, Reliability study of complex physical systems using SysML, Reliability Engineering & System Safety, vol.95, issue.4, pp.431-450, 2010.
DOI : 10.1016/j.ress.2009.11.015

URL : https://hal.archives-ouvertes.fr/hal-00528802

&. Feiler, P. Rugina-feiler, and A. Rugina, Dependability Modeling with the Architecture Analysis & Design Language (AADL), 2007.

F. Group, Reliability Methodology for electronic systems ? FIDES Guide, 2009.

. Friedenthal, A Practical Guide to SysML: The Systems Modeling Language, The MK, 2008.

. Gireaudeau, Exploitation de données de retours d'expérience multi-industriels pour la consolidation des modèles FIDES, 17e Congrès Lambda Mu, pp.5-7, 2010.

R. Guillerm, Intégration de la Sûreté de Fonctionnement dans les Processus d'Ingénierie Système, Thèse de doctorat de l'Université Toulouse III ? Paul Sabatier, 2011.

. Hecht, Computer-aided Software FMEA. The Annual Reliability and Maintainability Symposium, pp.26-29, 2004.

H. Hoffmann, Harmony-SE/SysML Deskbook: Model-Based Systems Engineering with Rhapsody. Telelogic/I-Logix white paper, 2006.

P. Holt, S. Holt, and . Perry, SysML for Systems Engineering, 2008.
DOI : 10.1049/PBPC007E

. Klein, A practitioner's Handbook for Real-Time Analysis, 1993.
DOI : 10.1007/978-1-4615-2796-1

P. Kruchten, The Rational Unified Process: An Introduction, 2003.

B. Lasnier, L. Zalila, J. Pautet, and . Hugues, Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications, Reliable Software Technologies'09 -Ada Europe, 2009.
DOI : 10.1109/MC.2007.344

. Lopez-grao, From UML Activity Diagrams to Stochastic Petri Nets: Application to software performance engineering, Procee-dings of the 4th Int. workshop on software and performance, 2004.

. Lykins, Adapting UML for an Object-Oriented systems engineering method (OOSEM), Proceedings of the 10th annual INCOSE symposium, 2000.

. Magee, Complex System Classification, Fourteenth Annual International Symposium of the International Council on Systems Engineering (INCOSE), 2004.

C. Marsan, On Petri nets with deterministic and exponentially distributed firing times, Lecture Notes in Computer Science, vol.266, pp.132-145, 1986.
DOI : 10.1007/3-540-18086-9_23

. Merseguer, A compositional semantics for UML state machines aimed at performance evaluation, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., 2002.
DOI : 10.1109/WODES.2002.1167702

G. Pai and &. J. Dugan, Automatic synthesis of dynamic fault trees from UML system models, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., pp.243-254, 2002.
DOI : 10.1109/ISSRE.2002.1173261

E. Collas, N. Arbaretier, E. De-domenico, O. Girardelli, P. Dressler et al., AUTAS: a tool for supporting FMECA generation in aeronautic systems, 16th European Conference on Artificial Intelligence août, pp.22-27, 2004.

. Rauzy, Sûreté de Fonctionnement et Analyse de Performance, 16ème Congrès Lambda Mu : les nouveaux défis de la maîtrise des risques, pp.7-9, 2008.

]. P. Roques, SysML par l'exemple -Un langage de modélisation pour systèmes complexes, 2009.

F. Singhoff, The Cheddar AADL Property sets (Release 2.x), 2007.

M. Sinnamon and &. J. , Andrews, «New approaches to evaluating fault trees», Reliability Engineering & System Safety, vol.58, 1997.