Group colloquium: Rare Event Simulation (Again?) (Yes)

When: Oct. 25, 2018, 15:45-16:45

Where: Cubicus B209

Dynamic fault trees (DFT [0,1]) are a powerful formalism to reason about the resilience of complex systems. Simulation-based approaches are a usual way to analyse DFT when the state space is too big to be statically verified. However, simulation falls through when the failure is very unlikely, e.g. in safety-critical processes whose design is fault-tolerant. Rare event simulation techniques (RES [2]) offer a solution, but they are difficult to tune and typically cannot be extended to general classes of systems. In this talk I discuss ongoing endeavours with the University of Florence to develop an automatic framework for the application of RES to DFT.

[0] J. B. Dugan, S. J. Bavuso, and M. A. Boyd, "Fault trees and sequence dependencies," Annual Proceedings on Reliability and Maintainability Symposium, Los Angeles, CA, USA, 1990.

[1] Ruijters, E. J. J., and Stoelinga, M. I. A., "Fault Tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools," CTIT Technical Report Series, No. TR-CTIT-14-14, 2014.

[2] Rubino, G., and Tuffin, B. (eds.), "Rare event simulation using Monte Carlo methods," John Wiley & Sons, 2009.

	Home > News and Events > Events
<< EEMCS (EWI) Home News and Events » Group Colloquium » Events » In the Media People Research Education Vacancies Intranet Contact	Group colloquium: Rare Event Simulation (Again?) (Yes) When: Oct. 25, 2018, 15:45-16:45 Where: Cubicus B209 Who: Carlos Esteban Budde Dynamic fault trees (DFT [0,1]) are a powerful formalism to reason about the resilience of complex systems. Simulation-based approaches are a usual way to analyse DFT when the state space is too big to be statically verified. However, simulation falls through when the failure is very unlikely, e.g. in safety-critical processes whose design is fault-tolerant. Rare event simulation techniques (RES [2]) offer a solution, but they are difficult to tune and typically cannot be extended to general classes of systems. In this talk I discuss ongoing endeavours with the University of Florence to develop an automatic framework for the application of RES to DFT. [0] J. B. Dugan, S. J. Bavuso, and M. A. Boyd, "Fault trees and sequence dependencies," Annual Proceedings on Reliability and Maintainability Symposium, Los Angeles, CA, USA, 1990. [1] Ruijters, E. J. J., and Stoelinga, M. I. A., "Fault Tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools," CTIT Technical Report Series, No. TR-CTIT-14-14, 2014. [2] Rubino, G., and Tuffin, B. (eds.), "Rare event simulation using Monte Carlo methods," John Wiley & Sons, 2009.