Skip to Main content Skip to Navigation
New interface
Conference papers

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

Valérie-Anne Nicolas 1 
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 : AADL BIST software test
Document type :
Conference papers
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download
Contributor : Valérie-Anne Nicolas Connect in order to contact the contributor
Submitted on : Friday, July 8, 2011 - 11:51:52 AM
Last modification on : Wednesday, April 6, 2022 - 9:02:01 AM
Long-term archiving on: : Sunday, October 9, 2011 - 2:25:46 AM


Files produced by the author(s)


  • HAL Id : hal-00607247, version 1


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. ⟨hal-00607247⟩



Record views


Files downloads