KB3

Download the software:

KB3 Platform tools

 

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

  • Time savings in the implementation of studies,
  • Accessibility of the tool to non experts in reliability, thanks to knowledge bases dedicated to applications. A knowledge base contains the generic description of the classes of components which one can meet in the systems of a given category. For example, in a knowledge base dedicated to the study of thermohydraulic systems, one will find the generic description of components of type pump, valve, heat-exchanger, etc.
  • Quality improvement of studies obtained by a guarantee of consistency between the various models built with the same knowledge base and the traceability of the data.
  • The possibility of launching several processings from a unique model.


Possible applications with the KB3 workbench
Among the possible applications of KB3 we can quote:

  • Availability studies performed to optimize the design or the exploitation of industrial systems: production installations, public networks (electricity, transport, telephony),
  • Reliability assessment of high technology systems (on-board systems, medical devices...),
  • The control of the safety of risky industrial processes, e.g. in nuclear, chemical, petrochemical industries.

Find out more

Articles
  • A technical presentation of the concepts used in the tools of the KB3 workbench (set of articles)
BDMP
  • A new formalism to specify and solve efficiently complex Markov processes
AR2FIG0
  • The translator AR2FIG0 allows to convert any model written in AltaRica Dataflow language into an equivalent model in FIGARO language. The user can choose to produce French or English FIGARO