Archives pour l'étiquette Albizia

Mise à jour GRIF2016.15

Une nouvelle mise à jour est disponible.
Voici les modifications apportées :

[2016 (8.0.15)]
Petro Initialisation incorrecte des conditions en mode manuel

[2016 (8.0.14)]
Bool Correction lancement calcul Albizia via JVM externe
ETree Problème de tooltip sur la table d’acceptabilité lors de l’édition des matrices de risque

[2016 (8.0.13)]
Petro Erreur lors du tri des colonnes des profils de flux
GRIF Impression PDF : les tris ne sont pas utilisés par l’export

[2016 (8.0.12)]
BFiab Copier Coller des blocs répétés
Markov Rajout des points de changement de phases pour les calculs

[2016 (8.0.11)]
Petro Vérification correcte en tant que Mu des Mu des répartitions
Petro Impossible de créer une courbe qui trace le résultats issu de plusieurs calculs
Petro Utilisation de composant XML
Petro Buin_K non défini
Petro Pb modif multiple dans tableau d’utilisation des ressources

[2016 (8.0.10)]
BStoK Sous-systèmes et cassures impossibles dans BStoK definition circulaire
Petro Incohérence entre le domaine d’une variable et la valeur saisie (Bad init value)
Tree Impossible d’avoir les résultats de coupes si mode composant/système activé
SIL Import base de composants, gestion des lignes vides et de paramètres vides

Nouvelle version GRIF 2014

Bonjour,

Une nouvelle version de GRIF-workshop est disponible. Cette version 2014 apporte de nombreuses évolutions sur tous les modules, dont les principales sont les suivantes :

GRIF (tous les modules)

  • GRIF utilise maintenant Java7 afin de régler le problème de l’obsolescence de Java6. Le système de protection est maintenant Sentinel LDK ce qui permet une meilleure gestion des licences.
  • Le zoom a été amélioré, il est maintenant centré sur la sélection, et il est possible d’utiliser des zooms différents pour chaque page.
  • Les données (variables, paramètres …) peuvent être fusionnées par un simple clic dans les tableaux de données.
  • Dans les modules blocs, un aperçu du contenu est visible directement sur les sous-systèmes.
  • Le copier/coller a été améliorer afin de pouvoir renommer (ou non) les données de manières différentes suivant le type de donnée.
  • Le tri dans les tableaux se fait maintenant systématiquement de manière alphanumérique, une variable « var11 » ne sera plus avant « var2 » mais bien après « var10 ».
  • Les performances globales ont été améliorées afin de traiter des modèles de plus en plus importants.

Bool (Amélioration disponible dans tous les modules Booléens)

  • Ajout d’une loi définie à l’aide d’un graphe de Markov. Tout comportement modélisable en graphe de Markov peut être utilisé comme événement de base.
  • L’import des .sil et .jetr a été ajouté au module Bool qui pour rappel permet de mixer les modélisations (Arbre de défaillance, arbre d’événement, boucle SIL, bloc diagramme de fiabilité).
  • Les fichiers issus du logiciel KB3 (développé par la société EDF) peuvent maintenant être ouverts dans le module arbre de défaillance.
  • Dans l’onglet « probabilités et fréquences », les grandeurs calculées sont maintenant : U(t) A(t) W(t) Lambda(t) R(t) F(t).
  • L’utilisation d’un système de cache permet un recalcul instantané si la structure logique de votre modèle n’a pas été modifiée.
  • Le lambda utilisé pour les événements DCC n’est plus obligatoirement le maximum des lambdas des composants impactés, il est possible de choisir parmi différentes moyennes (arithmétique, géométrique, quadratique).
  • Dans le module d’arbre d’événement, la matrice de risque peux maintenant afficher soit le risque moyen soit le risque maximum.

Petri12 (package Simulation)

  • Il est possible de recopier la configuration d’une transition.
  • La loi de Weibull est disponible en 2 versions, afin de s’adapté au mieux aux paramètres dont vous disposez.
  • Un clic droit dans le vide permet d’ajouter un renvoi vers une place qui sera sélectionnée dans une nouvelle fenêtre.
  • Localement, il est possible de mettre en page automatiquement les places et transitions les unes par rapport aux autres. De plus, la combinaison « Ctrl » + clic-gauche avec l’outil place ou transition permet une création très rapide du réseau.
  • Les places et transitions sont sélectionnables en simulation, afin de pouvoir effectuer un zoom localisé.
  • Un clic droit sur une sélection de plusieurs arcs permet une modification multiple de leur poids.
  • La vitesse du passage en simulation interactive et de chargement par Moca-RP avant lancement du calcul a été divisée par 80
  • Une nouvelle avance rapide (sans maintien de l’historique) en simulation interactive permet de diviser par 60 le temps pour arriver au tir d’une transition ou un à temps choisi par l’utilisateur.
  • La fonction modulo (%) est maintenant compatible avec les réels. Au temps t=49.5, time()%25 renverra 1.5 et plus 1 comme dans les versions précédentes.

