Download the software:
The KB3 workbench, that EDF has been developing for about fifteen years, allows to automate dependability studies by capitalizing the knowledge acquired on systems through knowledge bases written in an object-oriented modelling language called FIGARO.
From the graphic input of a model, made possible by the definition of a knowledgebase dedicated to the problem to be treated, the tool KB3 automatically builds reliability models. These models can be static, such as fault-trees, or dynamic, exploitable by means of markov methods or by Monte Carlo simulation. The KB3 workbench also allows the reliability analysts to build graphically all their usual models: fault-trees, naturally, but also reliability block diagrams, Markov graphs, Petri nets, reliability networks and many extensions of these standard models. In particular the KB3 workbench fully supports the formalism BDMP® (Boolean logic Driven Markov Process), that is extremely powerful and general.
The models built with KB3 can be processed in various ways with several calculation tools, developed either by EDF (FIGSEQ,YAMS, FIGMAT-SF for dynamic models), or by other companies (ARALIA, RISKSPECTRUM for the fault-trees generated by KB3). These tools allow making calculations of reliability, availability, productivity, costs... They also give precious qualitative indications to improve the performances of the studied systems: minimal cut sets or dominating sequences, importance factors...
The three tools FIGSEQ, YAMS and FIGMAT-SF can also serve for processing models written in AltaRica modeling language, thanks to the automatic translator AR2FIG0 capable of converting any AltaRica model into an equivalent FIGARO model. Therefore, the computing power of these tools can be also exploited by the users of the tools SIMFIA V2 and OCAS, which are based on the AltaRica language.
KB3 offers a very user-friendly graphic interface, with generic functions that are useful in all applications: levels of detail, display modes in colour, interactive simulation, optimized management of variants of models, copy and paste of graphs and data towards Microsoft Office tools.
Main advantages of the KB3 workbench
Possible applications with the KB3 workbench
Among the possible applications of KB3 we can quote: