NOS Références

« GRIF ** a la particularité d’être développé par des fiabilistes de terrain, avec des réflexions abouties sur les théories sous-jacentes aux modèles. Preuve de sérieux, tout est transparent pour l’utilisateur qui peut ainsi savoir exactement ce qu’il modélise. Les modules Booléen, Markovien et Petri font ainsi partie des rares logiciels de sûreté de fonctionnement à la fois justes scientifiquement et adaptés aux besoins industriels. »

« Nous avons une utilisation intensive du logiciel Petri depuis ses toutes premières versions. Nous apprécions grandement la flexibilité de l’outil et les très nombreuses améliorations faites ces dernières années. Nous recommandons vivement SATODEV et ses outils logiciels à tout modélisateur en fiabilité et en disponibilité. »

« Depuis plus de vingt ans, nous utilisons CECILIA * dans le cadre de nos recherches sur les modèles AltaRica pour les analyses de sûreté de fonctionnement . Cet environnement permet de mettre en œuvre les principes théoriques de modélisation et d’analyse AltaRica les plus mûrs dans un environnement de modélisation et de simulation graphique. Cette capacité a été déterminante, avec les concepteurs de systèmes dans nos premiers travaux, pour valider l’approche d’évaluation de la sécurité basée sur les modèles (MBSA). Nous apprécions aussi de trouver chez SATODEV des experts réactifs pour répondre avec rigueur à nos questions plus fondamentales. Aujourd’hui, CECILIA * est notre outil privilégié pour analyser la sécurité des nouvelles générations de systèmes aérospatiaux complexes (drones, véhicules à propulsion hybride ou encore plates-formes informatiques multi-cœurs). Merci SATODEV ! »