文章基本信息

标题：Modeling standby redundancies in repairable systems as guarded preemption mechanisms
本地全文：下载
作者：Pierre-Yves Piriou ; Jean-Marc Faure ; Jean-Jacques Lesage 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2015
卷号：48
期号：7
页码：147-153
DOI：10.1016/j.ifacol.2015.06.486
语种：English
出版社：Elsevier
摘要：Abstract:This paper proposes an extension of the BDMP (Boolean logic Driven Markov Processes) formalism for enriching its capabilities to model replacement and resumption mechanisms in repairable systems. The implicit assumptions made by the classical BDMP to describe these mechanisms are first highlighted. An analogy between standby redundancies management in critical systems and preemption mechanisms in concurrent systems is then proposed. This permits to formally define an extension of BDMP that allows several replacement and resumption mechanisms be specified. A case study illustrates the benefits of this proposal.
关键词：Keywords:Model Based Safety AnalysisRepairable componentStandby redundancy policiesPreemptionBoolean logic Driven Markov Process