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 17 dentre 17 Arquivos.
Data e hora local de busca: 24/04/2024 07:29.
1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N4A8AH
Repositóriosid.inpe.br/mtc-m21b/2016/12.27.17.13
Última Atualização2016:12.27.17.18.12 (UTC) ronan.arraes@inpe.br
Repositório de Metadadossid.inpe.br/mtc-m21b/2016/12.27.17.13.38
Última Atualização dos Metadados2021:02.11.20.58.03 (UTC) administrator
Rótuloself-archiving-INPE-MCTI-GOV-BR
Chave de CitaçãoChagasLourSousSant:2016:SaSiVe
TítuloSatellite Simulator for Verification of Mission Operational Concepts in Pre-Phase A Studies
Ano2016
Data de Acesso24 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho1024 KiB
2. Contextualização
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)
Endereço de e-Mailronan.arraes@inpe.br
Nome do Evento7th International Systems & Concurrent Engineering for Space Applications Conference
Localização do EventoMadrid, Spain
Título do LivroProceedings
Histórico (UTC)2016-12-27 17:18:13 :: ronan.arraes@inpe.br -> administrator :: 2016
2021-02-11 20:58:03 :: administrator -> ronan.arraes@inpe.br :: 2016
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Satellite Simulator for...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 27/12/2016 15:13 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3N4A8AH
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N4A8AH
Idiomaen
Arquivo AlvoCHAGAS_PAPER.pdf
Grupo de Usuáriosronan.arraes@inpe.br
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
VinculaçãoTrabalho não Vinculado à Tese/Dissertação
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/446AUSL
Lista de Itens Citandosid.inpe.br/bibdigital/2021/02.11.20.54 1
sid.inpe.br/mtc-m21/2012/07.13.14.40.40 1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
Campos Vaziosabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory date descriptionlevel dissemination doi edition editor electronicmailaddress format isbn issn keywords lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)ronan.arraes@inpe.br
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3L9LCKH
Repositóriosid.inpe.br/mtc-m21b/2016/03.03.15.16
Última Atualização2016:05.04.18.19.05 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2016/03.03.15.16.38
Última Atualização dos Metadados2022:08.22.23.17.05 (UTC) administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoConceiçãoAmbrMatt:2016:UsNATe
TítuloOn the use of NANOSATC-BR test system for payload operational requirements verification
Ano2016
Data de Acesso24 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho625 KiB
2. Contextualização
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 CCR-CCR-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
Nome do EventoLatin American IAA CubeSat Workshop, 2
Localização do EventoFlorianópolis, SC
Data28 Feb. - 02 Mar.
Histórico (UTC)2016-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
2021-02-11 20:57:55 :: administrator -> simone :: 2016
2022-04-11 18:05:55 :: simone -> administrator :: 2016
2022-08-22 23:17:05 :: administrator -> simone :: 2016
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
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.
ÁreaETES
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRE > On the use...
Arranjo 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > On the use...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/03/2016 12:16 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3L9LCKH
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3L9LCKH
Arquivo Alvoconceicao.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3EUJHT5
8JMKD3MGPCW/446AUSL
Lista de Itens Citandosid.inpe.br/bibdigital/2021/02.11.20.54 2
sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1
sid.inpe.br/bibdigital/2013/10.05.15.23 1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
Campos Vaziosarchivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label language lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3LQKASE
Repositóriosid.inpe.br/mtc-m21b/2016/06.03.15.47   (acesso restrito)
Última Atualização2016:07.04.17.55.08 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21b/2016/06.03.15.47.23
Última Atualização dos Metadados2021:02.11.20.57.56 (UTC) administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoIwataBergAvenNaka:2016:EmSpOp
TítuloEmerging space operations in Asia and developing countries: overview
Ano2016
Data de Acesso24 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho710 KiB
2. Contextualização
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
Nome do EventoInternational Conference on Space Operations, 14 (SPACEOPS)
Localização do EventoDaejeon, Korea
Data16-20 May
Histórico (UTC)2016-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
2021-02-11 20:57:56 :: administrator -> simone :: 2016
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Emerging space operations...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/06/2016 12:47 1.0 KiB 
4. Condições de acesso e uso
Arquivo Alvo1_iwata_emerging.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/446AUSL
Lista de Itens Citandosid.inpe.br/bibdigital/2021/02.11.20.54 2
sid.inpe.br/mtc-m21/2012/07.13.14.45.01 1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
Campos Vaziosabstract archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label language lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3MTN4FT
Repositóriosid.inpe.br/plutao/2016/12.05.19.34.01
Última Atualização2016:12.28.19.22.23 (UTC) administrator
Repositório de Metadadossid.inpe.br/plutao/2016/12.05.19.34.02
Última Atualização dos Metadados2021:02.11.20.56.55 (UTC) administrator
Rótulolattes: 7824447045520901 4 SakugawaAmbrLahoLour:2016:FrOvSo
Chave de CitaçãoSakugawaAmbrLahoLour:2016:FrOvSo
TítuloA framework for oversight of software's suppliers of safety-critical Space System based on civil aviation best practices
Ano2016
Data de Acesso24 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho176 KiB
2. Contextualização
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
Nome do EventoInternational Astronautical Congress, 67 (IAC)
Localização do EventoGuadalajara, Mexico
Data26-30 Sept.
Título do LivroAnais
Tipo TerciárioArtigo
Histórico (UTC)2016-12-12 18:46:02 :: lattes -> administrator :: 2016
2021-02-11 20:56:55 :: administrator -> simone :: 2016
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveFremework
Software
Space systems
ÁreaETES
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COLIT > A framework for...
Arranjo 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > A framework for...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W/3MTN4FT
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W/3MTN4FT
Idiomapt
Arquivo AlvoIAC-16-34891 Manuscript-Benedito-02.pdf
Grupo de Usuárioslattes
self-uploading-INPE-MCTI-GOV-BR
Grupo de Leitoresadministrator
lattes
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/444BQ9E
8JMKD3MGPCW/446AUSL
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.14.39.50 2
sid.inpe.br/bibdigital/2021/02.11.20.54 1
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3MMBHSB
Repositóriosid.inpe.br/mtc-m21b/2016/10.27.12.24
Última Atualização2016:12.16.18.01.22 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21b/2016/10.27.12.24.01
Última Atualização dos Metadados2021:02.11.21.05.51 (UTC) administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoSilvaAmbrVillAzev:2016:ApVeSa
TítuloAn approach for verification of a satellite simulator – an evolving system
Ano2016
Data de Acesso24 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho8593 KiB
2. Contextualização
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
Nome do EventoLatin-American Symposium on Dependable Computing (LADC)
Localização do EventoCali, Colombia
Data19-21 Oct.
Título do LivroProceedings
Histórico (UTC)2016-12-22 15:14:58 :: simone -> administrator :: 2016
2021-02-11 21:05:51 :: administrator -> simone :: 2016
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãopublisher
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).
ÁreaETES
Arranjourlib.net > DIDSS > An approach for...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 27/10/2016 10:24 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3MMBHSB
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3MMBHSB
Idiomaen
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/446AUSL
8JMKD3MGPCW/446B2HE
Lista de Itens Citandosid.inpe.br/bibdigital/2021/02.11.21.02 4
sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1
sid.inpe.br/bibdigital/2021/02.11.20.54 1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype type url volume
7. Controle da descrição
e-Mail (login)simone
atualizar