Environment to develop component libraries for the dependability modeling tool KB3 used by EDF (http://researchers.edf.com/software/kb3-44337.html). KB3 is based on the FIGARO reliability modeling language (simulation of continuous time, discrete states stochastic processes). Look at "Browse All Files" page.
- Capture your expertise in dependability and security modeling in FIGARO libraries
- Visual Figaro: syntactic help for building FIGARO libraries you can load in KB3
- Visual Figaro: browse and edit a set of pedagogical libraries, tailor them to your needs
- Visual Figaro: generate fault trees directly from Figaro textual models
- Visual Figaro: use the interactive simulator to validate your dynamic models
- KB3: load FIGARO libraries, automatically generate fault trees and simulation models
- Assess the safety, dependability and security of your system using ready made libraries
Be the first to post a review of Visual Figaro!