Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/92028
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.
Editor: 
Rights: fechado
Identifier DOI: 10.1109/LATINCOM.2009.5304903
Address: http://www.scopus.com/inward/record.url?eid=2-s2.0-70649086391&partnerID=40&md5=f235f8457d09944da550a69e0c36aad3
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.