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: 26/02/2021 17:02.
Á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
Identificador8JMKD3MGP5W34M/3GG3NJS
Repositóriosid.inpe.br/mtc-m21b/2014/06.17.14.28
Última Atualização2015:02.19.18.01.49 administrator
Metadadossid.inpe.br/mtc-m21b/2014/06.17.14.28.29
Última Atualização dos Metadados2021:02.11.20.57.49 administrator
Rótuloself-archiving-INPE-MCTI-GOV-BR
Chave de CitaçãoAlarcónCarvSimõ:2014:GeAuCa
TítuloGeração automática de casos de teste aplicada ao projeto de aocs de satélites artificiais
Ano2014
Data de Acesso26 fev. 2021
Número de Arquivos1
Tamanho1095 KiB
Área de contextualização
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
Endereço de e-Mailfabricio.galende@inpe.br
Nome do EventoCongresso Brasileiro de Automática.
Localização do EventoBelo Horizonte
Data20 set., 2014
Título do LivroAnais
Tipo SecundárioPRE CN
Histórico2014-06-17 14:28:29 :: fabricio.galende@inpe.br -> administrator ::
2021-02-11 20:57:49 :: administrator -> marcelo.pazos@inpe.br :: 2014
Á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
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.
AreaETES
Arranjo
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 17/06/2014 11:28 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP5W34M/3GG3NJS
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP5W34M/3GG3NJS
Idiomapt
Grupo de Usuáriosfabricio.galende@inpe.br
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de 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
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn lineage mark nextedition 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
Á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
Identificador8JMKD3MGP5W34M/3HEA8GL
Repositóriosid.inpe.br/mtc-m21b/2014/11.19.20.27
Última Atualização2014:11.19.20.27.15 administrator
Metadadossid.inpe.br/mtc-m21b/2014/11.19.20.27.03
Última Atualização dos Metadados2021:02.11.20.57.53 administrator
Chave SecundáriaINPE--PRE/
Rótuloself-archiving-INPE-MCTI-GOV-BR
Chave de CitaçãoEssadoStriDurãAmbr:2014:SiSoCo
TítuloNanosatCS: Um sistema de solo para controle e monitoramento do NanosatC-Br1
FormatoOn-line
Ano2014
Data de Acesso26 fev. 2021
Número de Arquivos1
Tamanho393 KiB
Área de contextualização
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
EditorWETE, Comissão Organizadora do
Endereço de e-Mailchristophercerqueira@gmail.com
Nome do EventoWorkshop em Engenharia e Tecnologia Espaciais, 2014 (WETE).
Localização do EventoSão José dos Campos
Data12–14 ago. 2014
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais (INPE)
Cidade da EditoraSão José dos Campos
Tipo SecundárioPRE CN
Tipo TerciárioSessão Oral
Histórico2014-11-19 20:27:03 :: christophercerqueira@gmail.com -> administrator ::
2021-02-11 20:57:53 :: administrator -> marcelo.pazos@inpe.br :: 2014
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
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.
AreaETES
Arranjo 1INPE > WETEs > 5º WETE > NanosatCS: Um sistema...
Arranjo 2INPE > Produção > CGETE > WETEs > 5º WETE > NanosatCS: Um sistema...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 19/11/2014 18:27 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP5W34M/3HEA8GL
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP5W34M/3HEA8GL
Arquivo Alvo70_[ARTIGO][CSE]_marceloEssado.pdf
Grupo de Usuárioschristophercerqueira@gmail.com
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGP7W/3HFMTKE
8JMKD3MGPCW/446AUSL
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 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
Á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/3HG7CMD
Repositóriosid.inpe.br/plutao/2014/12.01.12.08.17
Última Atualização2015:02.09.16.10.23 administrator
Metadadossid.inpe.br/plutao/2014/12.01.12.08.18
Última Atualização dos Metadados2021:02.11.20.56.53 administrator
Rótulolattes: 5964335207790589 4 SilvaHemeLeitChag:2014:ImStFi
Chave de CitaçãoSilvaHemeLeitChag:2014:ImStFi
TítuloAn Improved Stationary Fine Self-Alignment Approach for SINS Using Measurement Augmentation
FormatoDVD
Ano2014
Data de Acesso26 fev. 2021
Número de Arquivos1
Tamanho939 KiB
Área de contextualização
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
Endereço de e-Mailmarcelo.pazos@inpe.br
Nome do EventoCongresso Brasileiro de Automática.
Localização do EventoBelo Horizonte
Data2014
Páginas790-795
Título do LivroAnais
Tipo SecundárioPRE CN
Tipo TerciárioPaper
Histórico2014-12-01 12:08:18 :: lattes -> administrator ::
2021-02-11 20:56:53 :: administrator -> marcelo.pazos@inpe.br :: 2014
Á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
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.
AreaETES
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/3HG7CMD
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W/3HG7CMD
Idiomaen
Grupo de Usuárioslattes
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de 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
URL (dados não confiáveis)http://www.swge.inf.br/CBA2014/anais/
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 edition editor isbn issn lineage mark nextedition 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
Área de controle da descrição
e-Mail (login)marcelo.pazos@inpe.br
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
Identificador8JMKD3MGP5W34M/3GG3MME
Repositóriosid.inpe.br/mtc-m21b/2014/06.17.14.17
Última Atualização2015:02.09.12.30.09 administrator
Metadadossid.inpe.br/mtc-m21b/2014/06.17.14.17.50
Última Atualização dos Metadados2021:02.11.20.57.49 administrator
Rótuloself-archiving-INPE-MCTI-GOV-BR
Chave de CitaçãoSimõesCarv:2014:AuExCa
TítuloAutomação de execução de casos de teste para sistema de controle de atitude e órbita de satélites
Ano2014
Data de Acesso26 fev. 2021
Número de Arquivos1
Tamanho2070 KiB
Área de contextualização
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
Endereço de e-Mailfabricio.galende@inpe.br
Nome do EventoCongresso Brasileiro de Automática.
Localização do EventoBelo Horizonte
Data20 set., 2014
Páginas4187-4194
Título do LivroAnais
Tipo SecundárioPRE CN
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
2021-02-11 20:57:49 :: administrator -> marcelo.pazos@inpe.br :: 2014
Á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
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.
AreaETES
Arranjo
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 17/06/2014 11:17 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP5W34M/3GG3MME
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP5W34M/3GG3MME
Idiomapt
Grupo de Usuáriosadministrator
fabricio.galende@inpe.br
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de 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
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn lineage mark nextedition 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