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 (Specification and Description Language) 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 tests 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.