SIL (package Booléen)

  • Ajout de la notion de systèmes composés de plusieurs boucles.
  • Il est possible d’utiliser 16 canaux de capteurs, eux-mêmes composés de 1 à 24 capteurs.
  • La configuration D devient A et il est possible d’indiquer au bout de combien de panne révélés le système se met en position de sécurité.
  • Le calcul du déclenchement intempestif (spurious-trip) est automatiquement réalisé avec les calculs de PFD et PFH.
  • Possibilité d’indiquer la manière de calculer le Lambda utilisé pour les DCC, ajout en particulier de la moyenne géométrique comme préconisé dans la Méthode PDS du SINTEF


Petro

  • Ajout de nombreux comportements sur les connecteurs et blocs
  • Amélioration des performances
  • Nouveau tableaux de données pour gérer entièrement les blocs depuis les tableaux.
  • Notion de sous-systèmes ayant une capacité propre.
  • Ajout d’une simulation interactive permettant de valider le modèle.

Moca-RP est désormais disponible en version 13.24 et Albizia en version 0.5d

Cette nouvelle version est dès maintenant disponible sur la page des téléchargements

Nouvelle version GRIF 2013

Bonjour,

Une nouvelle version de GRIF-workshop est disponible. Cette version 2013 apporte de nombreuses évolutions sur tous les modules, dont les principales sont les suivantes :

GRIF (tous les modules)
– Un nouveau Copier/Coller qui permet de choisir comment seront renommées les données (utilisation de suffixe, préfixe, ou rechercher/remplacer),
– Ajout de l’outil rectangle et possibilité de l’ancrer afin des définir des zones,
– Création automatique des batch par variation de paramètre,
– Possibilité d’enregistrer des documents « Template »,
– Export au format Excel des résultats,
– Ouverture des fichiers directement dans l’explorateur Windows,
– Possibilité d’afficher la synthèse d’un calcul dans un champ dynamique,
– Copier/coller des tableaux de données depuis/vers un tableur,
– Saisie automatique des scripts d’accès aux données dans les champs dynamiques.

Courbes (le système de courbes accessible dans tous les modules a été amélioré)
– Ajout de plusieurs courbes à la fois dans une zone de courbe,
– Courbe composée de points issus de différents calculs,
– Gestion des dimensions et unité sur les abscisses et ordonnées,
– Afficher des camemberts/histogrammes en fonction des temps passés dans les zones.

Tree (package Booléen)
– Possibilité de spécifier un objectif de proba sur une porte et de faire de l’allocation de probabilité.
– Possibilité de choisir la taille des portes et événements,
– Export au format Open-PSA,
– Ajout d’une loi empirique pour intégrer les résultats issus d’autres moteurs de calcul (Markov …).

Calculs Booléen (Amélioration disponible dans tous les modules Booléens)
– Possibilité de configurer les résultats à afficher sous chaque objet,
– Ajout d’une colonne résultat (qui est configurable) dans les tableaux de données,
– Gestion des calculs d’UFI et de MIF sur les arbres non-cohérents,
– Ajout d’un nouveau type de donnée « Composant » pouvant avoir plusieurs modes de défaillance, et possibilité de faire des calculs de coupe minimale « Composant »,
– Notion d’événements initiateurs qui permettent de définir un ordre d’apparition des événements pour le calcul de fréquence.

Booléen (nouveau module, package booléen)
– création d’un tout nouveau module booléen permettant de saisir : arbre de défaillance, arbre d’événement, bloc diagramme, SIF au sein d’un même module.

ETree (nouveau module, pacquage booléen)
-La version 2012 du module ETree était limitée à de simple calculs de fréquence, la version 2013 dispose de toutes les fonctionnalités nécessaires pour faire une étude de risque et prenant en compte : les conséquences de chaque scénario et leur gravité, les matrices de risques avec les zones d’acceptabilité.

