The KB3 workbench that EDF has been developing since the 90s allows automation dependability studies by capitalizing on 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:
reliability block diagrams
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
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 modelling 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.