A Meta-Model to Support the Integration of Dependability Concerns Into Systems Engineering Processes: An Example From Power Production

Systems engineering (SE) is a very promising approach to facilitate the development of complex systems. This explains why several SE processes have been already proposed. However, these proposals focus mainly on systems with faultless components. Integration of dependability concerns into SE processes must be supported by a suitable organization of the data which are dealt with during the system life-cycle. A meta-model which defines the concepts used during this cycle as well as the relations between these concepts is a way to rigorously describe this organization. This article proposes such a meta-model developed for power production systems. These systems are phased mission systems composed of repairable and multi-state components; moreover, several redundancy policies shall be defined for each phase. This proposal is illustrated on a small example from a power plant. Last, the merit of this contribution to support the integration of dependability concerns is shown by proposing a method to build systematically, from the instance diagrams derived from the proposed meta-model, the Markov Chains which represent the dysfunctional dynamic behavior of a system.

[1]  Manfred Morari,et al.  Level control in the steam generator of a nuclear power plant , 2000, IEEE Trans. Control. Syst. Technol..

[2]  Nancy G. Leveson,et al.  Engineering a Safer World: Systems Thinking Applied to Safety , 2012 .

[3]  Benoîte de Saporta,et al.  Dynamic reliability : towards efficient simulation of the availability of a feedwater control system , 2011 .

[4]  Morayo Adedjouma,et al.  An integrated approach to implement system engineering and safety engineering processes: SASHA Project , 2012 .

[5]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[6]  Liudong Xing,et al.  An overview of the phase-modular fault tree approach to phased mission system analysis , 2003 .

[7]  James Bret Michael,et al.  Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety , 2010, IEEE Systems Journal.

[8]  Clémentine Nebut,et al.  A proposed meta‐model for formalizing systems engineering knowledge, based on functional architectural patterns , 2012, Syst. Eng..

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

[10]  Antoine Rauzy,et al.  Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees , 2011, Reliab. Eng. Syst. Saf..

[11]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[12]  Jean-Jacques Lesage,et al.  Towards a unified definition of Minimal Cut Sequences , 2013 .

[13]  Burak Acar,et al.  Reliability, Availability, Maintainability and Safety Assessment in the Maritime Industry , 2017 .

[14]  R Guillerm,et al.  Combining FMECA and fault trees for declining safety requirements of complex systems , 2011 .

[15]  Yacov Y. Haimes,et al.  Risk modeling, assessment, and management , 1998 .

[16]  G.R. Burdick,et al.  Phased Mission Analysis: A Review of New Developments and An Application , 1977, IEEE Transactions on Reliability.

[17]  K.E. Murphy,et al.  Reliability analysis of phased-mission systems: a correct approach , 2007, 2007 Annual Reliability and Maintainability Symposium.

[18]  Sébastien Gérard,et al.  SOPHIA: a Modeling Language for Model-Based Safety Engineering , 2009, ACES-MB@MoDELS.

[19]  Valeria Vittorini,et al.  Repairable fault tree for the automatic evaluation of repair policies , 2004, International Conference on Dependable Systems and Networks, 2004.

[20]  G. Bolton Reliability , 2003, Medical Humanities.

[21]  Mansoor Alam,et al.  Quantitative Reliability Evaluation of Repairable Phased-Mission Systems Using Markov Approach , 1986, IEEE Transactions on Reliability.

[22]  R.W.A. Barnard 3.2.2 What is wrong with Reliability Engineering , 2008 .

[23]  Roy Billinton,et al.  Reliability evaluation of power systems , 1984 .

[24]  D. Elmakis,et al.  Redundancy optimization for series-parallel multi-state systems , 1998 .

[25]  Yacov Y Haimes,et al.  On the Definition of Resilience in Systems , 2009, Risk analysis : an official publication of the Society for Risk Analysis.