Petri12 (package Simulation)
– Affichage de la liste des graines utilisées lors de la simulation (pour chaque histoire),
– Duplication de plusieurs données (variables/paramètres/tableaux) en même temps,
– Calcul multiprocesseurs jusqu’à 12 CPU,
– Ajout du résultat de marquage en fin d’histoire pour les places,
– Simulation interactive : avancer automatiquement jusqu’au tir d’une transition,
– Ajout de statistique sur les performances de votre machine (pour estimer le temps de calcul à priori),
– Hiérarchie d’utilisation des données pour savoir où sont utilisés les variables/paramètres/places …

SIL (package Booléen)
– Export Excel de l’ensemble des données et résultats,
– Calcul des contraintes architecturales avec prise en compte des types A/B des composants,
– Ajout du camembert des contributions de chaque partie, dans les rapports et l’interface,
– Possibilité de dupliquer une SIF dans un document,
– Modifications multiples des dates de tests de tous les composants,
– Configuration avancée des tests de courses partielles.
– Amélioration du rapport PDF

Module Booléen
– Le module booléen est un module maintenant pleinement opérationnel qui permet d’utiliser plusieurs formalismes (Arbre de défaillance, Bloc diagramme, Arbre d’événement, Boucle instrumentée de sécurité) au sein d’un même document et de faire interagir les différentes parties entre elles.


Petro
– Création d’un nouveau module destiné aux études de disponibilité de production de système multiflux.

Moca-RP est désormais disponible en version 13.19 et Albizia en version 0.4d

Cette nouvelle version est dès maintenant disponible sur la page des téléchargements

Mise à jour GRIF 2012.5b

GRIF 2012.5b est disponible, c’est une mise à jour de la version 2012, elle contient les corrections suivantes :
– Albizia est en version 0.4d et corrige les valeurs moyenne des UFI (PFH) avec des fonctions discontinues (cf papier Lambda-Mu 18)
– Module SIL : Correction import fichier 2011, la description de la SIF n’était pas importée
– Module BStoK,BFiab : Correction import fichier version 2011 avec des connecteurs K sur N
– Réactivation automatique du filtre et tri après de gros copier/coller
– Empêcher la sauvegarde de fichiers corrompus avec des versions antérieures, ajout d’un système de vérification et correction
– A la saisie des paramètres des lois, la précision est maintenue même avec plus de 5 chiffres significatifs (avant, la valeur était arrondie)

Les fonctionnalités suivantes ont aussi été ajoutées :
– Petri12 : Ajout de la date de tir des transitions dans le fichier de trace de la simulation interactive
– Petri12 : Export de l’historique en simulation interactive (clic droit sur le tableau d’historique)
– Tree : Possibilité de choisir la taille des portes et événements

Il est donc recommandé d’utiliser cette version 2012.5b.

Lambda-Mu 18

Les sociétés SATODEV et TOTAL seront présentes aux Lambda-Mu à Tours du 16 au 18 Octobre.
Venez nous rencontrer sur le stand pour découvrir la version 2012 et les nouveautés en préparation pour la version 2013 :
– Nouveau module Arbre d’événements
– Maquette d’un futur module bloc multi-flux avec gestion de la demande
– Création automatique de lots de calculs
– Gestion des unités
– Ouverture automatique des documents
– Export au format Excel pour plusieurs calculs en même temps
– Courbe multi-calculs
– Document templates
– Nouveau copier/coller renuméroter
– Tree : Export au format Open-PSA
– Tree : Calcul UFI et facteur d’importance sur arbres non cohérents
– Tree : Calcul de Fiabilité à partir du Lambda de Vesely
– Tree : Affichage de n’importe quel résultat de calcul sur les portes et événements
– Moca-RP 64-bits : possibilité de faire plus de 2 milliards d’histoires
– Petri12 : Démonstration de calcul sur 12 processeurs

– Et d’autres fonctionnalités que nous présenterons avec plaisir …

Nouvelle version GRIF 2012

Bonjour,

Une nouvelle version de GRIF-workshop est disponible. Cette version 2012 apporte de nombreuses évolutions sur tous les modules, dont les principales sont les suivantes :

GRIF (tous les modules)
– un nouveau système de script permettant d’accéder à toutes les données du document et à tous les résultats dans un champs dynamique.
– l’ajout d’un champ dimension (durée, taux, facteur, booléen …) dans la base de données
– ajout d’un alignement permettant de mettre les objets à la même distance les uns des autres
– amélioration du calcul batch : il est maintenant possible de spécifier une base de paramètres pour chaque calcul, de dupliquer des calculs et de relancer les calculs des lots.
– amélioration significative de performance lors des copier/coller sur les gros modèles.
– barre d’outils avec des outils regroupés (afin d’accéder à tous les outils même sur un petit écran de portable 16/9)
– un mécanisme de nommage automatique en fonction des l’ID de vos objets
– GRIF est disponible sous Linux
– possibilité de dessiner des traits/flèches …
– un nouveau système d’impression vectoriel pour générer des impressions PDF de haute qualité

