Home

Environment to develop knowledge bases (KB) for the dependability modeling tool KB3 used by EDF (http://www.edf.fr/en). KB3 is based on the FIGARO reliability modeling language (simulation of continuous time, discrete states stochastic processes).

Edition of a KB implementing Stochastic Petri Nets

Edition of the graphical characteristics of this KB

Input of a Petri net in KB3, using this KB

Automated fault tree analysis with KB3

---

Project Members:

• Dominique Weyand
• Laurent Raffaelli
• Marc Bouissou (admin)
• Pavel Krcal
• Ville