Modeling standby redundancies in repairable systems as guarded preemption mechanisms

Pierre-Yves Piriou (1) , Jean-Marc Faure (1) , Jean-Jacques Lesage (1)

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

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.

Mots clés: Model Based Safety Analysis; Repairable component; Standby redundancy policies; Preemption; Boolean logic Driven Markov Process

Domaines: Automatique / Robotique

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⟩