2015
DOI: 10.1016/j.ifacol.2015.06.486
|View full text |Cite
|
Sign up to set email alerts
|

Modeling standby redundancies in repairable systems as guarded preemption mechanisms

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 repla… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
5
0

Year Published

2016
2016
2024
2024

Publication Types

Select...
6
1

Relationship

0
7

Authors

Journals

citations
Cited by 8 publications
(5 citation statements)
references
References 4 publications
0
5
0
Order By: Relevance
“…Although a few techniques have been extended with more flexible mechanisms (e.g. BDMP), the representation and analysis of dynamic repair scenarios remain a research challenge that we try to address within D3H2.…”
Section: Related Workmentioning
confidence: 99%
“…Although a few techniques have been extended with more flexible mechanisms (e.g. BDMP), the representation and analysis of dynamic repair scenarios remain a research challenge that we try to address within D3H2.…”
Section: Related Workmentioning
confidence: 99%
“…• First, it is possible to model only one reconfiguration strategy: the destination of the trigger is activated as soon as the origin of the trigger fails and is deactived as soon as the origin is repaired. This strategy is not the only one which is used in practice, however [12]. • Second, the models of components (leaves of the fault tree) include only two operation modes: working and standby.…”
Section: From Safety Analysis Of Reconfigurable Systems To Design Of mentioning
confidence: 99%
“…The reconfiguration strategy which is chosen for each switch (and whose relevance has to be evaluated before designing a faulttolerant control algorithm) is modeled by a Moore machine, associated with this switch. Three kinds of switches are used in this study case (an exhaustive study of the reconfiguration strategies has been proposed in [12]). Switches of type M3 express a strategy "1 out of 2, latest replacement, latest resumption" (replacement occurs when the main component fails if the spare component is available, and resumption occurs when the spare fails if the main is available -the corresponding Moore machine is given in Figure 3f); switches of type M4 express a strategy "1 out of 2, earliest replacement, earliest resumption" (resumption occurs as soon as the main component is available without waiting for a failure of the spare -the corresponding Moore machine is given in Figure 3g); switches of type M2 express a strategy "2 out of 3, latest replacement, latest resumption" (the corresponding Moore machine is given in Figure 3e).…”
Section: B Gbdmp Model Of the Case Studymentioning
confidence: 99%
“…As the FTP A has better performance than the FTP B, it is reactivated after a failure as soon as it has been repaired, even if the FTP B is operable. That is, the FTP B is deactivated upon the repair of the FTP A (Piriou et al 19 ).…”
Section: Introductionmentioning
confidence: 99%
“…For the given value of parameter k, after expanding the terms (l 1 + m 2 + t) k and (l 1 + t) k involved in (19), a representation in the form of ( 14) is obtained. For an illustration, let k = 2, l 1 = 1, l 2 = 2, m 1 = 4, m 2 = 10.…”
mentioning
confidence: 99%