A model-driven development of tests for avionics embedded systems.

Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués

Alexandru Robert Ciprian Guduvan (1)

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique

The development of tests for avionics systems involves a multiplicity of in-house test languages, with no standard emerging. Test solution providers have to accommodate the habits of different clients, while the exchange of tests between aircraft manufacturers and their equipment/system providers is hindered. We propose a model-driven approach to tackle these problems: test models would be developed and maintained in place of code, with model-to-code transformations towards target test languages. This thesis presents three contributions in this direction. The first one consists in the analysis of four proprietary test languages currently deployed. It allowed us to identify the domain-specific concepts, best practices, as well as pitfalls to avoid. The second contribution is the definition of a meta-model in EMF Ecore that integrates all identified concepts and their relations. The meta-model is the basis for building test model editors and code generation templates. Our third contribution is a demonstrator of how these technologies are used for test development. It includes customizable graphical and textual editors for test models, together with template-based transformations towards a test language executable on top of a real test platform.

Le développement de tests pour les systèmes avioniques met en jeu une multiplicité de langages de test propriétaires, sans aucun standard émergent. Les fournisseurs de solutions de test doivent tenir compte des habitudes des différents clients, tandis que les échanges de tests entre les avionneurs et leurs équipementiers / systémiers sont entravés. Nous proposons une approche dirigée par les modèles pour s'attaquer à ces problèmes : des modèles de test sont développés et maintenus à la place du code, avec des transformations modèle-vers-code vers des langages de test cibles. Cette thèse présente trois contributions dans ce sens. La première consiste en l'analyse de quatre langages de test propriétaires actuellement déployés. Elle nous a permis d'identifier les concepts spécifiques au domaine, les meilleures pratiques, ainsi que les pièges à éviter. La deuxième contribution est la définition d'un méta-modèle en EMF Ecore, qui intègre tous les concepts identifiés et leurs relations. Le méta-modèle est la base pour construire des éditeurs de modèles de test et des motifs de génération de code. Notre troisième contribution est un démonstrateur de la façon dont ces technologies sont utilisées pour l'élaboration des tests. Il comprend des éditeurs personnalisables graphiques et textuels pour les modèles de test, ainsi que des transformations basées-motifs vers un langage de test exécutable sur une plateforme de test réelle.

Mots clés: Model-driven engineering; Test language; Test meta-model; Test model; Avionics systems; Embedded systems

Mots clés: Ingénierie dirigée par les modèles; Langage de test; Méta-modèle de test; Modèle de test; Système avionique; Système embarqué

Domaines: Informatique et langage [cs.CL]

Alexandru Robert Ciprian Guduvan. Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués. Informatique et langage [cs.CL]. Institut Superieur de L' Aeronautique et de l'Espace, 2013. Français. ⟨NNT : ⟩. ⟨tel-00842406⟩