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 replacement and resumption mechanisms be specified. A case study illustrates the benefits of this proposal.
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download
Contributor : Pierre-Yves Piriou <>
Submitted on : Monday, June 8, 2015 - 10:14:04 AM
Last modification on : Thursday, April 18, 2019 - 3:59:37 PM
Long-term archiving on : Tuesday, September 15, 2015 - 12:06:08 PM


Files produced by the author(s)


  • HAL Id : hal-01160824, version 1


Pierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques Lesage. Modeling standby redundancies in repairable systems as guarded preemption mechanisms. Dependable Control of Discrete Systems (DCDS), May 2015, Cancun, Mexico. pp.147-153. ⟨hal-01160824⟩



Record views


Files downloads