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 ,
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
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. ,
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
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
Reusing FIDES knowledge in the MéDISIS Dysfunctional Behavior Database, pp.25-29, 2012. ,
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. ,
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. ,
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. ,
Intégration des analyses de sûreté de fonctionnement dans le processus de conception système, Journées Nationales MACS, pp.9-10, 2011. ,
Ingénierie Système Basée sur les Modèles SysML pour les systèmes sûrs de fonctionnement, pp.2-3, 2010. ,
Model-Based Systems Engineering with SysML for Reliable Systems Design, INSIGHT, vol.14, issue.4 ,
DOI : 10.1002/inst.201114418
Académie Française 1935] : Dictionnaire de l'Académie Française (huitième édition, pp.1932-1935 ,
Recommandations pour l'élaboration d'un référentiel d'exigences techniques, 2001. ,
Composants logiciels et sûreté de fonctionnement, integration de COTS, 2000. ,
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 ,
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
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
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
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, 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. ,
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. ,
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
The right way to assess electronic system reliability: FIDES. Microelectronics Reliability, pp.9-11, 2003. ,
«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. ,
Increasing Reliability of Embedded Systems in a SysML Centered MBSE Process: Application to the LEA Project, p.12, 2010. ,
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
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
Reusing FIDES knowledge in the MéDISIS Dysfunctional Behavior Database, pp.25-29, 2012. ,
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
Improving reliability studies with SysML, 2009 Annual Reliability and Maintainability Symposium, 2009. ,
DOI : 10.1109/RAMS.2009.4914731
Automating the synthesis of AltaRica Data-Flow models from SysML, Proceedings of ESREL 2009, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00579532
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
Dependability Modeling with the Architecture Analysis & Design Language (AADL), 2007. ,
Reliability Methodology for electronic systems ? FIDES Guide, 2009. ,
A Practical Guide to SysML: The Systems Modeling Language, The MK, 2008. ,
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. ,
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. ,
Computer-aided Software FMEA. The Annual Reliability and Maintainability Symposium, pp.26-29, 2004. ,
Harmony-SE/SysML Deskbook: Model-Based Systems Engineering with Rhapsody. Telelogic/I-Logix white paper, 2006. ,
SysML for Systems Engineering, 2008. ,
DOI : 10.1049/PBPC007E
A practitioner's Handbook for Real-Time Analysis, 1993. ,
DOI : 10.1007/978-1-4615-2796-1
The Rational Unified Process: An Introduction, 2003. ,
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
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. ,
Adapting UML for an Object-Oriented systems engineering method (OOSEM), Proceedings of the 10th annual INCOSE symposium, 2000. ,
Complex System Classification, Fourteenth Annual International Symposium of the International Council on Systems Engineering (INCOSE), 2004. ,
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
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
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
AUTAS: a tool for supporting FMECA generation in aeronautic systems, 16th European Conference on Artificial Intelligence août, pp.22-27, 2004. ,
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. ,
SysML par l'exemple -Un langage de modélisation pour systèmes complexes, 2009. ,
The Cheddar AADL Property sets (Release 2.x), 2007. ,
Andrews, «New approaches to evaluating fault trees», Reliability Engineering & System Safety, vol.58, 1997. ,