Visual Figaro是一个集成环境，用于为EDF使用的可靠性建模工具KB3（http://www.edf.fr/recherche/codes-de-calcul/kb3）开发组件库。 KB3基于FIGARO可靠性建模语言，适用于描述CTMC（连续时间马尔可夫链），DES（离散事件模拟）模型以及故障树的自动生成。 FIGARO面向对象，接近自然语言，可构建可重用组件（知识库）库。 转到“文件”选项卡以下载各种基于Figaro的工具（Visual Figaro，KB3，YAMS），大量示例和文档。

Figaro 是基于SCALA的概率编程语言，利用SCALA的优势，可以专注于业务建模。