Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.typeArtigo de eventopt_BR
dc.titleExtended Interoperability Models For Timed System Robustness Testingpt_BR
dc.contributor.authorMattiello-Francisco F.pt_BR
dc.contributor.authorMartins E.pt_BR
dc.contributor.authorCorsetti A.pt_BR
dc.contributor.authorCavalli A.R.pt_BR
dc.contributor.authorYano E.pt_BR
unicamp.authorMartins, E., IC/UNICAMP Campinas, Brazilpt_BR, F., INPE S.J. Campos, Brazil, ITA CTA ITA/IEC, S.J. Campos, Brazilpt, A., INPE S.J. Campos, Brazilpt, A.R., INT - Telecom SudParis, CNRS/ SAMOVAR, Paris, Francept, E., ITA CTA ITA/IEC, S.J. Campos, Brazilpt
dc.description.abstractTime 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.en
dc.relation.ispartof2009 IEEE Latin-American Conference on Communications, LATINCOM '09 - Conference Proceedingspt_BR
dc.identifier.citation2009 Ieee Latin-american Conference On Communications, Latincom '09 - Conference Proceedings. , v. , n. , p. - , 2009.pt_BR
dc.description.sponsorshipInstitute of Electrical and Electronics Engineers,Communications Societypt_BR
dc.description.provenanceMade available in DSpace on 2015-06-26T13:34:39Z (GMT). No. of bitstreams: 1 2-s2.0-70649086391.pdf: 574793 bytes, checksum: d47201260d19fde337fbbf9bc453db19 (MD5) Previous issue date: 2009en
dc.description.provenanceMade available in DSpace on 2015-11-26T15:33:25Z (GMT). No. of bitstreams: 2 2-s2.0-70649086391.pdf: 574793 bytes, checksum: d47201260d19fde337fbbf9bc453db19 (MD5) 2-s2.0-70649086391.pdf.txt: 32765 bytes, checksum: babc4de0331d8c2dd466f64e9b3e1fe2 (MD5) Previous issue date: 2009en
dc.description.referenceM.F. Mattiello-Franciscopt_BR
dc.description.referenceV. Santiago.pt_BR
dc.description.referenceA. M.Ambrosio.pt_BR
dc.description.referenceR. Costa, A Brazilian Software Industry Experience in Using ECSS for Space Application Software Development. 14th ISPE International Conference on Concurrent Engineering (CE2007), 16 - 20 de Julho/2007, São José dos Campos, SP, Brazil. Editors: Geilson Loureiro and Richard Curran. Springer, 2007. pages 167-174. (ISBN-978-1-84628-975-0)Desmoulin, A., Viho, C., Automatic interoperability test case generation based on formal definitions (2007) LNCS, 4916, pp. 234-250. , Germany, Julypt_BR
dc.description.referenceF.Saad. Khorchef, I. Berrada, A. Rollet and R. Castanet, Automated robustness testing for reactive systems: application to communicating protocols, I2CS2006, Switzerland, June 2006International Organization for Standardization (ISO). IS 9646 - International standard conformance testing methodology and framework. Genève, 1991Merayo, M.G., Nunez, M., Rodriguez, I., Extending EFSMs to specify and test timed systems with action duration and time-outs (2008) IEEE Transactions on Computers, 57 (6), pp. 835-848. , Junept_BR
dc.description.referenceBath, S.S., Vieira, E.R., Cavalli, A., Uyar, M.U., Specification of timed EFSM fault models in SDL (2007) 27th IFIP FORTE, , Estonia, Junept_BR
dc.description.referenceBroy, M., Jonsson, B., Katoen, J.P., Pretschner, A., Model-Based Testing of Reactive Systems, Advanced Lectures (2005) LNCS, 3472. , Springer, Germanypt_BR
dc.description.referenceCastanet, R., Waeselynk, H., Techniques avancées de test de systèmes complexes: Test de robustnesse (2003), Technical Report, Action spécifique 23 du CNRS, 11with delayable transitions and timing-faults detection. In RTCSA 2007Besse, C., Cavalli, A., Kim, M., Zaidi, F., (2002) Two methods for interoperability testing application to TCP/IP protocol, , Berlim, Marchpt_BR
dc.description.referenceSantiago, V., Mattiello-Francisco, M.F., Costa, R., da Silva, W.P., Ambrosio, A.M., QSEE Project: An Experience in Outsourcing Software Development for Space Applications The Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'07), 09 - 11 de Julho/2007, , Boston, EUApt_BR
dc.description.referenceW. Silva, V. Santiago, M.F. Mattiello-Francisco, QSEE-TAS: A tool for automatic test execution and report for space application software testing [Uma Ferramenta para Execução e Relato Automatizados de Testes de Software para Aplicações Espaciais], SBES2006, Florianópolis-SC, pp. 43-48Mattiello-Francisco, M.F., Payload software validation and integration (2006) The Transient Milky Way: A Perspective for MIRAX Conference, Dezembro/2005, Instituto Nacional de Pesquisas Espaciais, São José dos Campos, São Paulo. Anais: AIP Conference Proceedings, CP840, pp. 132-136. , Melville, NYpt_BR
dc.description.referenceA.M. Ambrosio, V. Santiago, W. Silva, E. Martins, Designing fault injection with state-based model for a space application, Editors: Bondavali, A.pt_BR
dc.description.referenceBrasileriro, F.pt_BR
dc.description.referenceRajsbaum, S. Springer, Berlin. 2007pt_BR
dc.description.referencepages 170-178. Presented in Third Latin-American Symposium on Dependable Computing. Morelia, México, September 26-28, LADC2007, Mexico, 2007Ambrosio, A.M., Mattiello-Francisco, M.F., Martins, E., An independent software verification and validation process for space applications (2008) 9th International Conference on Space Operations AIAA 2008-3517, , Hildelberg, Germanpt_BR
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.