KB3 in 4 questions
Who am I?
I am a software to help perform systems safety, dependability, performance and security studies.
For companies with facilities whose failures can be very costly or endanger human life.
What is it used for?
Using my graphical interface, my users can assemble generic components to build complex system models to calculate their probability of failure. I am able to turn the data entered into low-level computational models that would be excessively difficult to build "by hand", such as fault trees. The generic models that I exploit are grouped in libraries or "knowledge bases", written in a language that is formal, yet easy to understand because close to the natural language: the Figaro language.
I was asked to evaluate the reliability of a datacenter's power supply. Despite a complex and seemingly redundant system schema, I was able to demonstrate the existence of a weak point: a single failure could cause an outage of all power supplies, with catastrophic consequences for the datacenter operator. From there, it was possible to propose changes in the structure of the system, which allowed to divide the unavailability of the system by a factor of more than 100.
KB3 is a graphical user interface for creating, interactively simulating, and transforming system dependability models into quantitative models, starting from generic models available in libraries.
KB3 is a registered trademark.
Since 2019, EDF has been working with Lloyd’s Register, publisher of the RiskSpectrum software, to link the two RiskSpectrum and KB3 tools.
Discipline: System dependability, safety and security
Code under license: Yes
Execution environment: Windows
Coupling with other codes:
What uses for KB3?
► For the generation of fault trees: backward chaining on these same rules.
discrete event simulationsystem modeling
KB3 - chiffre clés [Liste chiffres clés]