Please use this identifier to cite or link to this item:
|Type:||Artigo de evento|
|Title:||Extended Interoperability Models For Timed System Robustness Testing|
|Abstract:||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. © 2009 IEEE.|
|Appears in Collections:||Unicamp - Artigos e Outros Documentos|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.