Extended interoperability models for timed system robustness testing - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Extended interoperability models for timed system robustness testing

Résumé

Time incompatibilities in the interactions of timed subsystems on board satellites can cause deadlocks and data loss. Verification of time requirements is one of the major challenges in integration testing of complex timed systems. This paper proposes a new approach to enrich interoperability formal models with timing deviations in order to derivate robustness test cases. The combination of such an approach with architectural aspects of the test system improves the testing process, adding controllability and observability. Experiments demonstrate the generation of effective interoperability and robustness test cases for the integration phase of a subsystem embedded in a space telescope system.
Fichier non déposé

Dates et versions

hal-00448581 , version 1 (19-01-2010)

Identifiants

Citer

Fatima Mattiello-Francisco, Eliane Martins, André Corsetti, Ana Rosa Cavalli, Edgard Yano. Extended interoperability models for timed system robustness testing. LATINCOM '09 : IEEE Latin-American Conference on Communications, Sep 2009, Medelin, Colombia. pp.1-6, ⟨10.1109/LATINCOM.2009.5304903⟩. ⟨hal-00448581⟩
137 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More