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: 19/10/2020 12:21.
Tipo da ReferênciaJournal Article
Identificador8JMKD3MGP3W34P/3HP899H
Repositóriosid.inpe.br/mtc-m21b/2015/01.13.18.16
Metadadossid.inpe.br/mtc-m21b/2015/01.13.18.16.13
Sitemtc-m21b.sid.inpe.br
DOI10.5028/jatm.v6i4.369
Rótuloscopus 2015-01 PinheiroSimÃAmbr:2014:CaSt
ISSN1984-9648
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoPinheiroSimãAmbr:2014:CaSt
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)
TítuloFSM-based test case generation methods applied to test the communication software on board the ITASAT university satellite: A case study
RevistaJournal of Aerospace Technology and Management
Ano2014
Volume6
Número4
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.
Páginas447-461
Idiomaen
Tipo de Trabalhojournal article
Tipo SecundárioPRE PN
DivulgaçãoPORTALCAPES; COMPENDEX; SCOPUS.
AreaETES
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
Nota TerciáriaTrabalho não Vinculado à Tese/Dissertação
Tamanho511 KiB
Número de Arquivos1
Arquivo Alvo369-2213-1-PB.pdf
Última Atualização2015:01.15.13.10.33 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.03.04.43 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2014}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Endereço de e-Mailmarcelo.pazos@inpe.br
e-Mail (login)marcelo.pazos@inpe.br
Grupo de Usuáriosadministrator
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Política de Arquivamentoallowpublisher allowfinaldraft
Permissão de Leituraallow from all
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Histórico2018-06-04 03:04:43 :: administrator -> marcelo.pazos@inpe.br :: 2014
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel electronicmailaddress format isbn lineage mark mirrorrepository month nextedition nexthigherunit notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarytype url
Data de Acesso19 out. 2020
atualizar 
similares 
Tipo da ReferênciaJournal Article
Identificador8JMKD3MGP5W34M/3GM52A3
Repositóriosid.inpe.br/mtc-m21b/2014/07.18.15.23.52
Metadadossid.inpe.br/mtc-m21b/2014/07.18.15.23.53
Sitemtc-m21b.sid.inpe.br
DOI10.5028/jatm.v6i2.320
Rótuloscopus 2014-07 SilvaMuraGarc:2014:ThCoDe
ISSN1984-9648
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSilvaMuraGarc:2014:ThCoDe
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
TítuloThermal control design conception of the Amazonia-1 satellite
RevistaJournal of Aerospace Technology and Management
Ano2014
Volume6
Número2
MêsApr.-Jun.
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.
Páginas169-176
Idiomaen
Tipo de Trabalhojournal article
Tipo SecundárioPRE PN {PORTALCAPES; COMPENDEX.} 1984-9648 {PRE PI}
DivulgaçãoPORTALCAPES; COMPENDEX; SCOPUS.
AreaETES
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
Tamanho718 KiB
Número de Arquivos1
Arquivo Alvo320-1857-1-PB.pdf
Última Atualização2014:09.10.18.53.28 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.03.04.22 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2014}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhoiconet.com.br/banon/2006/11.26.21.31
Endereço de e-Mailmarcelo.pazos@inpe.br
e-Mail (login)marcelo.pazos@inpe.br
Grupo de Usuáriosadministrator
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Política de Arquivamentoallowpublisher allowfinaldraft
Permissão de Leituraallow from all
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Histórico2018-06-04 03:04:22 :: administrator -> marcelo.pazos@inpe.br :: 2014
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark nextedition nexthigherunit notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype url
Data de Acesso19 out. 2020
atualizar 
similares