L’institut CEA-List et la société PragmaDev viennent de créer un laboratoire commun, PragmaList, dédié à la validation des systèmes communicants utilisés dans les secteurs des télécommunications, du transport et de l’énergie, en permettant la génération automatique de tests et la validation du modèle.
Le CEA-List et PragmaDev annoncent la création de PragmaList, un laboratoire commun dédié à la validation des systèmes communicants utilisés dans les secteurs des télécommunications, du transport et de l’énergie, en permettant la génération automatique de tests et la validation du modèle. Cela grâce à l’utilisation de deux logiciels : Real Time Developer Studio développé par PragmaDev, société lauréate du concours national du ministère de la recherche en 2001, et Diversity, oeuvre du CEA-List.
Le logiciel Real Time Developer Studio est un outil de modélisation et de test pour les applications temps réel et embarquées. Quant à l’outil logiciel Diversity, il est dédié à la vérification des propriétés des modèles de spécification et de conception des systèmes critiques, ainsi qu’à la production automatique de tests à partir de ces modèles.
“Le laboratoire PragmaList permettra de générer des suites de test pour valider les modèles développés avec Real Time Developer Studio, d’intégrer celles-ci dans le processus de développement et d’automatiser leur exécution. Améliorer la validation, la qualité et le coût des systèmes communicants Real Time Developer Studio vise à faciliter la conception et le développement des systèmes temps réels et embarqués, et plus généralement des systèmes communicants”, indiquent les deux entités.
