Resultado da Pesquisa
A expressão de busca foi <secondaryty ci and ref conference and firstg DSE-ETE-INPE-MCTI-GOV-BR and y 2016 and not is * and not booktitle, Resumos and not booktitle, Abstracts>.
5 referências encontradas buscando em 15 dentre 15 sites.
Data e hora local de busca: 19/10/2020 13:33.
Tipo da ReferênciaConference Proceedings
Identificador8JMKD3MGP3W34P/3N4A8AH
Repositóriosid.inpe.br/mtc-m21b/2016/12.27.17.13
Metadadossid.inpe.br/mtc-m21b/2016/12.27.17.13.38
Sitemtc-m21b.sid.inpe.br
Rótuloself-archiving-INPE-MCTI-GOV-BR
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoChagasLourSousSant:2016:SaSiVe
Autor1 Chagas, Ronan Arraes Jardim
2 Louro, Arcélio Costa
3 Sousa, Fabiano Luis de
4 Santos, Willer Gomes dos
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGK3
3 8JMKD3MGP5W/3C9JH3H
Grupo1 DSE-ETE-INPE-MCTI-GOV-BR
2 DSE-ETE-INPE-MCTI-GOV-BR
3 DSE-ETE-INPE-MCTI-GOV-BR
4 DSE-ETE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
4 Instituto Nacional de Pesquisas Espaciais (INPE)
TítuloSatellite Simulator for Verification of Mission Operational Concepts in Pre-Phase A Studies
Nome do Evento7th International Systems & Concurrent Engineering for Space Applications Conference
Ano2016
Título do LivroProceedings
Localização do EventoMadrid, Spain
Idiomaen
Tipo SecundárioPRE CI
AreaETES
Nota TerciáriaTrabalho não Vinculado à Tese/Dissertação
Tamanho1024 KiB
Número de Arquivos1
Arquivo AlvoCHAGAS_PAPER.pdf
Última Atualização2016:12.27.17.18.12 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 ronan.arraes@inpe.br
Última Atualização dos Metadados2018:06.04.02.41.43 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2016}
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-Mailronan.arraes@inpe.br
e-Mail (login)ronan.arraes@inpe.br
Grupo de Usuáriosronan.arraes@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
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 27/12/2016 15:13 1.0 KiB 
Histórico2016-12-27 17:18:13 :: ronan.arraes@inpe.br -> administrator :: 2016
2018-06-04 02:41:43 :: administrator -> ronan.arraes@inpe.br :: 2016
Campos Vaziosabstract accessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory date descriptionlevel dissemination doi edition editor electronicmailaddress format isbn issn keywords lineage mark nextedition nexthigherunit notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup readpermission rightsholder secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarytype type url versiontype volume
Data de Acesso19 out. 2020
atualizar 
similares 
Tipo da ReferênciaConference Proceedings
Identificador8JMKD3MGP3W34P/3L9LCKH
Repositóriosid.inpe.br/mtc-m21b/2016/03.03.15.16
Metadadossid.inpe.br/mtc-m21b/2016/03.03.15.16.38
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE--PRE/
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoConceiçãoAmbrMatt:2016:UsNATe
Autor1 Conceição, Carlos
2 Ambrosio, Ana Maria
3 Mattiello Francisco, Maria de Fátima
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGH7
3 8JMKD3MGP5W/3C9JHR8
Grupo1
2 DSE-ETE-INPE-MCTI-GOV-BR
3 TEC-TEC-INPE-MCTI-GOV-BR
Afiliação1 Instituto de Aeronáutica e Espaço (IAE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 carloscaplc@iae.cta.br
2 ana.ambrosio@inpe.br
3 fatima.mattiello@inpe.br
TítuloOn the use of NANOSATC-BR test system for payload operational requirements verification
Nome do EventoLatin American IAA CubeSat Workshop, 2
Ano2016
Data28 Feb. - 02 Mar.
Localização do EventoFlorianópolis, SC
ResumoThe need for a global quick and efficient communication, observation and understanding of events on Earth and conquest of space, motivates spacetechnology development. The CubeSat standard, also known as U-Classnanosatellite platform, has enabled the flight qualification of innovativespace technologies developed in academic environment and / or emergingcompanies in the sector. For over three decades leading research anddevelopment satellites in Brazil, the National Institute for Space Research(INPE) has supported over the past five years the development ofnanosatellites projects in INPE´s regional centers at Northeast and South of Brazil in cooperation with local universities. In this context, NanosatC-Brfamily has been developed. First satellite, NanosatC-Br1, is a 1U Cubesat launched in July 2014 for purposing of both collecting the Earth's magnetic field data and measuring in flight the radiation resilience of integrated circuits designed in Brazil. The qualification of embedded software systems is one of the main challenges of the second mission, a 2U Cubesat named NanosatC-Br2 that is planned to be launched in 2016. The use of existing components on the market (COTS) added to the standardization of on board subsystems in nanosatellites platforms have allowed to reduce significantly the space mission development cycle enabling new space technologies being qualified on flight at low-cost. However, the verification and validation activities (V&V) at different stages of the space project lifecycle are still required and onerous in terms of resources and time. At least functional and dependability aspects of the payload integration with the satellite platform need to be systemically tested. Aiming to avoid the development of new test environment every new mission of a nanosatellite family, which spends time, hardware and software resources, this article presents a reusable Test System for NanosSatC-BR family. The reusability issues of Test System are addressed in two perspectives: (i) reuse the Test System at different stages of the same mission; (ii) reuse the Test System in different satellites of the same family. The proposed Test System architecture supports the V&V process focusing on interoperability features between the NanosatC-Br onboard computer and its payloads, aided by fault injection mechanisms.
Tipo SecundárioPRE CI
AreaETES
Tamanho625 KiB
Número de Arquivos1
Arquivo Alvoconceicao.pdf
Última Atualização2016:05.04.18.19.05 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 simone
Última Atualização dos Metadados2018:06.04.02.40.36 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2016}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhourlib.net/www/2011/03.29.20.55
e-Mail (login)simone
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Permissão de Leituraallow from all
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/03/2016 12:16 1.0 KiB 
Histórico2016-03-03 15:16:38 :: simone -> administrator ::
2016-06-04 05:08:15 :: administrator -> simone :: 2016
2016-06-20 12:46:13 :: simone -> administrator :: 2016
2018-06-04 02:40:36 :: administrator -> simone :: 2016
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label language lineage mark nextedition nexthigherunit notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
Data de Acesso19 out. 2020
atualizar 
Tipo da ReferênciaConference Proceedings
Identificador8JMKD3MGP3W34P/3LQKASE
Repositóriosid.inpe.br/mtc-m21b/2016/06.03.15.47   (acesso restrito)
Metadadossid.inpe.br/mtc-m21b/2016/06.03.15.47.23
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE--PRE/
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoIwataBergAvenNaka:2016:EmSpOp
Autor1 Iwata, T.
2 Bergamini, Eduardo Whitaker
3 Avenant, E.
4 Nakamura, S.
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGUM
Grupo1
2 DSE-ETE-INPE-MCTI-GOV-BR
Afiliação1 Japan Aerospace Exploration Agency (JAXA)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 South African National Space Agency
4 Japan Aerospace Exploration Agency (JAXA)
Endereço de e-Mail do Autor1
2 eduardo.bergamini@dir.inpe.br
TítuloEmerging space operations in Asia and developing countries: overview
Nome do EventoInternational Conference on Space Operations, 14 (SPACEOPS)
Ano2016
Data16-20 May
Localização do EventoDaejeon, Korea
Tipo SecundárioPRE CI
AreaETES
Tamanho710 KiB
Número de Arquivos1
Arquivo Alvo1_iwata_emerging.pdf
Última Atualização2016:07.04.17.55.08 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 simone
Última Atualização dos Metadados2018:06.04.02.40.51 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2016}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhourlib.net/www/2011/03.29.20.55
e-Mail (login)simone
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Permissão de Leituradeny from all and allow from 150.163
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/06/2016 12:47 1.0 KiB 
Histórico2016-06-03 15:49:16 :: simone -> administrator :: 2016
2016-07-04 12:30:02 :: administrator -> simone :: 2016
2016-07-04 17:55:08 :: simone -> administrator :: 2016
2018-06-04 02:40:51 :: administrator -> simone :: 2016
Campos Vaziosabstract accessionnumber archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label language lineage mark nextedition nexthigherunit notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
Data de Acesso19 out. 2020
atualizar 
Tipo da ReferênciaConference Proceedings
Identificador8JMKD3MGP3W/3MTN4FT
Repositóriosid.inpe.br/plutao/2016/12.05.19.34.01
Metadadossid.inpe.br/plutao/2016/12.05.19.34.02
Siteplutao.sid.inpe.br
Rótulolattes: 7824447045520901 4 SakugawaAmbrLahoLour:2016:FrOvSo
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSakugawaAmbrLahoLour:2016:FrOvSo
Autor1 Sakugawa, Benedito
2 Ambrosio, Ana Maria
3 Lahoz, carlos
4 Loureiro, Geilson
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGH7
3
4 8JMKD3MGP5W/3C9JH57
Grupo1
2 DSE-ETE-INPE-MCTI-GOV-BR
3
4 LIT-LIT-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 ana.ambrosio@inpe.br
3
4 geilson.loureiro@inpe.br
TítuloA framework for oversight of software's suppliers of safety-critical Space System based on civil aviation best practices
Nome do EventoInternational Astronautical Congress, 67 (IAC)
Ano2016
Título do LivroAnais
Data26-30 Sept.
Localização do EventoGuadalajara, Mexico
Palavras-ChaveFremework, Software, Space systems.
Idiomapt
Tipo SecundárioPRE CI
Tipo TerciárioArtigo
AreaETES
Tamanho176 KiB
Número de Arquivos1
Arquivo AlvoIAC-16-34891 Manuscript-Benedito-02.pdf
Última Atualização2016:12.28.19.22.23 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator
Última Atualização dos Metadados2018:06.04.23.26.23 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator {D 2016}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhourlib.net/www/2011/03.29.20.55
e-Mail (login)simone
Grupo de Usuárioslattes
self-uploading-INPE-MCTI-GOV-BR
Grupo de Leitoresadministrator
lattes
Visibilidadeshown
Transferível1
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
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órico2016-12-12 18:46:02 :: lattes -> administrator :: 2016
2018-06-04 23:26:23 :: administrator -> simone :: 2016
Campos Vaziosabstract accessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn lineage mark nextedition nexthigherunit notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume
Data de Acesso19 out. 2020
atualizar 
similares 
Tipo da ReferênciaConference Proceedings
Identificador8JMKD3MGP3W34P/3MMBHSB
Repositóriosid.inpe.br/mtc-m21b/2016/10.27.12.24
Metadadossid.inpe.br/mtc-m21b/2016/10.27.12.24.01
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE--PRE/
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSilvaAmbrVillAzev:2016:ApVeSa
Autor1 Silva, Pedro
2 Ambrosio, Ana Maria
3 Villani, Emilia
4 Azevedo, Denise Nunes Rodonti
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGH7
Grupo1
2 DSE-ETE-INPE-MCTI-GOV-BR
3
4 DSS-ETE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Tecnológico de Aeronáutica (ITA)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Tecnológico de Aeronáutica (ITA)
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 paulodiego1@gmail.com
2 ana.ambrosio@inpe.br
3 evillani@ita.br
4 denise.rotondi@inpe.br
TítuloAn approach for verification of a satellite simulator – an evolving system
Nome do EventoLatin-American Symposium on Dependable Computing (LADC)
Ano2016
Título do LivroProceedings
Data19-21 Oct.
Localização do EventoCali, Colombia
Palavras-ChaveSatellite simulator, Test automation, Verification, Validation, Formal methods, Model checking, Model basedtesting.
ResumoSatellite simulators are developed in the context of a space mission lifecycle to represent the real behavior of a satellite during operation and may be used for different purposes. To attend a particular purpose new functions are added or modified according to the mission phase needs, requiring models re-adaptation in a system evolving concept. The process of verification of satellite simulator software requires high-efficiency in accomplishing realistic functional and behavioral requirements. Based on the complex set of requirements the satellite behavior is represented in the simulator through software models specified by tables of causeeffect rules. Considering that the Satellite Simulator is an evolving systems and it needs to assure that the logic implemented in the simulator conforms to the requirements, the manual verification process becomes impracticable, therefore demanding a compatible verification approach. The approach suggested here unifies two techniques Conformance and Fault Inject (CoFI), constructed on Model-Based Testing and Model Checking added to a method so that it can translate the tables of cause-effect rules into finite state machines. This paper presents the verification approach illustrating it with the Data Collection Subsystem (DCS) model of the CBERS satellite simulator being developed at National Institute for Space Research (INPE).
Idiomaen
Tipo SecundárioPRE CI
AreaETES
Tamanho8593 KiB
Número de Arquivos1
Última Atualização2016:12.16.18.01.22 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 simone
Última Atualização dos Metadados2018:06.04.02.41.12 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2016}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhourlib.net/www/2011/03.29.20.55
e-Mail (login)simone
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
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
Permissão de Leituraallow from all
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 27/10/2016 10:24 1.0 KiB 
Histórico2016-12-22 15:14:58 :: simone -> administrator :: 2016
2018-06-04 02:41:12 :: administrator -> simone :: 2016
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn label lineage mark nextedition nexthigherunit notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype type url volume
Data de Acesso19 out. 2020
atualizar 
similares