Hybrid systems mix two kinds of behaviours:
1 The discrete and stochastic behaviour which is in general due to failures and repairs of the system’s constituents.
2 The continuous and deterministic physical phenomena which evolve inside the system.
Current conventional approaches to probabilistic safety assessments are not able to take into account both behaviours.
Because of the conservative assumptions supposed to remedy the lack of physical phenomena modelling, this usually leads to the loss of precious safety margins.
PyCATSHOO solves this problem
PyCATSHOO is based on the theoretical framework of Piecewise Deterministic Markov Processes. It implements this framework thanks to distributed hybrid stochastic automata and object oriented modeling.
Such an approach minimizes the surplus of complexity introduced by the hybrid behaviour of the systems.