Courbes (le système de courbes accessible dans tous les modules a été amélioré)
– graphiques en camembert
– graphiques en nuage de points
– histogrammes cumulés
– nouvelles couleurs disponibles pour les courbes.

Tree (package Booléen)
– nouvelle manière de saisir rapidement un arbre (ajout de « fils » par clic droit, ou « ctrl+clic »)
– amélioration de performance pour la mise en page de gros arbres
– nouvel import de fichier .dag avec découpage automatique en sous-arbre
– gestion du format Aralia Simtree2.1 (à l’import et à l’export)
– ajout des défaillances de cause commune
– possibilité de lancer Albizia dans une machine virtuelle java séparée afin de traiter de plus gros arbres sur les système 32 bits.
– lancement des calculs sur une ensemble de nœuds observés afin de ne calculer que le nécessaire.
– tous les caractères sont autorisés (sauf guillemet) pour les noms des portes et événements

Bfiab (package Booléen)
– système de mise en page automatique (touche F7)
– ajout des défaillances de cause commune
– ajout d’actions spécifiques dans les menus contextuels pour la gestion des sous-sytèmes
– tous les caractères sont autorisés (sauf guillemet) pour les blocs et connecteurs

Booléen (nouveau module, package booléen)
– création d’un tout nouveau module booléen permettant de saisir : arbre de défaillance, arbre d’événement, bloc diagramme, SIF au sein d’un même module.

BStoK (package Simulation)
– système de mise en page automatique

ETree (nouveau module, pacquage booléen)
– création d’un module Arbre d’événement

Petri12 (package Simulation)
– afficher le nombre d’histoires effectivement simulées sous les courbes
– renumérotation des transitions lors de l’import de prototype
– spécification des places nécessitant un affichage spécifique des temps de séjours
– spécification des transitions nécessitant un affichage spécifique des fréquences de tirs

Reseda (nouveau module, package Booléen)
– remise à niveau du module réseau de fiabilité qui avait été abandonné depuis plusieurs années

SIL (package Booléen)
– modélisation de plusieurs boucles dans un document
– ajout d’un troisième niveau de Beta pour les actionneurs secondaires
– calcul sur un système de plusieurs-boucles imbriquées
– choix de la logique des sous-actionneurs
– choix manuel de l’architecture d’une partie
– choix manuel de la période de test des DCC
– génération de rapport PDF pour toutes les boucles d’un document
– gestion de tous les paramètres indépendamment du type de test
– affichage des Beta sur le schéma
– le schéma est interactif, un clic sur un composant provoque l’affichage de son onglet
– modification de l’architecture par clic droit sur le schéma
– saisie automatique des repères dans les rapports
– nouvelle mise en page des rapports
– ajout du tableau de synthèse dans les rapports

Moca-RP est désormais disponible en version 13.10 et Albizia en version 0.4a

Satodev distributeur officiel des logiciels de sûreté de fonctionnement de TOTAL

Chèr(e)s utilisateurs de GRIF et Moca,

La société SATODEV est maintenant distributeur des logiciels de sureté de fonctionnement de TOTAL : GRIF , Moca et Albizia.

Cette société, créée par les principaux développeurs de ces logiciels, Philippe Thomas et Cyrille Folleau, a pour vocation la distribution, la maintenance corrective et évolutive, ainsi que la formation sur les différents modules de GRIF.

La version 2010 de GRIF présentée en partie lors du club utilisateurs de décembre 2009 sera bientôt disponible. Comme les précédentes versions, elle fonctionnera avec des clés de protection physique (USB). Lors du renouvellement de vos contrats de maintenance ou lors de l’achat de nouvelle licence, une nouvelle clé physique correspondant au système de protection de SATODEV vous sera remise.

Vos anciennes clés (fournies par votre ancien distributeur) ne permettront pas d’utiliser les versions 2010 et ultérieures.

Je prendrai contact individuellement avec vous d’ici quelques jours pour recueillir les informations nécessaires à la rédaction des nouveaux contrats de maintenance de GRIF.

Cyrille Folleau