Resultado da Pesquisa
A expressão de busca foi <secondaryty pi and firstg TEC-TEC-INPE-MCTI-GOV-BR and y 2012 and dissemination websci>.
1 referência encontrada buscando em 15 dentre 15 sites.
Data e hora local de busca: 27/02/2021 10:48.
Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/3C63LDH
Repositóriodpi.inpe.br/plutao/2012/06.21.18.34   (acesso restrito)
Última Atualização2012:08.24.12.36.25 administrator
Metadadosdpi.inpe.br/plutao/2012/06.21.18.34.30
Última Atualização dos Metadados2018:06.05.00.01.44 administrator
DOI10.1016/j.jss.2011.02.034
ISSN0164-1212
Rótulolattes: 8666823357523918 1 Mattiello-FranciscoMartCavaYano:2012:ApTeIn
Chave de CitaçãoMattiello-FranciscoMartCavaYano:2012:ApTeIn
TítuloInRob: An approach for testing interoperability and robustness of real-time embedded software
Ano2012
MêsJan.
Data de Acesso27 fev. 2021
Número de Arquivos1
Tamanho572 KiB
Área de contextualização
Autor1 Mattiello-Francisco, Maria de Fátima
2 Martins, Eliane
3 Cavalli, Ana Rosa
4 Yano, Edgar Toshiro
Identificador de Curriculo1 8JMKD3MGP5W/3C9JHR8
Grupo1 TEC-TEC-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 IC/UNICAMP, Campinas, Brazil
3 INT/Telecom SudPARIS, Paris, France
4 ITA/CTA, S.J. Campos, Brazil
Endereço de e-Mail do Autor1 fatima@iss.inpe.br
Endereço de e-Mailfatima@iss.inpe.br
RevistaJournal of Systems and Software
Volume85
Número1
Páginas3-15
Tipo SecundárioPRE PI
Nota SecundáriaB1_CIÊNCIA_DA_COMPUTAÇÃO B1_ENGENHARIAS_III A1_ENGENHARIAS_IV A2_INTERDISCIPLINAR B2_MEDICINA_I
Histórico2012-06-22 00:10:59 :: lattes -> secretaria.cpa@dir.inpe.br :: 2012
2012-12-12 16:05:02 :: secretaria.cpa@dir.inpe.br -> administrator :: 2012
2018-06-05 00:01:44 :: administrator -> marciana :: 2012
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveAccidents - Embedded software - Embedded systems - Integration - Optical telescopes - Quality of service - Software testing - Telescopes - Testing - Timing circuits.
ResumoAdvances in digital technologies have contributed for significant reduction in accidents caused by hardware failures. However, the growing complexity of functions performed by embedded software has increased the number of accidents caused by software faults in critical systems. Moreover, due to the highly competitive market, software intensive subsystems are usually developed by different suppliers. Often these subsystems are required to interact with each other in order to provide a collaborative service. Testing approaches for subsystems integration support verification of the quality of service, focusing on the subsystems interfaces. The increasing complexity and tight coupling of real-time subsystems make integration testing unmanageable. The ad-hoc approach for testing is becoming less effective and more expensive. This article presents an integration testing approach denominated InRob, designed to verify the interoperability and robustness related to timing constraints of real-time embedded software. InRob guides the construction of services, based on formal models, aiming at the specifications of interoperability and robustness of test cases related to delays and time-outs of the messages exchanged in the interfaces of interconnected subsystems. The proposed formalism supports automatic test cases generation by verifying the relevant properties in the service behavioral model. As timing constraints are critical properties of aerospace systems, the feasibility of InRob is showed in the integration testing process of a telescope onboard in a satellite. The process is instantiated with existing testing tools and the case study is the software embedded in the telescope.
AreaETES
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Grupo de Usuáriosadministrator
lattes
secretaria.cpa@dir.inpe.br
Grupo de Leitoresadministrator
secretaria.cpa@dir.inpe.br
Visibilidadeshown
Política de Arquivamentodenypublisher denyfinaldraft24
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark mirrorrepository nextedition nexthigherunit notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject targetfile tertiarymark tertiarytype typeofwork url
Área de controle da descrição
e-Mail (login)marciana
atualizar