Afin de rendre le process de preuve prédictible, maîtrisé et efficace, SafeRiver a développé une série d'outils, SafeRiver Toolkit, qui comprend :

  • SafeRiver Modeling Rules Guidelines :
  • SafeRiver Modeling Rules Verifier :
    • Identification et localisation des constructions incompatibles avec SLDV
    • Identification et localisation des constructions empêchant la convergence du calcul de preuve
    • Vérification des Règles de Modélisation
    • Calcul de Métriques identifiant les parties complexes du modèle (ce qui augmente l’efficacité du code généré)
  • SafeRiver Optimizer :
    • Optimisations du modèle afin permettant de maîtriser la consommation mémoire et de réduire drastiquement le temps de calcul de la preuve.

Pour l'utilisation dans le contexte de modèles Simulink, ces outils peuvent être intégrés dans l’environnement Matlab.

Résultats :

  • Temps nécessaire à la convergence de la preuve réduit par un facteur de 50
  • Consommation mémoire (RAM) réduite par un facteur de 10

Ces outils sont disponibles pour les clients de SafeRiver, et sont accompagnés de prestations de transfert de savoir-faire.