Resultado da Pesquisa
A expressão de busca foi <secondaryty pn and ref journal and firstg DSE-ETE-INPE-MCTI-GOV-BR and y 2014 and not dissemination websci and issn *>.
2 referências encontradas buscando em 15 dentre 15 sites.
Data e hora local de busca: 08/03/2021 09:10.
Área de identificação
Tipo de ReferênciaJournal Article
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3HP899H
Repositóriosid.inpe.br/mtc-m21b/2015/01.13.18.16
Última Atualização2015:01.15.13.10.33 administrator
Metadadossid.inpe.br/mtc-m21b/2015/01.13.18.16.13
Última Atualização dos Metadados2021:02.11.20.56.35 administrator
DOI10.5028/jatm.v6i4.369
ISSN1984-9648
Rótuloscopus 2015-01 PinheiroSimÃAmbr:2014:CaSt
Chave de CitaçãoPinheiroSimãAmbr:2014:CaSt
TítuloFSM-based test case generation methods applied to test the communication software on board the ITASAT university satellite: A case study
Ano2014
Data de Acesso08 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho511 KiB
Área de contextualização
Autor1 Pinheiro, Arineiza C.
2 Simão, Adenilso
3 Ambrosio, Ana Maria
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JGH7
Grupo1
2
3 DSE-ETE-INPE-MCTI-GOV-BR
Afiliação1 Instituto de Ciências Matemáticas e de Computação, USPSão Carlos, SP, Brazil
2 Instituto de Ciências Matemáticas e de Computação, USPSão Carlos, SP, Brazil
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mailmarcelo.pazos@inpe.br
RevistaJournal of Aerospace Technology and Management
Volume6
Número4
Páginas447-461
Tipo SecundárioPRE PN
Nota SecundáriaB2_PLANEJAMENTO_URBANO_E_REGIONAL_/_DEMOGRAFIA B3_INTERDISCIPLINAR B4_ENGENHARIAS_II B4_CIÊNCIAS_AMBIENTAIS B4_GEOCIÊNCIAS B5_ENGENHARIAS_IV B5_ENGENHARIAS_III B5_CIÊNCIA_DA_COMPUTAÇÃO C_ASTRONOMIA_/_FÍSICA
Histórico2021-02-11 20:56:35 :: administrator -> marcelo.pazos@inpe.br :: 2014
Á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-ChaveApplication programs, Finite automata, Logic circuits, Model checking, Modular construction, Satellites, Testing, Communication modules, Communication software, Critical software, Model based testing, Satellite applications, Software behavior, Test case generation, Testing methodology, Software testing.
ResumoThe software in satellite applications has become increasingly larger, more complex and more integrated, so its verification and validation require exploration of new approaches. In this paper we present a Model-Based Testing (MBT) approach applied to the Communication Module of the ITASAT-1 university satellite. The models are Finite State Machines (FSM) representing the software behavior. In order to manage the difficulties to model the software behavior the approach employs the Conformance and Fault Injection (CoFI) testing methodology associated with the JPlavisFSM tool in the real context of a satellite's critical software. The former advises the modularization of the modelling into different types of behavior into different FSMs, while the latter integrates several FSM-based methods to derive test cases, provides facilities to design and to check properties of the models and computes metrics. The main result of this case study was the evaluation of the drawbacks on the design of the testing models supported by CoFI and JPlavisFSM. The models, test sets, metrics with the application of our approach applied to the Communication Module are presented. The paper discusses the benefits as well as the points requiring new researches.
AreaETES
Arranjo
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
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3HP899H
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3HP899H
Idiomaen
Arquivo Alvo369-2213-1-PB.pdf
Grupo de Usuáriosadministrator
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Política de Arquivamentoallowpublisher allowfinaldraft
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
VinculaçãoTrabalho não Vinculado à Tese/Dissertação
Unidades Imediatamente Superiores8JMKD3MGPCW/446AUSL
DivulgaçãoPORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel electronicmailaddress format isbn lineage mark mirrorrepository month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarytype url
Área de identificação
Tipo de ReferênciaJournal Article
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP5W34M/3GM52A3
Repositóriosid.inpe.br/mtc-m21b/2014/07.18.15.23.52
Última Atualização2014:09.10.18.53.28 administrator
Metadadossid.inpe.br/mtc-m21b/2014/07.18.15.23.53
Última Atualização dos Metadados2021:02.11.20.56.34 administrator
DOI10.5028/jatm.v6i2.320
ISSN1984-9648
Rótuloscopus 2014-07 SilvaMuraGarc:2014:ThCoDe
Chave de CitaçãoSilvaMuraGarc:2014:ThCoDe
TítuloThermal control design conception of the Amazonia-1 satellite
Ano2014
MêsApr.-Jun.
Data de Acesso08 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho718 KiB
Área de contextualização
Autor1 Silva, Douglas Felipe da
2 Muraoka, Issamu
3 Garcia, Ezio Castejon
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHDL
Grupo1 DSE-ETE-INPE-MCTI-GOV-BR
2 DSE-ETE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Tecnológico de Aeronáutica (ITA)
Endereço de e-Mail do Autor1 douglas.silva@inpe.br
2 issamu.muraoka@inpe.br
Endereço de e-Mailmarcelo.pazos@inpe.br
RevistaJournal of Aerospace Technology and Management
Volume6
Número2
Páginas169-176
Tipo SecundárioPRE PN {PORTALCAPES; COMPENDEX.} 1984-9648 {PRE PI}
Nota SecundáriaB2_PLANEJAMENTO_URBANO_E_REGIONAL_/_DEMOGRAFIA B3_INTERDISCIPLINAR B4_ENGENHARIAS_II B4_CIÊNCIAS_AMBIENTAIS B4_GEOCIÊNCIAS B5_ENGENHARIAS_IV B5_ENGENHARIAS_III B5_CIÊNCIA_DA_COMPUTAÇÃO C_ASTRONOMIA_/_FÍSICA
Histórico2021-02-11 20:56:34 :: administrator -> marcelo.pazos@inpe.br :: 2014
Á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-ChaveControl, Deforestation, Mathematical models, Satellites, Thermoanalysis, Active thermal control, Multi-layer insulation, Remote sensing satellites, Satellite thermal control, Surface finishes, Temperature level, Thermal control, Thermal mathematical models, Thermal variables control.
ResumoAmazonia-1 is a Brazilian remote sensing satellite providing mainly images, in order to observe and monitor deforestation, especially in the Amazon region. This paper describes the thermal control design, which uses passive and active concepts. The active thermal control is based on heaters regulated by software via thermistors. The passive thermal control consists of multi-layer insulation blankets and radiators, paints, surface finishes to maintain temperature level of the overall carrier components within an acceptable value. The thermal control design is supported by thermal analysis using thermal mathematical model. The temperatures and heater power are predicted for critical cases.
AreaETES
Arranjo
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
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP5W34M/3GM52A3
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP5W34M/3GM52A3
Idiomaen
Arquivo Alvo320-1857-1-PB.pdf
Grupo de Usuáriosadministrator
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Política de Arquivamentoallowpublisher allowfinaldraft
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/446AUSL
DivulgaçãoPORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype url