Le projet Waruna

Waruna vise à construire un atelier, de modélisation et de vérification de propriétés temporelles, qui couvre toutes les étapes d’un développement et qui permette d’évaluer au plus tôt les impacts des choix d’architecture en matière de temps de réponse, qui fusionne les résultats des outils d’analyse obtenus à différents niveaux du développement et qui s’intègre dans un environnement de modélisation moderne.