Procédé d’estimation de la fiabilité d’au moins un système de sûreté (S1, S2,…, SN) d’un dispositif nucléaire (100), ledit procédé étant mis en œuvre par des moyens informatiques, ledit procédé comportant les étapes suivantes : - une étape de réception (E10) de données statiques d’entrée (AdDs, AdEs, Data fiab , M TS ), lesdites données statiques d’entrée (AdDs, AdEs, Data fiab , M TS ) provenant d’une modélisation statique d’Etudes Probabilistes de Sûreté du système de sûreté (S1, S2, ..., SN), lesdites données statiques d’entrée étant aptes à être compilées dans un fichier (Text) de compilation des données statiques d’entrée ; - une étape de réception (E40) de données dynamiques d’entrée, lesdites données dynamiques d’entrée comprenant au moins un nombre de simulations N Sim , avec N sim un nombre entier supérieur à 1, lesdites données dynamiques d’entrée étant aptes à être compilées dans un fichier (Dtext) de compilation de données dynamiques d’entrée ; - une étape de traduction automatique (E30) du fichier (Text) de compilation des données statiques d’entrée et du fichier (Dtext) de compilation des données dynamiques d’entrée, la traduction du fichier (Text) de compilation des données statiques d’entrée se faisant selon un modèle dynamique d’Etudes Probabilistes de Sûreté dudit système de sûreté (S1, S2, …, SN) pour former des données statiques traduites, la traduction du fichier (Dtext) de compilation de données dynamiques d’entrée fournissant des données dynamiques traduites (Spec dyn ) ; - une étape de traitement (E50) par la modélisation dynamique d’Etudes Probabilistes de Sûreté à partir des données statiques traduites et des données dynamiques traduites (Spec dyn ) en vue d’obtenir un nombre N scén de scénarii de défaillance (cpt NOK ), avec N scén un nombre entier supérieur à 1, de sorte à pouvoir déduire une probabilité de défaillance (P KO ) du système de sûreté (S1, S2, …, SN) en divisant ledit nombre N scén de scénarii de défaillance (cpt NOK ) par le nombre de simulations N sim . Procédé d’estimation selon la revendication 1, dans lequel les données statiques d’entrée (AdDs, AdEs, Data fiab , M TS ) comprennent tout ou partie des éléments suivants : - des Arbres de Défaillance (AdDs) ; - des Arbres d’Evènements (AdEs) ; - des premières données de fiabilité (Data fiab1 ) du système de sûreté (S1, S2, …, SN) ; - une durée de scrutation (M TS ) . Procédé d’estimation selon l’une quelconque des revendications 1 ou 2, dans lequel l’étape de traduction (E30) des données d’entrée (Text, Dtext) comprend une étape de décomposition (E300) desdites données d’entrée en au moins quatre sous-groupes de données d’entrée, ledit procédé d’estimation comportant pour chaque sous-groupe de données d’entrée : - une étape d’analyse lexicale (E302, E312, E322, E332) ; - une étape d’analyse syntaxique (E303, E313, E323, E333) ; - une étape d’analyse sémantique (E304, E314, E324, E334), en vue d’obtenir des sous-groupes de données traduites (Req min (Syst period ), Base stat (R ef ), Spec dyn (G rep , Dep fonct , T CC ), Data fiab2 (λ BEVi (F ct ), P BEVi (Sol), β CCFj ). Procédé d’estimation selon la revendication 3, dans lequel les données traduites (Req min (Syst period ), Base stat (R ef ), Spec dyn (G rep , Dep fonct , T CC ), Data fiab2 (λ BEVi (F ct ), P BEVi (Sol), β CCFj ) sont organisées selon un modèle de programmation logique tel que le modèle Prolog. Procédé d’estimation selon l’une quelconque des revendications 3 ou 4, dans lequel un premier sous-groupe de données d’entrée concerne des spécifications d’arbres d’évènements (AdDs) utilisées pour former des requis minimum (Req min ) comme premier sous-groupe de données traduites, et dans lequel un second sous-groupe de données d’entrée concerne des spécifications d’arbres de défaillance (AdEs) utilisées pour former une base de connaissances statiques (Base stat ) comme second sous-groupe de données statistiques traduites, et dans lequel un troisième sous-groupe de données d’entrée concerne des spécifications d’évènements de base (Spec base ) utilisées pour former les données dynamiques traduites (Spec dyn ) comme troisième sous-groupe de données traduites, et dans lequel un quatrième sous-groupe de données d’entrée concerne des spécifications de paramètres (Spec para ) utilisées pour former des secondes données de fiabilité (Data fiab2 ) du système de sûreté (S1, S2,…, SN). Procédé d’estimation selon la revendication 5, dans lequel les secondes données de fiabilité (Data fiab2 ) du système de sûreté (S1, S2, …, SN) comprennent des paramètres de taux de fiabilité (λ BEVi (F ct )), des probabilités de défaillance à la sollicitation (P BEVi (Sol), des descriptions et un modèle de traitement des groupes de défaillance de cause commune (β CCFj ). Procédé d’estimation selon l’une quelconque des revendications 1 à 6, dans lequel les données statiques d’entrée (AdDs, AdEs, Data fiab , M TS ) sont cryptées. Procédé d’estimation selon l’une quelconque des revendications 1 à 7, dans lequel les données statiques d’entrée (AdDs, AdEs, Data fiab , M TS ) sont obtenues à partir d’un logiciel RiskSpectrum®. Procédé d’estimation selon l’une quelconque des revendications 1 à 8, dans lequel l’étape de traitement est également apte à traiter des codes physiques, tels que des codes associés à une information thermomécanique ou thermohydraulique. Procédé d’estimation selon l’une quelconque des revendications 1 à 9, dans lequel l’étape de traitement permet d’obtenir des informations complémentaires telles qu’une disponibilité du système de sûreté (S1, S2,…, SN) et/ou des évènements de base les plus impliqués et/ou une analyse de sensibilité. Procédé d’estimation selon l’une quelconque des revendications 1 à 10, dans lequel les données dynamiques d’entrée comprennent des durées de réparation et/ou des dépendances fonctionnelles. Système informatique d’estimation de la fiabilité d’au moins un système de sûreté d’un dispositif nucléaire (100), ledit système informatique (200) comportant : - un module informatique (201A) de modélisation statistique d’Etudes Probabilistes de Sûreté du système de sûreté (S1, S2, …, SN) pour la génération de données statiques d’entrée, lesdites données statiques d’entrée étant aptes à être compilées dans un fichier (Text) de compilation des données statiques d’entrée ; - un module informatique (201B) de génération de données dynamiques d’entrée, lesdites données dynamiques d’entrée comprenant au moins un nombre de simulations N Sim , avec N sim un nombre entier supérieur à 1 , lesdites données dynamiques d’entrée étant aptes à être compilées dans un fichier (Dtext) de compilation de données dynamiques d’entrée ; - un module de traduction automatique (202) apte à traduire automatiquement le fichier (Text) de compilation des données statiques d’entrée et le fichier (Dtext) de compilation des données dynamiques d’entrée, la traduction du fichier (Text) de compilation des données statiques d’entrée se faisant selon un modèle dynamique d’Etudes Probabilistes de Sûreté dudit système de sûreté (S1, S2,…, SN) pour former des données statiques traduites, la traduction du fichier (Dtext) de compilation de données dynamiques d’entrée fournissant des données dynamiques traduites (Spec dyn ); - un module informatique (203) de modélisation dynamique d’Etudes Probabilistes de Sûreté à partir des données statiques traduites et des données dynamiques traduites (Spec dyn ) en vue d’obtenir un nombre N scén de scénarii de défaillance (cpt NOK ), avec N scén un nombre entier supérieur à 1, de sorte à pouvoir déduire une probabilité de défaillance (P KO ) du système de sûreté (S1, S2,…, SN) en divisant ledit nombre N scén de scénarii de défaillance (cpt NOK ) par le nombre de simulations N sim . Programme d’ordinateur comportant des instructions adaptées pour l’exécution des étapes d’un procédé d’estimation selon l’une quelconque des revendications 1 à 11.