On Introducing Built-In Test for Software Components in AADL Models

Valérie-Anne Nicolas 1
1 Lab-STICC_UBO_CID_SFIIS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : This paper presents preliminary ideas to include a kind of built-in self-test for systems embedded software components. The study promotes contract-based testing applied to AADL modeling of hardware/software systems. The aim is first to help evaluating the testability of software components embedded in such systems, and next to improve the integration step, especially in the context of COTS design and development. We introduce an architecture to include a generic test system inside an AADL model, and then test specifications to handle the testing process. The paper exposes the main ideas of the proposed approach and its modeling but no implementation work. Next stage is an implementation work to assess the feasibility and the benefits of the proposed approach.
keyword : software test AADL BIST
Type de document :
Communication dans un congrès
IEEE EAST-WEST DESIGN & TEST SYMPOSIUM EWDTS'10, Sep 2010, St. Petersburg, Russia. p.179, 2010
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

http://hal.univ-brest.fr/hal-00607247
Contributeur : Valérie-Anne Nicolas <>
Soumis le : vendredi 8 juillet 2011 - 11:51:52
Dernière modification le : mardi 16 janvier 2018 - 15:54:25
Document(s) archivé(s) le : dimanche 9 octobre 2011 - 02:25:46

Fichier

paper_nicolasEWDTS10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00607247, version 1

Citation

Valérie-Anne Nicolas. On Introducing Built-In Test for Software Components in AADL Models. IEEE EAST-WEST DESIGN & TEST SYMPOSIUM EWDTS'10, Sep 2010, St. Petersburg, Russia. p.179, 2010. 〈hal-00607247〉

Partager

Métriques

Consultations de la notice

223

Téléchargements de fichiers

175