T. Ruin, E. Levrat, and B. Iung, Maintenance programs quantification to better control production system: From SysML-based models for knowledge formalization to Altarica-based stochastic model for simulation, 2013.

T. Ruin, E. Levrat, and B. Iung, Model-driven framework based on SysML and AltaRica Data Flow languages for complex maintenance program quantification; A-MEST 2012 (2nd IFAC Workshop on Advanced Maintenance Engineering, Services and Technology, 2012.

T. Ruin, E. Levrat, B. Iung, and A. Despujols, Using SySML language for maintenance decisionmaking model development to support complex maintenance program quantification, pp.25-29, 2012.

G. Medina-oliva, B. Iung, L. Barberá, P. Viveros, and T. Ruin, Root cause analysis to identify physical causes, PSAM11 & ESREL 2012 Conference, pp.25-29, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00748696

T. Ruin, P. Cocheteux, and E. Levrat, Formalisation de la décision basée sur un pronostic pour la maintenance prévisionnelle, 2009.

R. Adeline, Méthodes pour la validation de modèles formels pour la sûreté de fonctionnement et extension aux problèmes multi-physiques, Thèse de doctorat, 2011.

I. Alsyouf, The role of maintenance in improving companies??? productivity and profitability, International Journal of Production Economics, vol.105, issue.1, pp.70-78, 2007.
DOI : 10.1016/j.ijpe.2004.06.057

E. Arbaretier, Z. Brik, V. Brindejonc, and B. Desmarquest, ration des modèles de SDF de conception systèmes en niveaux d'abstraction, Actes du congrès Lambda-Mu 17, 2010.

T. Aven, S. Sklet, and J. E. Vinnem, Barrier and operational risk analysis of hydrocarbon releases (BORA-Release)Part I. Method description, Journal of Hazardous Materials, vol.137, issue.2, pp.681-91, 2006.
DOI : 10.1016/j.jhazmat.2006.03.049

P. Baraldi, Modeling the effects of maintenance on the degradation of a water-feeding turbo-pump of nuclear power plant, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, pp.169-183, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00658486

A. Barros, C. Berenguer, and A. Grall, A maintenance policy for two-unit parallel systems based on imperfect monitoring information, Reliability Engineering & System Safety, vol.91, issue.2, pp.131-136, 2006.
DOI : 10.1016/j.ress.2004.10.017

B. Salem and A. , Modèles probabilistes de séquences temporelles et fusion. application à la classification de défauts de rails et à leur Maintenance, Thèse de doctorat, 2008.

S. Bernardi, S. Donatelli, and J. Merseguer, From UML sequence diagrams and statecharts to analysable petri net models, Proceedings of the third international workshop on Software and performance , WOSP '02, 2002.
DOI : 10.1145/584369.584376

S. Bernardi, J. Merseguer, and D. C. Petriu, Adding Dependability Analysis Capabilities to the MARTE Profile, Proc. of MoDELS '08, pp.736-750, 2008.
DOI : 10.1007/978-3-540-87875-9_51

M. D. Berrade, A two-phase inspection policy with imperfect testing, Applied Mathematical Modelling, vol.36, issue.1, pp.108-114, 2012.
DOI : 10.1016/j.apm.2011.05.035

C. Betous-almeida and K. Kanoun, Construction and stepwise refinement of dependability models, Performance Evaluation, vol.56, issue.1-4, pp.277-306, 2004.
DOI : 10.1016/j.peva.2003.07.012

C. Betous-almeida and K. Kanoun, Dependability modelling of instrumentation and control systems, Safety Science, vol.42, issue.5, pp.457-480, 2004.
DOI : 10.1016/j.ssci.2003.09.011

M. Bevilacqua and M. Braglia, The analytic hierarchy process applied to maintenance strategy selection, Reliability Engineering & System Safety, vol.70, issue.1, pp.71-83, 2000.
DOI : 10.1016/S0951-8320(00)00047-8

A. Biswas and J. Sarkar, Availability of a system maintained through several imperfect repairs before a replacement or a perfect repair, Statistics & Probability Letters, vol.50, issue.2, pp.50105-114, 2000.
DOI : 10.1016/S0167-7152(00)00087-0

M. 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.91747-755, 2006.
DOI : 10.1016/j.ress.2004.12.004

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

P. H. Bottelberghs, Risk analysis and safety policy developments in the Netherlands, Journal of Hazardous Materials, vol.71, issue.1-3, pp.59-84, 2000.
DOI : 10.1016/S0304-3894(99)00072-2

M. Bouissou, Dix petits problèmes de modélisation (en sûreté de fonctionnement des systèmes), 2005.

M. Bouissou, KB3 tool: feedback on knowledge bases, ESREL, 2002.

M. Bouissou and C. Seguin, Comparaison des langages de modélisation AltaRica et Figaro, Actes du congrès Lambda Mu'15, 2006.

J. M. Branscomb, Supporting Multidisciplinary Vehicle Analysis Using a Vehicle Reference Architecture Model in SysML, Procedia Computer Science, vol.16, issue.0, pp.79-88, 2013.
DOI : 10.1016/j.procs.2013.01.009

Z. Brik and P. Secher, Optimisation de la disponibilite d'un système de production intégrant l'aspect environnement, JIRITE. Oran, 2010.

F. Brissaud, Failure rate evaluation with influencing factors, Journal of Loss Prevention in the Process Industries, pp.187-193, 2010.
DOI : 10.1016/j.jlp.2009.07.013

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

M. C. Carnero, Selection of diagnostic techniques and instrumentation in a predictive maintenance program. A case study, Decision Support Systems, vol.38, issue.4, pp.539-555, 2005.
DOI : 10.1016/j.dss.2003.09.003

J. H. Cha and J. J. Kim, On availability of Bayesian imperfect repair model, Statistics & Probability Letters, vol.53, issue.2, pp.181-187, 2001.
DOI : 10.1016/S0167-7152(01)00076-1

P. Chavanis, Hamiltonian and Brownian systems with long-range interactions: V. Stochastic kinetic equations and theory of fluctuations. Physica A: Statistical Mechanics and its Applications, pp.5716-5740, 2008.
DOI : 10.1016/j.physa.2005.06.088

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

H. Chouiki, A. Khatab, and N. Rezg, Condition-based maintenance for availability optimization of production system under environment constraints, 9th Intrernational Conference of Modeling, Optimization and Simulation -MOSIM'12, 2012.

J. Clavareau and P. Labeau, A Petri net-based modelling of replacement strategies under technological obsolescence, Reliability Engineering & System Safety, vol.94, issue.2, pp.357-369, 2009.
DOI : 10.1016/j.ress.2008.03.034

J. Clavareau and P. Labeau, Maintenance and replacement policies under technological obsolescence, Reliability Engineering & System Safety, vol.94, issue.2, pp.370-381, 2009.
DOI : 10.1016/j.ress.2008.03.033

URL : https://dipot.ulb.ac.be/dspace/bitstream/2013/72282/1/Maintenance and replacement policies.pdf

P. Cocheteux, Contribution à la maintenance proactive par la formalisation du processus de pronostic des performances de systèmes industriels, Thèse de doctorat, 2010.

P. Cocheteux, A. Voisin, E. Levrat, and B. Iung, Methodology for assessing system performance loss within a proactive maintenance framework, 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09, 2009.
DOI : 10.3182/20090603-3-RU-2001.0541

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

M. L. Crane, On the Syntax and Semantics of State Machines, 2006.

. Czarnecki, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, 2006.
DOI : 10.1147/sj.453.0621

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

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

P. David, Contribution à l ' analyse de sûreté de fonc-tionnement des systèmes complexes en phase de conception : application à l ' évaluation des missions d ' un réseau de capteurs de présence humaine, Thèse de doctorat, 2009.

P. David, V. Idasiak, and F. Kratz, 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

R. Dekker, Applications of maintenance optimization models: a review and analysis, Reliability Engineering & System Safety, vol.51, issue.3, pp.229-240, 1996.
DOI : 10.1016/0951-8320(95)00076-3

M. Delia and P. Rafael, A maintenance model with failures and inspection following Markovian arrival processes and two repair modes, European Journal of Operational Research, vol.186, issue.2, pp.694-707, 2008.
DOI : 10.1016/j.ejor.2007.02.009

A. Despujols, Optimisation de la maintenance par la fiabilité ( OMF ), 2004.

D. Dobre, Contribution à la modélisation d'un système interactif d'aide à la conduite d'un procédé industriel, Thèse de doctorat, 2010.

L. Doyen and O. Gaudoin, Classes of imperfect repair models based on reduction of failure intensity or virtual age, Reliability Engineering & System Safety, vol.84, issue.1, pp.45-56, 2004.
DOI : 10.1016/S0951-8320(03)00173-X

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

X. Dumas, Vers la génération de modèles de sûreté de fonctionnement, Proceedings of Conférence sur les Architectures Logicielles, 2008.

Y. Dutuit, Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases, Reliability Engineering & System Safety, vol.55, issue.2, pp.117-124, 1997.
DOI : 10.1016/S0951-8320(96)00108-1

J. A. Estefan, Survey of Model-Based Systems Engineering ( MBSE ) Methodologies, 2008.

M. C. Eti, S. O. Ogaji, and S. D. Probert, Reducing the cost of preventive maintenance (PM) through adopting a proactive reliability-focused culture, Applied Energy, vol.83, issue.11, pp.1235-1248, 2006.
DOI : 10.1016/j.apenergy.2006.01.002

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

V. M. Hoepfer, J. H. Saleh, and K. B. Marais, On the value of redundancy subject to commoncause failures: Toward the resolution of an on-going debate, Reliability Engineering & System Safety, issue.12, pp.941904-1916, 2009.

. Hoffmann, Systems Engineering Best Practices with the Rational Solution for Systems and Software Engineering Deskbook, 2011.

C. Hua, Long-term potential performance degradation analysis method based on dynamical probability model, Expert Systems with Applications, vol.39, issue.4, pp.4410-4417, 2012.
DOI : 10.1016/j.eswa.2011.09.150

K. T. Huynh, A periodic inspection and replacement policy for systems subject to competing failure modes due to degradation and traumatic events, Reliability Engineering & System Safety, vol.96, issue.4, pp.497-508, 2011.
DOI : 10.1016/j.ress.2010.12.018

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

K. T. Huynh, Modeling age-based maintenance strategies with minimal repairs for systems subject to competing failure modes due to degradation and shocks, European Journal of Operational Research, vol.218, issue.1, pp.140-151, 2012.
DOI : 10.1016/j.ejor.2011.10.025

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

A. K. Jardine, D. Lin, and D. Banjevic, A review on machinery diagnostics and prognostics implementing condition-based maintenance, Mechanical Systems and Signal Processing, vol.20, issue.7, pp.1483-1510, 2006.
DOI : 10.1016/j.ymssp.2005.09.012

A. Jeang, Reliable tool replacement policy for quality and cost, European Journal of Operational Research, vol.108, issue.2, pp.334-344, 1998.
DOI : 10.1016/S0377-2217(96)00368-2

G. Jin, Physics of failure-based degradation modeling and lifetime prediction of the momentum wheel in a dynamic covariate environment, Engineering Failure Analysis, vol.28, pp.222-240, 2013.
DOI : 10.1016/j.engfailanal.2012.10.027

M. J. Kallen and J. M. Van-noortwijk, Optimal maintenance decisions under imperfect inspection, Reliability Engineering & System Safety, vol.90, issue.2-3, pp.177-185, 2005.
DOI : 10.1016/j.ress.2004.10.004

C. Kehren, Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement, 2005.

H. Kogelnik, R. M. Jopson, and L. E. Nelson, Chapter 15 -Polarization-Mode Dispersion, 2002.
DOI : 10.1016/b978-012395173-1/50015-3

&. T. Kaminow and . Li, Optical Fiber Telecommunications IV-B (Fourth Edition), pp.725-861

W. Lair, Quantification de la maintenance du système AREH-T58-2012-01757-FR, 2012.

J. Lee, Modern computer-aided maintenance of manufacturing equipment and systems: Review and Perspective, Computers & Industrial Engineering, vol.28, issue.4, 1995.
DOI : 10.1016/0360-8352(95)00012-P

P. Lorino, Le balanced scorecard revisité: dynamique stratégique et pilotage de performance, exemple d'ue entreprise énergétique, p.22, 2001.

M. Marseguerra, Fuzzy logic for signal prediction in nuclear systems, Progress in Nuclear Energy, vol.43, issue.1-4, pp.373-380, 2003.
DOI : 10.1016/S0149-1970(03)00048-9

. Marseguerra, . Marzio, . Zio, &. Enrico, and L. Podofillini, Condition-based maintenance optimization by means of genetic algorithms and Monte Carlo simulation, Reliability Engineering & System Safety, vol.77, issue.2, pp.151-165, 2002.
DOI : 10.1016/S0951-8320(02)00043-1

M. Oliva and G. , Modélisation conjointe des connaissance multi-points de vue d'un système industriel et de son système de soutien pour l'évaluation des stratégie de maintenance, Thèse de doctorat, 2011.

. Mens and . Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.
DOI : 10.1016/j.entcs.2005.10.021

K. S. Moghaddam and J. S. Usher, Preventive maintenance and replacement scheduling for repairable and maintainable systems using dynamic programming, Computers & Industrial Engineering, vol.60, issue.4, pp.654-665, 2011.
DOI : 10.1016/j.cie.2010.12.021

M. Monnin, Approche unifiée défaillance/dommage dans la sûreté de fonctionnement pour la régénération des matériels de combat, Thèse de doctorat, 2007.

M. Monnin, B. Iung, and O. Se, Dynamic behavioural model for assessing impact of regeneration actions on system availability: Application to weapon systems, Reliability Engineering & System Safety, vol.96, issue.3, pp.410-424, 2011.
DOI : 10.1016/j.ress.2010.10.002

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

W. J. Moore and . G. Starr, An intelligent maintenance system for continuous cost-based prioritisation of maintenance activities, Computers in Industry, vol.57, issue.6, pp.595-606, 2006.
DOI : 10.1016/j.compind.2006.02.008

M. Nikolaidou, V. Dalakas, and D. Anagnostopoulos, Integrating simulation capabilities in SysML using DEVS, Proceedings of IEEE Systems Conference, 2010.

D. Nottage and S. Corns, SysML profiling for handling army base camp planning, Procedia Computer Science, vol.6, pp.63-68, 2011.
DOI : 10.1016/j.procs.2011.08.014

T. Nowakowski and S. Werbi?ka, On problems of multicomponent system maintenance modelling, International Journal of Automation and Computing, vol.93, issue.8, pp.364-378, 2009.
DOI : 10.1002/0470094907

C. J. Paredis, 5.5.1 An Overview of the SysML-Modelica Transformation Specification, INCOSE International Symposium, 2010.
DOI : 10.1109/9780470545669

A. Parida, Development of a Multi-criteria Hierarchical Framework for Maintenance Performance Measurement Concepts , Issues and Challenges, 2006.

M. Pennington and T. Strùmme, Surveys as a research tool for managing dynamic stocks, Fisheries Research, vol.37, issue.1-3, pp.97-106, 1998.
DOI : 10.1016/S0165-7836(98)00129-5

F. Perisse, Etude et analyse des modes de défaillances des condensateurs électrolytiques à l'aluminium et des thyristors, 2003.

D. G. Proverbs and G. D. Holt, Reducing construction costs: European best practice supply chain implications, European Journal of Purchasing & Supply Management, vol.6, issue.3-4, 2000.
DOI : 10.1016/S0969-7012(00)00011-3

F. Pérès and D. Noyes, Evaluation of a maintenance strategy by the analysis of the rate of repair, Quality and Reliability Engineering International, vol.48, issue.6, pp.129-148, 2003.
DOI : 10.1287/opre.48.6.951.12389

. Ramesh, An integrated reliability modeling environment, Reliability Engineering & System Safety, vol.65, issue.1, pp.65-75, 1999.
DOI : 10.1016/S0951-8320(98)00086-6

A. Rauzy, Mode automata and their compilation into fault trees, Reliability Engineering & System Safety, vol.78, issue.1, pp.1-12, 2002.
DOI : 10.1016/S0951-8320(02)00042-X

R. Ravichandran, A decision support system for stochastic cost-volume-profit analysis, Decision Support Systems, vol.10, issue.4, pp.379-399, 1993.
DOI : 10.1016/0167-9236(93)90069-F

G. Reggio and R. J. Wieringa, Thirty one Problems in the Semantics of UML 1 . 3 Dynamics, Rigourous Modelling and analysis of the UML: Challenges and limitations, 1999.

R. A. Ribeiro, Fuzzy multiple attribute decision making: A review and new preference elicitation techniques, Fuzzy Sets and Systems, vol.78, issue.2, pp.155-181, 1996.
DOI : 10.1016/0165-0114(95)00166-2

J. Rolland, Développement et validation d'architectures dynamiques, Thèse de doctorat, 2008.

N. Sanajian and B. Balc?og?lu, The impact of production time variability on make-to-stock queue performance, European Journal of Operational Research, vol.194, issue.3, pp.847-855, 2009.
DOI : 10.1016/j.ejor.2008.01.020

M. Savsar, Effects of maintenance policies on the productivity of flexible manufacturing cells, Omega, vol.34, issue.3, pp.274-282, 2006.
DOI : 10.1016/j.omega.2004.10.010

O. Sénéchal, Pilotage des systèmes de production vers la performance. Rapport d'habilitation à diriger les recherches, 2004.

E. Thomas, Contribution à la prise de décision dynamique en maintenance prévisionnelle par formalisation d'un principe d'opportunité, Thèse de doctoral, 2009.

W. Wang, An overview of the recent advances in delay-time-based maintenance modelling, Reliability Engineering & System Safety, vol.106, pp.165-178, 2012.
DOI : 10.1016/j.ress.2012.04.004

P. Weber and L. Jouffe, Complex system reliability modelling with Dynamic Object Oriented Bayesian Networks (DOOBN) Reliability Engineering & System Safety, pp.149-162, 2006.

R. Wieringa, A survey of structured and object-oriented software specification methods and techniques, ACM Computing Surveys, vol.30, issue.4, pp.459-527, 1998.
DOI : 10.1145/299917.299919

Q. Yu, P. Chen, and L. Wang, Degradation in mechanical and physical properties of carbon fiber/bismaleimide composite subjected to proton irradiation in a space environment. Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, pp.42-46, 2013.

X. Zhou, L. Xi, and J. Lee, Reliability-centered predictive maintenance scheduling for a continuously monitored system subject to degradation, Reliability Engineering & System Safety, vol.92, issue.4, pp.530-534, 2007.
DOI : 10.1016/j.ress.2006.01.006

V. Zille, Modélisation et évaluation des stratégies de maintenance complexes sur des systèmes multi-composants, Thèse de doctorat, 2009.

E. Zio and P. Baraldi, Sensitivity analysis and fuzzy modelling for passive systems reliability assessment, Annals of Nuclear Energy, vol.31, issue.3, pp.277-301, 2003.
DOI : 10.1016/S0306-4549(03)00220-2