Proceedings ArticleDOI
A path-based algorithm to evaluate asymptotic unavailability for large Markov models
Marc Bouissou,Y. Lefebvre +1 more
- pp 32-39
Reads0
Chats0
TLDR
This paper proposes a method exploiting this path-based approach to evaluate the asymptotic unavailability of a system which is completely and quickly repairable, and shows on a simple example that the more reliable the system, the better the approximation given by the method.Citations
More filters
Proceedings ArticleDOI
Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP)
TL;DR: This work shows how this new BDMP approach can be seen as preferable to attack trees and Petri net-based methods, allowing efficient scenarios processing and time dependent quantifications.
Journal ArticleDOI
Automated generation of partial Markov chain from high level descriptions
TL;DR: The proposed algorithm to generate partial Markov chains from high level implicit descriptions, namely AltaRica models, relies on a variation on Dijkstra׳s algorithm to compute shortest paths in a graph and a notion of distance to select which states must be kept and which can be safely discarded.
Journal ArticleDOI
Conception of Repairable Dynamic Fault Trees and resolution by the use of RAATSS, a Matlab® toolbox based on the ATS formalism
TL;DR: A set of standardized rules that frame the behaviors of dynamic gates are designed and a well-defined semantic for repairable-DFT is drawn through the application of a novel formalism, the Adaptive Transitions System (ATS).
Book ChapterDOI
Attack and defense modeling with BDMP
TL;DR: BDMP detection and reaction modeling are fully integrated in an augmented theoretical framework and new developments on defensive aspects are presented.
Dissertation
Des relations entre sûreté et sécurité
TL;DR: In this article, a demarche s'est concretisee par l'adaptation des BDMP (Boolean logic Driven Markov Processes), issus de la surete, au domaine de la modelisation graphique d'attaques Ils permettent de depasser bien des limites des techniques classiquement employees Enfin, l'extension of BDMP a ete mise a profit pour fournir un formalisme integratif, permettant de capturer graphiquement and de caracteriser
References
More filters
Journal ArticleDOI
Knowledge Modelling and Reliability Processing: Presentation of the Figaro Language and Associated Tools
TL;DR: The main ideas which determined the FIGARO language are presented, and general ideas by examples are illustrated by examples.
Journal ArticleDOI
An algorithm in order to implement reliability exponential approximations
Jean-Louis Bon,Jérôme Collet +1 more
TL;DR: An algorithm with the following characteristics is proposed: it assumes the process is a semi-Markov process, it uses an exploration of graph circuitless sequences, it allows us to use a stop criterion, it is not suited for systems with a large number of active redundancies, and the results were satisfactory.
Proceedings ArticleDOI
Path probability evaluation with repeated rates
Jérôme Collet,I. Renault +1 more
TL;DR: In this article, the authors present a method for handling big Markovian graphs for reliability studies, which is theoretically possible to generate and quantify the state graph, but it is often not feasible, because of the number of states.