Modeling Framework based on SysML and AltaRica Data Flow languages for developing models to support complex maintenance program quantification

Abstract With the financial crisis attacking every industry and the new sustainability requirements such as the extension of a system operation time subject to ageing life (i.e. nuclear power plant), the importance of maintenance being effective and efficient is one of the top priorities for any industrial company. This challenge cannot be achieved only through conventional maintenance optimization models focusing mainly on few components but through maintenance programs based on "system thinking" considerations. In that way, managers need to have at their disposal new decision-making tools well adapted to support these considerations and allowing comparing off-line the impact of maintenance programs on complex system performances like costs and availability (Complex Maintenance Program Quantification – CMPQ). Thus, this paper proposes a model driven framework based both on the use of SysML to model a system-of-interest subject to ageing and maintenance and on the use of formal language AltaRica Data Flow to support model simulation.

[1]  Benoît Iung,et al.  Dynamic behavioural model for assessing impact of regeneration actions on system availability: Application to weapon systems , 2011, Reliab. Eng. Syst. Saf..

[2]  Antoine Rauzy,et al.  Mode automata and their compilation into fault trees , 2002, Reliab. Eng. Syst. Saf..

[3]  Pierre-Etienne Labeau,et al.  A Petri net-based modelling of replacement strategies under technological obsolescence , 2009, Reliab. Eng. Syst. Saf..

[4]  Rommert Dekker,et al.  Applications of maintenance optimization models : a review and analysis , 1996 .

[5]  Kishor S. Trivedi,et al.  Reliability and Performability Techniques and Tools: A Survey , 1993, MMB.

[6]  Simona Bernardi,et al.  Adding Dependability Analysis Capabilities to the MARTE Profile , 2008, MoDELS.

[7]  Pierre David,et al.  Reliability study of complex physical systems using SysML , 2010, Reliab. Eng. Syst. Saf..

[8]  Kishor S. Trivedi,et al.  An integrated reliability modeling environment , 1999 .

[9]  A B Rauzy,et al.  Guarded transition systems: A new states/events formalism for reliability studies , 2008 .

[10]  Antoine Grall,et al.  A maintenance policy for two-unit parallel systems based on imperfect monitoring information , 2006, Reliab. Eng. Syst. Saf..

[11]  Karama Kanoun,et al.  Construction and stepwise refinement of dependability models , 2004, Perform. Evaluation.

[12]  Adolfo Crespo Mrquez The Maintenance Management Framework: Models and Methods for Complex Systems Maintenance , 2007 .

[13]  Peter Nyhuis,et al.  Changeable Manufacturing - Classification, Design and Operation , 2007 .

[14]  Philippe Weber,et al.  Use of Probabilistic Relational Model (PRM) for Dependability Analysis of Complex Systems , 2010 .

[15]  Hoang Pham,et al.  Reliability and Optimal Maintenance , 2006 .

[16]  Mourad Debbabi,et al.  Systems Modeling Language , 2010 .

[17]  Elvinia Riccobene,et al.  Modeling the Dynamics of UML State Machines , 2000, Abstract State Machines.

[18]  Yves Dutuit,et al.  The AltaRica data-flow language in use: modeling of production availability of a multi-state system , 2006, Reliab. Eng. Syst. Saf..

[19]  Jay Lee,et al.  Maintenance: Changing role in life cycle management , 2004 .