Resultado da Pesquisa
A expressão de busca foi <secondaryty cn and ref conference and firstg DSE-ETE-INPE-MCTI-GOV-BR and y 2014 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: 23/10/2020 03:36.
Tipo da ReferênciaConference Proceedings
Identificador8JMKD3MGP5W34M/3GG3NJS
Repositóriosid.inpe.br/mtc-m21b/2014/06.17.14.28
Metadadossid.inpe.br/mtc-m21b/2014/06.17.14.28.29
Sitemtc-m21b.sid.inpe.br
Rótuloself-archiving-INPE-MCTI-GOV-BR
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoAlarcónCarvSimõ:2014:GeAuCa
Autor1 Alarcón, Paulo Nolberto dos Santos
2 Carvalho, Fabrício Galende Marques de
3 Simões, André Rodrigues
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 Fundação de Ciência, Aplicações e Tecnologias Espaciais (FUNCATE)
Endereço de e-Mail do Autor1 paulonsalarcon@gmail.com
2 fabricio.galende@inpe.br
3 andre.simoes@inpe.br
TítuloGeração automática de casos de teste aplicada ao projeto de aocs de satélites artificiais
Nome do EventoCongresso Brasileiro de Automática.
Ano2014
Título do LivroAnais
Data20 set., 2014
Localização do EventoBelo Horizonte
Palavras-ChaveAOCS, Automatic Test Case Generation, Control Systems, Space Systems, Model-based Testing, AOCS, Gera¸c˜ao Autom´atica de Casos de Testes, Sistemas de Controle, Sistemas Espaciais, Teste Baseado em Modelos.
ResumoThis work does a case study about the application of two techniques for automatic test case generation in the development of an attitude and orbit control system for artificial satellites, including software and simulators. We compared two techniques, being a finite state machine-based technique (W method) and a formal specification-based technique (decompositional method). W method proved be applicable in all conditions of the system verification, but decompositional method has shown be partially applicable for this kind of system. RESUMO: Este trabalho faz um estudo de caso sobre a aplicação de duas técnicas de geração automática de casos de testes no desenvolvimento de um sistema de controle de atitude e órbita para satélites, incluindo software e simuladores. As técnicas comparadas foram os métodos W, que é baseado em máquinas de estados finitos, e decomposicional, que é baseado em especificações formais. O método W mostrou-se aplicável em todas as condições ao passo que o método decomposicional demonstrou-se parcialmente aplicável no desenvolvimento deste tipo de sistema.
Idiomapt
Tipo SecundárioPRE CN
AreaETES
Nota TerciáriaTrabalho não Vinculado à Tese/Dissertação
Tamanho1095 KiB
Número de Arquivos1
Última Atualização2015:02.19.18.01.49 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.03.04.19 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-Mailfabricio.galende@inpe.br
e-Mail (login)marcelo.pazos@inpe.br
Grupo de Usuáriosfabricio.galende@inpe.br
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
Permissão de Leituraallow from all
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 17/06/2014 11:28 1.0 KiB 
Histórico2014-06-17 14:28:29 :: fabricio.galende@inpe.br -> administrator ::
2018-06-04 03:04:19 :: administrator -> marcelo.pazos@inpe.br :: 2014
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn lineage mark nextedition nexthigherunit notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress resumeid rightsholder secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarytype type url volume
Data de Acesso23 out. 2020
atualizar 
similares 
Tipo da ReferênciaConference Proceedings
Identificador8JMKD3MGP5W34M/3HEA8GL
Repositóriosid.inpe.br/mtc-m21b/2014/11.19.20.27
Metadadossid.inpe.br/mtc-m21b/2014/11.19.20.27.03
Sitemtc-m21b.sid.inpe.br
Rótuloself-archiving-INPE-MCTI-GOV-BR
Chave SecundáriaINPE--PRE/
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoEssadoStriDurãAmbr:2014:SiSoCo
Autor1 Essado, Marcelo
2 Strieder, Cristiano
3 Durão, Otávio S. C.
4 Ambrosio, Ana Maria
Identificador de Curriculo1
2
3
4 8JMKD3MGP5W/3C9JGH7
Grupo1
2
3
4 DSE-ETE-INPE-MCTI-GOV-BR
Afiliação1
2
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 marcelo.essado@gmail.com
TítuloNanosatCS: Um sistema de solo para controle e monitoramento do NanosatC-Br1
Nome do EventoWorkshop em Engenharia e Tecnologia Espaciais, 2014 (WETE).
Ano2014
EditorWETE, Comissão Organizadora do
Data12–14 ago. 2014
Cidade da EditoraSão José dos Campos
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais (INPE)
Localização do EventoSão José dos Campos
Palavras-Chavesegumento-solo, nanosatcs, cubesat, nanosatc-br1, ncbr1, satcs, sistemas espaciais.
ResumoEste trabalho apresenta o sistema de controle e monitoramento do segmento solo do satélite NanosatC-Br1. O primeiro nanosatélite brasileiro do Programa NanosatC-BR, Desenvolvimento de Cubesats. O modelo de desenvolvimento e a arquitetura do software permite redução de custo e otimização dos processos do ciclo de vida do software. Apresenta uma metodologia de desenvolvimento e aborda aspectos de engenharia de requisitos.
Tipo SecundárioPRE CN
Tipo TerciárioSessão Oral
FormatoOn-line
AreaETES
Tamanho393 KiB
Número de Arquivos1
Arquivo Alvo70_[ARTIGO][CSE]_marceloEssado.pdf
Última Atualização2014:11.19.20.27.15 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.03.04.39 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-Mailchristophercerqueira@gmail.com
e-Mail (login)marcelo.pazos@inpe.br
Grupo de Usuárioschristophercerqueira@gmail.com
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGP7W/3HFMTKE
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 19/11/2014 18:27 1.0 KiB 
Histórico2014-11-19 20:27:03 :: christophercerqueira@gmail.com -> administrator ::
2018-06-04 03:04:39 :: administrator -> marcelo.pazos@inpe.br :: 2014
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi edition isbn issn language lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume
Data de Acesso23 out. 2020
atualizar 
Tipo da ReferênciaConference Proceedings
Identificador8JMKD3MGP3W/3HG7CMD
Repositóriosid.inpe.br/plutao/2014/12.01.12.08.17
Metadadossid.inpe.br/plutao/2014/12.01.12.08.18
Siteplutao.sid.inpe.br
Rótulolattes: 5964335207790589 4 SilvaHemeLeitChag:2014:ImStFi
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSilvaHemeLeitChag:2014:ImStFi
Autor1 Silva, Felipe Oliveira e
2 Hemerly, Elder Moreira
3 Leite Filho, Waldemar de Castro
4 Chagas, Ronan Arraes Jardim
Grupo1
2
3
4 DSE-ETE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Tecnológico de Aeronáutica (ITA)
2 Instituto Tecnológico de Aeronáutica (ITA)
3 Instituto de Aeronáutica e Espaço (CTA. IAE)
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 felipe@ita.br
2 hemerly@ita.br
3 waldemarwclf@iae.cta.br
4 ronan.jardim@inpe.br
TítuloAn Improved Stationary Fine Self-Alignment Approach for SINS Using Measurement Augmentation
Nome do EventoCongresso Brasileiro de Automática.
Ano2014
Título do LivroAnais
Data2014
Localização do EventoBelo Horizonte
Palavras-ChaveStationary fine self-alignment, strapdown inertial navigation system, measurement augmentation, auto-alinhamento fino estacionário, sistema de navegação inercial solidário, expansão do vetor de medições.
ResumoThis paper presents an alternative approach for improving the stationary fine self-alignment of strapdown inertial navigation systems (SINS). This approach is based on an expansion on the measurement vector of the linearised augmented state Kalman filter, which allows us to estimate the observable uncompensated inertial sensor biases more quickly and more accurately, contributing, thus, to increase the system performance during the navigation stage. RESUMO: Neste trabalho é apresentada uma abordagem alternativa para o auto-alinhamento fino estacionário de sistemas de navegação inercial solidários. Tal abordagem baseia-se em uma expansão do vetor de medições do Filtro de Kalman linearizado usualmente utilizado no problema do auto-alinhamento fino, o qual permite que os bias observáveis não-compensados dos sensores inerciais sejam estimados com maior precisão e rapidez, melhorando assim o desempenho global do sistema durante a fase de navegação.
Páginas790-795
Idiomaen
URL (dados não confiáveis)http://www.swge.inf.br/CBA2014/anais/
Tipo SecundárioPRE CN
Tipo TerciárioPaper
FormatoDVD
AreaETES
Nota TerciáriaTrabalho não Vinculado à Tese/Dissertação
Tamanho939 KiB
Número de Arquivos1
Última Atualização2015:02.09.16.10.23 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator
Última Atualização dos Metadados2018:06.04.23.39.35 dpi.inpe.br/plutao@80/2008/08.19.15.01 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árioslattes
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
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órico2014-12-01 12:08:18 :: lattes -> administrator ::
2018-06-04 23:39:35 :: administrator -> marcelo.pazos@inpe.br :: 2014
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn lineage mark nextedition nexthigherunit notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress resumeid rightsholder secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject targetfile type volume
Data de Acesso23 out. 2020
atualizar 
similares 
Tipo da ReferênciaConference Proceedings
Identificador8JMKD3MGP5W34M/3GG3MME
Repositóriosid.inpe.br/mtc-m21b/2014/06.17.14.17
Metadadossid.inpe.br/mtc-m21b/2014/06.17.14.17.50
Sitemtc-m21b.sid.inpe.br
Rótuloself-archiving-INPE-MCTI-GOV-BR
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSimõesCarv:2014:AuExCa
Autor1 Simões, Andre Rodrigues
2 Carvalho, Fabrício Galende Marques de
Grupo1
2 DSE-ETE-INPE-MCTI-GOV-BR
Afiliação1 Fundação de Ciência, Aplicações e Tecnologias Espaciais (FUNCATE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 fabricio.galende@inpe.br
TítuloAutomação de execução de casos de teste para sistema de controle de atitude e órbita de satélites
Nome do EventoCongresso Brasileiro de Automática.
Ano2014
Título do LivroAnais
Data20 set., 2014
Localização do EventoBelo Horizonte
Palavras-ChaveAOCS, artificial satellite validation and verification, automated test execution, control system test, S/W test, functional decomposition, keyword driven test, AOCS, verificação e validação de satélites artificias, execução automatica de testes, teste de sistema de controle, teste de S/W, decomposição funcional, teste dirigido por palavras chaves.
ResumoIn the development of attitude and orbit control subsystem (AOCS) of artificial satellites periodic testing tasks are required to confirm that all system functionalities meets project requirements. In this context, the planning of creation and execution of tests has similar importance to the product planning step. AOCS development requires time; the final product is complex. Test automation is a mechanism to increase product quality and reduce time spent in such activity. However, particularities not found in comercial software testing must be taken into account for control system products due to its non-deterministic response characteristic and the large amount of input/output data representing signals. Based on these observations, this article states about analysis and application of two automated test execution techniques tipically stated on commercial software in AOCS development context. From the analysis, tailorable approaches suited to our case study were identified and two automatic test execution solutions stimulated by small textual descriptions capable to provide modular refactoring and reuse of test functions were created in order to fasten product test cycles. RESUMO: O desenvolvimento de um subsistema de controle de atitude e orbita (AOCS) de um satélite artificial requer tarefas periódicas de teste para garantir que as funcionalidades atendam requisitos de projeto. Neste contexto, planejar a produção e execução dos testes tem importância similar ao planejamento do produto a ser desenvolvido. Desenvolver o AOCS requer tempo, o produto final é complexo. Automatizar a execução dos testes é uma forma de reduzir o tempo gasto na atividade e aumentar a qualidade do produto. Mas em um sistema de controle, a característica estocástica das respostas bem como o grande volume de dados estocásticos amostrados nos testes exigem cuidados diferenciados não encontrados em testes de produtos de outra natureza. Baseado nestas observações, este artigo analisa a aplicação de duas técnicas de automação de execução de testes no contexto de desenvolvimento de AOCS. A partir da análise, abordagens adaptáveis foram identificadas para o estudo de caso e duas soluções de execução automatica de testes foram geradas para agilizar os ciclos de teste do produto excitadas por pequenas descrições textuais que permitem reuso e atualização de funções de teste.
Páginas4187-4194
Idiomapt
Tipo SecundárioPRE CN
AreaETES
Nota TerciáriaTrabalho não Vinculado à Tese/Dissertação
Tamanho2070 KiB
Número de Arquivos1
Última Atualização2015:02.09.12.30.09 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.03.04.19 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-Mailfabricio.galende@inpe.br
e-Mail (login)marcelo.pazos@inpe.br
Grupo de Usuáriosadministrator
fabricio.galende@inpe.br
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
Permissão de Leituraallow from all
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 17/06/2014 11:17 1.0 KiB 
Histórico2014-06-17 14:17:50 :: fabricio.galende@inpe.br -> administrator ::
2014-07-02 18:06:56 :: administrator -> marcelo.pazos@sid.inpe.br :: 2014
2014-07-02 18:09:40 :: marcelo.pazos@sid.inpe.br -> administrator :: 2014 -> xxxx
2014-07-30 16:57:43 :: administrator :: xxxx -> 2014
2018-06-04 03:04:19 :: administrator -> marcelo.pazos@inpe.br :: 2014
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn lineage mark nextedition nexthigherunit notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress resumeid rightsholder secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarytype type url volume
Data de Acesso23 out. 2020
atualizar 
similares