PragmaList : un nouveau laboratoire commun dédié à la validation des systèmes communicants.

L'institut CEA-List et la société PragmaDev annoncent la création d'un laboratoire commun, PragmaList. Basé sur l'association de deux logiciels performants, Real Time Developer Studio (PragmaDev) et Diversity (CEA-List), PragmaList facilitera et fiabilisera la conception et le développement 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.

  • Share on TwitterShare on FacebookShare on Google+Share on LinkedInEmail a friend

Paris, France (PRWEB) 28 Octobre 2013

Des outils complémentaires

La société PragmaDev édite et commercialise le logiciel Real Time Developer Studio, qui est un outil de modélisation et de test pour les applications temps réel et embarquées. Le CEA-List a de son côté conçu l'outil logiciel Diversity, spécialisé dans deux domaines : la vérification des propriétés des modèles de spécification et de conception des systèmes critiques, et la production automatique de tests à partir de ces modèles.

Le laboratoire PragmaList permettra ainsi 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. Pour cela l'outil de PragmaDev s'appuie sur les standards internationaux de l'Union Internationale des Télécommunications tels que le langage de modélisation formel SDL et le langage de test TTCN-3. Ces technologies sont utilisées par de grandes entreprises telles qu'Alcatel-Lucent dans son offre 4G, ou Airbus pour le contrôle de trafic aérien embarqué dans ses avions.

Diversity est une technologie développée au CEA List pour l'analyse de spécifications formelles de systèmes de contrôle. L'innovation de la technologie réside dans sa capacité d'optimisation des scénarios de test par la construction de scénarios strictement complémentaires et dédiés à des objectifs de validation particuliers. Sur la base de techniques formelles rigoureuses, elle élimine automatiquement à la fois les scénarios redondants et les scénarios non pertinents.

Lors du développement des systèmes temps réel et embarqués, les architectes doivent avoir une totale confiance en leurs procédés de fabrication afin de répondre notamment aux exigences et normes de qualité du marché et des autorités de certification.

Cette confiance nécessite :

  • des outils de conception bâtis sur des standards précis et non ambigus qui permettent aussi bien la compréhension par l'homme que le traitement automatisé par des programmes d'analyse, c'est le cas de Real Time Developer Studio qui s'appuie sur le langage SDL ;
  • des outils permettant de tester les modèles ou leur implémentation avec plusieurs degrés de couverture, c'est le cas de Diversity, avec son module de génération optimisée de suites de tests.

La combinaison des logiciels Real Time Developer Studio et Diversity permettra ainsi de réduire les coûts de validation des systèmes temps réel complexes tout en maintenant un niveau de confiance indispensable au développement de ces systèmes. Cette nouvelle solution logicielle, fruit de l'association des deux outils, viendra compléter la chaîne d'outils permettant aux industriels de déployer des applications dans différents secteurs de l'embarqué.

Un défi de compétitivité et de créativité

"L'intégration de la technologie Diversity dans l'offre de PragmaDev permettra à nos utilisateurs de générer automatiquement un minimum de cas de tests couvrant tout ou partie du modèle," explique Emmanuel Gaudin, Directeur-fondateur de PragmaDev. "Ceci permettra d'accélérer considérablement l'écriture des tests des modèles; ou de générer automatiquement des test de conformité à un modèle (Model Based Testing)."

Le CEA-List dispose quant à lui d'une forte expertise dans les technologies numériques, notamment pour la génération de suites de tests à partir de modèles. "Comme il est impossible de tout tester à cause de l'explosion combinatoire du nombre de cas de tests, il est essentiel de concevoir ces cas de manière efficace et robuste. C'est le défi qu'ont relevé nos équipes," explique Karine Gosse, directeur de l'institut CEA-List.


Contact

  • Emmanuel Gaudin
    emmanuel.gaudin@pragmadev.com
    +33 142741538
    Email

Fichiers joints

Logo PragmaList Logo PragmaList

Logo PragmaList