Resultado da Pesquisa
A expressão de busca foi <secondaryty cn and ref conference and firstg TEC-TEC-INPE-MCTI-GOV-BR and y 2015 and not is * and not booktitle, Resumos and not booktitle, Abstracts>.
4 referências encontradas buscando em 15 dentre 15 sites.
Data e hora local de busca: 02/03/2021 18:12.
Área de 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/3K23PN2
Repositóriosid.inpe.br/mtc-m21b/2015/08.03.17.24
Última Atualização2015:09.24.17.22.09 administrator
Metadadossid.inpe.br/mtc-m21b/2015/08.03.17.24.09
Última Atualização dos Metadados2018:06.04.02.55.33 administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoFlemingMattEssa:2015:SoC&Em
TítuloSoftware C&DH embarcado em nanossatélites (ScdhNa)
Ano2015
Data de Acesso02 mar. 2021
Número de Arquivos1
Tamanho657 KiB
Área de contextualização
Autor1 Fleming, Erik Buozi
2 Mattiello-Francisco, Maria de Fátima
3 Essado, Marcelo
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHR8
Grupo1
2 TEC-TEC-INPE-MCTI-GOV-BR
Afiliação1 Universidade Federal de Itajubá (UNIFEI)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 EMSISTI Sistemas Espaciais e Tecnologia
Endereço de e-Mail do Autor1 erik.fleming@inpe.br
2 fatima.matiello@inpe.br
3 marcelo.essado@emsisti.com.br
Nome do EventoSeminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação
Localização do EventoSão José dos Campos, SP
Data30-31 jul.
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais
Cidade da EditoraSão José dos Campos, SP
Tipo SecundárioPRE CN
Histórico2015-08-03 17:24:09 :: simone -> administrator ::
2018-06-04 02:55:33 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
ResumoEste trabalho, iniciado em 2013 no contexto do Programa NanosatC-BR, tem como objetivo o desenvolvimento de software embarcado em missões espaciais críticas. O artigo apresenta as fases de desenvolvimento do software de controle de atitude e de gestão de bordo (Data Handling) do nanossatélite NanosatC-BR2, referenciado por Software C&DH, descreve as interfaces entre o computador e os demais subsistemas do satélite que se comunicam por meio do o protocolo CSP (Cubesat Space Protocol) e barramento de comunicação I2C. O trabalho atual compreende a análise e modelagem do sistema ScdhNa, familiarização com o Software Aplicativo NanosatCS v1.1 das Estações Terrenas da missão NanostC-BR1, o primeiro nanossatélite científico brasileiro, lançado em 19 de Junho de 2014 e ainda em operação. Os estudos são realizados em ambiente de laboratório no INPE com o uso dos modelos de engenharia de ambos satélites (Br1 e Br2).Até o momento foi realizada a compatibilização do ambiente de desenvolvimento utilizando a IDE Eclipse com computador de bordo Nanomind da A712, com sistema operacional LINUX. Atividades relacionadas e futuras são o estudo das normas ECSS que preconizam os processos de desenvolvimento de software embarcado adotados pelo INPE, o estudo do computador alvo, barramentos de interface CAN e I2C e sistema operacional FreeRTOS e o desenvolvimento e validação do próprio software embarcado para a missão de nanossatélite Nanosat-BR2.
AreaINFO
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/08/2015 14:24 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3K23PN2
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3K23PN2
Idiomapt
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition nexthigherunit notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype type url versiontype volume
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/4343FJP
Repositóriosid.inpe.br/mtc-m21c/2020/08.15.18.53
Última Atualização2020:08.15.18.53.12 simone
Metadadossid.inpe.br/mtc-m21c/2020/08.15.18.53.12
Última Atualização dos Metadados2020:08.15.18.53.12 simone
Chave SecundáriaINPE--PRE/
Rótuloself-archiving-INPE-MCTIC-GOV-BR
Chave de CitaçãoSouzaMattEssa:2015:DeSoEm
TítuloDesenvolvimento de software embarcado em plataformas cubesat
Ano2015
Data de Acesso02 mar. 2021
Número de Arquivos1
Tamanho186 KiB
Área de contextualização
Autor1 Souza, Thiago Alberto
2 Mattiello-Francisco, Maria de Fátima
3 Essado, Marcelo
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHR8
Grupo1
2 TEC-TEC-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Nome do EventoSeminário de Iniciação Científica do INPE (SICINPE)
Localização do EventoSão José dos Campos, SP
Tipo SecundárioPRE CN
Á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
ResumoCom o objetivo de prover uma ferramenta para simular a operação do computador de bordo e sua interação com os experimentos científicos e tecnológicos embarcados na família de nanosatélites que compõem o Programa NanosatC-BR, o presente trabalho apresenta o primeiro protótipo do simulador desenvolvido cujo foco foi o primeiro nanossatélite científico brasileiro - NanosatC-BR1. Descreve-se os modos de operação do satélite modelados em máquina de estados e a solução arquitetural do simulador..O artigo apresenta o Programa NanosatC-BR e suas missões baseadas em plataformas Cubesats, sendo o o primeiro nanossatélite científico brasileiro - lançado em 2014. A segunda missão, do NanosatC-BR2, com previsão de lançamento em 2016. O protótipo do simulador, objeto do presente artigo, foi propositalmente desenvolvido para o NanosatC-BR1por duas razões: (1) validar o simulador com base na experiência de operação real realizadacom a Estação Solo, cujo software aplicativo foi desenvolvido pela empresa EMSISTI Sistemas Espaciais & Tecnologia; (2) reusar o simulador na consolidação dos requisitos de operação do NanosatC-BR2. A clareza das funcionalidades operacionaisé elemento chave na especificação técnica do software de gestão de bordo. Assim o simulador desenvolvido no escopo desse trabalho será extremamente útil para apoiar o processo de Verificação e Validação doNanosatC-BR2.
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 15/08/2020 15:53 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34R/4343FJP
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34R/4343FJP
Idiomapt
Arquivo AlvoSouza_desenvolvimento.pdf
Grupo de Usuáriossimone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2017/11.22.19.04.03
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
Área de notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosaccessionnumber archivingpolicy archivist area booktitle callnumber copyholder copyright creatorhistory date descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords lineage mark nextedition nexthigherunit numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup readpermission rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de 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/3K37JDH
Repositóriosid.inpe.br/mtc-m21b/2015/08.10.17.49
Última Atualização2015:09.24.17.28.31 administrator
Metadadossid.inpe.br/mtc-m21b/2015/08.10.17.49.48
Última Atualização dos Metadados2018:06.04.02.55.36 administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoSouzaMattEssa:2015:DeSoEm
TítuloDesenvolvimento de software embarcado em plataformas CUBESAT
Ano2015
Data de Acesso02 mar. 2021
Número de Arquivos1
Tamanho682 KiB
Área de contextualização
Autor1 Souza, Thiago Alberto
2 Mattiello-Francisco, Maria de Fátima
3 Essado, Marcelo
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHR8
Grupo1
2 TEC-TEC-INPE-MCTI-GOV-BR
Afiliação1 ETEP Faculdades
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 EMSISTI Sistemas Espaciais e Tecnologia
Endereço de e-Mail do Autor1 thiago.souza@inpe.br
2 fatima.matiello@inpe.br
3 marcelo.essado@emsisti.com.br
Nome do EventoSeminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação
Localização do EventoSão José dos Campos, SP
Data30-31 jul.
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais
Cidade da EditoraSão José dos Campos, SP
Tipo SecundárioPRE CN
Histórico2015-08-10 17:49:48 :: simone -> administrator ::
2018-06-04 02:55:36 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
ResumoCom o objetivo de prover uma ferramenta para simular a operação do computador de bordo e sua interação com os experimentos científicos e tecnológicos embarcados na família de nanosatélites que compõem o Programa NanosatC-BR, o presente trabalho apresenta o primeiro protótipo do simulador desenvolvido cujo foco foi o primeiro nanossatélite científico brasileiro - NanosatC-BR1. Descreve-se os modos de operação do satélite modelados em máquina de estados e a solução arquitetural do simulador. O artigo apresenta o Programa NanosatC-BR e suas missões baseadas em plataformas Cubesats, sendo o o primeiro nanossatélite científico brasileiro - lançado em 2014. A segunda missão, do NanosatC-BR2, com previsão de lançamento em 2016. O protótipo do simulador, objeto do presente artigo, foi propositalmente desenvolvido para o NanosatC-BR1por duas razões: (1) validar o simulador com base na experiência de operação real realizada com a Estação Solo, cujo software aplicativo foi desenvolvido pela empresa EMSISTI Sistemas Espaciais & Tecnologia; (2) reusar o simulador na consolidação dos requisitos de operação do NanosatC-BR2. A clareza das funcionalidades operacionaisé elemento chave na especificação técnica do software de gestão de bordo. Assim o simulador desenvolvido no escopo desse trabalho será extremamente útil para apoiar o processo de Verificação e Validação doNanosatC-BR2.
AreaINFO
Arranjo
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 10/08/2015 14:49 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3K37JDH
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3K37JDH
Idiomapt
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition nexthigherunit notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype type url versiontype volume
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3KN2P4B
Repositóriosid.inpe.br/plutao/2015/12.04.12.15
Última Atualização2015:12.07.15.18.36 administrator
Metadadossid.inpe.br/plutao/2015/12.04.12.15.17
Última Atualização dos Metadados2018:06.04.23.25.45 administrator
Rótulolattes: 8666823357523918 3 WellerMartMatt:2015:AbTeIn
Chave de CitaçãoWellerMartMatt:2015:AbTeIn
TítuloInRob-UML: uma abordagem para testes de interoperabilidade e robustez baseados em modelos
FormatoDVD
Ano2015
Data de Acesso02 mar. 2021
Número de Arquivos1
Tamanho4913 KiB
Área de contextualização
Autor1 Weller, Anderson C.
2 Martins, Eliane
3 Mattiello-Francisco, Maria de Fátima
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JHR8
Grupo1
2
3 TEC-TEC-INPE-MCTI-GOV-BR
Afiliação1 Universidade Estadual de Campinas (UNICAMP)
2 Universidade Estadual de Campinas (UNICAMP)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 acweller@gmail.com
2 eliane@ic.unicamp.br
3 fatima.mattiello@inpe.br
Nome do EventoBrazilian Workshop on Systematic and Automated Software Testing, 9. (SAST)
Localização do EventoBelo Horizonte, MG
Data23 Sept.
Título do LivroAnais
Tipo SecundárioPRE CN
Tipo TerciárioArtigo
Histórico2015-12-04 12:15:17 :: lattes -> administrator ::
2018-06-04 23:25:45 :: administrator -> simone :: 2015
Á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
ResumoNeste artigo apresentamos InRob-UML, um método para a geração automática de casos de testes de interoperabilidade e robustez a partir de modelos UML (Unified Modeling Language). O objetivo dos testes é determinar se duas implementações em teste são capazes de interoperar em presença de falhas temporais e de comunicação. O método proposto foi utilizado em um estudo de caso, um sistema de controle de passagem de nível em uma ferrovia, amplamente utilizado na literatura. Com o uso de um gerador de casos de teste baseado em meta-heurística, guiada por propósitos de teste, o InRob-UML evita problemas de explosão combinatória na geração de casos de teste, procurando a sequência de teste mais completa para um dado propósito de este. ABSTRACT: This article presents InRob-UML, a method for automatic test case generation for interoperability and robustness testing from UML (Unified Modeling Language) models. The goal is to determine whether two implementations are able to interoperate in the presence of temporal and communication faults. The proposed method is applied in a case study, the Generalised Railroad Crossing problem, largely used in the literature. Using a metaheuristic based test case generator, guided by test purposes, the InRob-UML avoid the combinatorial explosion problems in test cases generation searching the most complete test sequence for given test purpose.
AreaINFO
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/8JMKD3MGP3W/3KN2P4B
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W/3KN2P4B
Idiomapt
Arquivo Alvo1_weller.pdf
Grupo de Usuárioslattes
simone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
URL (dados não confiáveis)http://cbsoft.org/articles/0000/0527/SAST.pdf
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor isbn issn keywords 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 volume
Área de controle da descrição
e-Mail (login)simone
atualizar