Please use this identifier to cite or link to this item:
Type: Artigo de evento
Title: Extended Interoperability Models For Timed System Robustness Testing
Author: Mattiello-Francisco F.
Martins E.
Corsetti A.
Cavalli A.R.
Yano E.
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.
Citation: 2009 Ieee Latin-american Conference On Communications, Latincom '09 - Conference Proceedings. , v. , n. , p. - , 2009.
Rights: fechado
Identifier DOI: 10.1109/LATINCOM.2009.5304903
Date Issue: 2009
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
2-s2.0-70649086391.pdf561.32 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.