Le projet 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.

Pour plus d'information sur le projet, visitez le site dédié.

Le projet collaboratif Waruna a donné naissance au projet Time4Sys, plate-forme open-source d'ingénierie des performances, hébergé par Polarsys.