Archival Unit

Um planejador embarcado em satélites autônomos baseado em rede de tarefas hierárquicas e inferência de estados
Cividanes, F. D. S.; Ferreira, M. G. V.; Kucinskis, F. N.
2019 - Como citar?

CubeDesign: a competitive approach for introducing smallsats projects in Latin America
Dos Santos, W. A.; Asencio, J. C. R.; Barbosa, A. L.; Baron, I. F. R.; Bürger, E. E.; Camargo, L. A. P.; Cardoso, P. R. B.; Pereira, Y. M. D.; Junqueira, B. C.; Junqueira, G. C.; Hott, G.; Leonardo, J. M. P.; Lima, J. S. S.; Oliveira, M. M.; Moreira, H. J. P.; Pereira, M.; Nono, D. A.; Rodriguez, J. E. O.; Rodrigues, I. P.; Silva Junior, M. W.; Tavares, F. O.; Teixeira, A. F.; Tenório, P. I. G.; Tikami, A.; Pineros, J. O. M.
2019 - Como citar?

The China-Brazil Earth Resources Satellite - CBERS-4A: A Proposal for Ground Segment Based on The Space Link Extension Protocol Services
Julio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.; Loureiro, G.
2019 - Como citar?

The China-Brazil Earth Resources Satellite - CBERS-4A: a proposal for ground segment based on the space link extension protocol services
Júlio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.; Loureiro, G.
2019 - Como citar?

Desenvolvimento de um Cubesat para detecção de descargas atmosféricas: Projeto Raiosat
Júlio Filho, A. C.; Tikami, A.; Paula, E. S. F.; Murcia Piñeros, J. O.; Fernandes, G. F.; Camargo, L. A. P.; Santos, C. A. M. B.; Dos Santos, W. A.; Naccarato, K. P.
2019 - Como citar?

A atual concepção da Missão do Satélite Científico Equars (Equatorial Atmosphere Research Satellite)
Gobbi, D.; Tan, I. H.; Muralikrishna, P.; Becker Guedes, F.; Neri, J. A. C. F.; Hoffmann, L. T.; Perondi, L. F.; Branco, M. S. A.
2018 - Como citar?

A engenharia de sistemas espaciais da Missão Equars
Hoffmann, L. T.; Branco, M. S. A.; Branco, R. H. F.; Gobbi, D.; Silva, C. M. Z.; Perondi, L. F.
2018 - Como citar?

New challenges for dynamic management of the space link extension protocol services: the Amazonia-1 satellite?s ground segment
Júlio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.
2018 - Como citar? - Acesso restrito

Identification and control techniques applied to an operational satellite simulator
Rodrigues, I. P.; Rego, L. F. M.; Coimbra, T. S.; Gruppelli, G. P.; Ambrosio, A. M.
2018 - Como citar?

Galileo solar space telescope mission: a concept feasibility study
Vieira, L. E. A.; Dal Lago, A.; Rabello, A. P. S. S.; Lopes, A.; Louro, A. C.; Albuquerque, B. F. C.; Silva, D. F.; Miranda, E. L.; Sousa, F. L.; Mattiello-Francisco, M. F.; Tavares, F.; Guarnieri, F. L.; Rojas, F. R. C.; Carlesso, F.; Genaro, G.; Savonov, G. S.; Rodriguez Gómez, J. M.; Souza, J. P. E.; Costa, J. E. R.; Panasiewicz Júnior, J.; Cecatto, J. R.; Silva, L. A.; Alves, L. R.; Costa, L. L.; Berni, L. A.; Sampaio, M.; Barbosa, M. J. F.; Saturno, M. E.; Silva, M. R.; Aguiar, M. C. F.; Carretero, M. A.; Mendes Júnior, O.; Jauer, P. R.; Branco, R. H. F.; Dallaqua, R. S.; Irita, R. T.; Chagas, R. A. J.; Varotto, S. E. C.; Silva, S. L. A.; Stekel, T. R. C.; Lau, V.; Souza, V. M. C. S.; Vilela, W. A.; Santos, W. G.
2018 - Como citar?

The Amazonia-1 satellite’s ground segment - challenges for implementation of the space link extension protocol services
Julio Filho, A. C.; Ambrósio, A. M.; Ferreira, M. G. V.; Loureiro, G.
2017 - Como citar?

A software defined radio approach to ground operations of small satellites
Molano, D. J. P.; Tikami, A.; Santos, D. S.; Pereira, E. W. R.; Dos Santos, W. A.
2017 - Como citar?

LEONA for TLE and HEET Research in South America
São Sabbas Tavares, F.; Souza, J. R.; Guerra, E. M.; Júlio Filho, A. C.; Galvão, R. M. O.; Branco, R. H. F.; Kherani, E. A.; Naccarato, K. P.; Federico, C. A.; Pazianotto, M. T.; Gatto, R. C.; Cisotto, M. V.; Brito, A. F.; Fontes, N. R.; Camargo, I. H.; Silva, A. L. G.
2017 - Como citar?

First on‐orbit results from the Tancredo‐1 Picosat mission
Tikami, A.; Moura, C. O.; Dos Santos, W. A.
2017 - Como citar?

Injetor de falhas em ambiente de integração e testes de subsistemas espaciais para Nanossatélites
Batista, C. L. G.; Mattiello Francisco, M. F.
2016 - Como citar? - Acesso restrito

Dependability verification of nanosatellite embedded software supported by a reusable Test System
Conceição, C.; Mattiello Francisco, M. F.; Batista, C. L. G.
2016 - Como citar? - Acesso restrito

SLE protocol services: results of an architecture applied at the National Institute for Space Research
Julio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.
2016 - Como citar?

Total lightning flash detection from space: a CubeSat approach
Naccarato, K. P.; Carretero, M. A.; Moura, C. O.; Tikami, A.; Santos, W. A.
2016 - Como citar?

The RAIOSAT project: detecting total lightning flashes from a CUBESAT
Naccarato, K. P.; Santos, W. A.; Carretero, M. A.; Moura, C.; Tikami, A.
2016 - Como citar?

A data center framework for technological readiness assessment of innovative technology on board CUBESATS
Novais, A. F.; Mattiello Francisco, M. F.
2016 - Como citar?

An approach for verification of a satellite simulator – an evolving system
Silva, P.; Ambrosio, A. M.; Villani, E.; Azevedo, D. N. R.
2016 - Como citar?

Towards a Dynamic Management of the Space Link Extension Protocol Services
Julio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.
2015 - Como citar?

Desenvolvimento de um emulador de painéis solares para nanossatélites
Santos, I. F. G.; Hoffmann, L. T.
2015 - Como citar?

Desenvolvimento de um emulador de painéis solares para nanosatélites
Santos, I. F. G.; Hoffmann, L. T.
2015 - Como citar?

Detecção de descargas atmosféricas totais a bordo de um satélite CubeSAT
Carretero, M. A.; Naccrato, K. P.
2014 - Como citar?

Space weather monitoring and forecasting in South America: products from the user requests to the development of regional magnetic indices and GNSS vertical error maps
Denardini, C. M.; Takahashi, H.; Costa, J. E. R.; Mendes Junior, O.; Sant'Anna, N.; Gatto, R.; Souza, J.; Padilha, A.; Batista, I. S.
2014 - Como citar?

Propagação numérica da atitude de satélites artificiais com quatérnions e torques externos
Pelosi, T. S.; Orlando, V.; Zanardi, M. C. F. P. S.
2014 - Como citar?

Uma semântica em OWL para o Domínio de Planejamento de Rastreio de Satélite
Ribeiro, E. A.; Carretero, M. A.
2014 - Como citar?

Serious Game Interaction Techniques Applied to an Operational Satellite Simulator
Cerqueira, C. S.; Santos, W. A.; Ambrosio, A.
2013 - Como citar?

O desempenho do processador de coleta de dados versão III nas estações de recepção do Sistema Brasileiro de Coleta de Dados Ambientais
Tikami, A.; Ferrari, C. A.; Cisotto, M. V.; Yamaguti, W.
2013 - Como citar?

Applying Data Mining for Detecting Anomalies in Satellites
Azevedo, D. R.; Ambrosio, A. M.; Vieira, M.
2012 - Como citar?

Analysis of the simulation model platform adoption in the context of INPE simulators
Azevedo, D. N. R.; Hoffmann, L. T.; Ambrosio, A. M.; Perondi, L. F.
2012 - Como citar?

Complex systems developed with system concurrent engineering
Corsetti, A.; Ribeiro, E. A.; Garbi, G. P.; Zanta, K. M.; Medeiros, M.; Loureiro, G.
2012 - Como citar? - Acesso restrito

A Requirement Evaluation Metric Applied on the ITASAT-1: A Small Technological Satellite
Essado, M.; Ambrosio, A. M.
2012 - Como citar?

An approach to validation plans for satellite control generated with planners systems based autonomous artificial intelligence
Ivo, A. A. S.; Ferreira, M. G. V.; Sant'Anna, N.; Ambrosio, A. M.
2012 - Como citar?

VVTest: An Environment for Test Information Management to support verification and validation processes
Reis, M. F. S.; Ambrosio, A. M.; Ferreira, M.
2012 - Como citar?

Utilização da Ferramenta Mantis para Gerenciamento de Defeitos de Testes de Software
Reis, I.; Ferreira, M. G. V.; Ambrosio, A.
2012 - Como citar?

An approach to space mission planning in order to solve the problem of real-time planning by using the planning and scheduling strategy from artificial intelligence area
Ribeiro, E. A.; Ferreira, M. G. V.
2012 - Como citar?

An approach to space mission planning in order to solve the problem of flight plan replanning using the technique of planning and scheduling in area of artificial intelligence
Ribeiro, E. A.; Ferreira, M. G. V.
2012 - Como citar? - Acesso restrito

Plano de implantação do escritório de projetos da ETE
Santos, B. V.; Marshall, P. M.
2012 - Como citar?

Avaliação da aplicação do pmbok na gestão do programa CBERS
Barbosa, J. I. M.; Perondi, L. F.
2011 - Como citar?

Uma arquitetura para subsistemas de computação de bordo de um simulador de satélites
Barreto, J. P.; Ambrosio, A. M.
2011 - Como citar?

Torque devido à força de lorentz: erro de apontamento e ângulo de aspecto solar
Bento, P. R. S. P.; Zanardi, M. C.; Orlando, V.
2011 - Como citar?

Proposta de simulador/emulador para avaliação e testes do processador do sistema brasileira de coleta de dados
Cisotto, M. V.; Ferreira, M. G. V.
2011 - Como citar?

O INPE como Agente Executor das Políticas Públicas de Ciência, Tecnologia e Inovação: O Caso da Política Espacial Brasileira
Leite Júnior, J. A. P.; Leite, D. E. S.; Santos, F. F.
2011 - Como citar?

How Much Test Costs Are Impacted by Test Environment Development and Maintenance?
Mendonça, C. H.; Ambrosio, A. M.
2011 - Como citar?

A New State-Model Based Approach for Refinement of Space Application Requirement
Morais, M. H. E.; Ambrosio, A. M.
2011 - Como citar?

Generation Environment, Execution and Test Management Software Embedded
Reis, M. F.; Ambrosio, A. M.; Ferreira, M.
2011 - Como citar?

ITASAT-1: uma proposta de continuidade do Sistema Brasileiro de Coleta de Dados Ambientais
Sato, L. H. S.; Yamaguti, W.; Fernandes, D.
2011 - Como citar?

Automating services for spacecraft conceptual design via an enterprise service bus
Souza, A. C. C.; Santos, W. A.
2011 - Como citar?

A reconfigurable control architecture for the nominal mode of the multimission platform
Amaral, J. C.; Souza, M. L. O.
2010 - Como citar?

Dependability in Satellite Systems: An Architecture for Satellite Telemetry Analysis
Azevedo, D. N. R.; Ambrósio, A. M.
2010 - Como citar?

Projetos tecnológicos e o estilo gerencial
Barbosa, J. I. M.; Perondi, L. F.
2010 - Como citar?

Using SMP2 standard in operational and analytical simulators
Barreto, J. P.; Hoffmann, L. T.; Ambrosio, A. M.
2010 - Como citar? - Acesso restrito

Proposta de melhoria de um método de estimação de taxa de falha em interconexão de segundo nível de componentes eletrônicos
Brito, A. C.; Oliveira e Souza, M. L.
2010 - Como citar?

Promising results form the customization of the Commanding and Monitoring Frameworks of INPE Satellite Control
Cardoso, L. S.; Cardoso, P. E.; Barreto, J. P.
2010 - Como citar?

Estudo de simuladores computacionais aplicados ao ciclo de desenvolvimento de plataformas orbitais
Hoffmann, L. T.; Perondi, L. F.
2010 - Como citar?

Mecanismo de um escalonador de tarefas baseado em SMP2
Hoffmann, L. T.; Perondi, L. F.
2010 - Como citar?

A new model-based approach for analysis and refinement of requirement specification to space operations
Morais, M. H. E.; Ambrósio, A. M.
2010 - Como citar?

Embedded critical software testing for aerospace applications based on PUS
Pontes, R. P.; Martins, E.; Ambrósio, A.; Villani, E.
2010 - Como citar? - Acesso restrito

Modelagem e Verificação Formal de Software Embarcado Espacial Segundo a Norma PUS
Pontes, R. P.; Villani, E.; Ambrosio, A. M.
2010 - Como citar?

Application of Statistics and Computational Intelligence Techniques for Analyzing Network Traffic
Santos, A. C. F.; Silva, J. D. S.; Silva, L. S.; Sene, M. P. C.; Rosa, R. R.
2010 - Como citar?

Análise de séries temporais para caracterizar o tráfego de rede utilizando mineração de dados por clusterização
Santos, A. C. F.; Silva, J. D. S.; Silva, L. S.; Sene, M. P. C.
2010 - Como citar?

Testes Ambientais e Verificação de Requisitos em Projetos da Área Espacial
Silva, H. E.; Perondi, L. F.
2010 - Como citar?

Decision Support Tool for Prediction of Critical Data to the Satellite Integrity
Souza, P. B.; Ferreira, M. G. V.; Silva, J. D. S.; Ambrosio, A. M.
2010 - Como citar?

Benchmarking software requirements documentation for space application
Véras, P. C.; Villani, E.; Ambrósio, A. M.; Pontes, R. P.; Vieira, M.; Madeira, H.
2010 - Como citar?

Errors on Space Software Requirements: A field Study and Application Scenarios
Véras, P. C.; Villani, E.; Benchmarking, H. M.; Ambrosio, A. M.; Vieira, M.; Silva, N.
2010 - Como citar? - Acesso restrito

Dependability Benchmark for PUS-based Satellite On-Board Software
Véras, P. C.; Villani, E.; Madeira, H.; Ambrosio, A. M.
2010 - Como citar?

Emprego dos Padrões SOIS-CCSDS e PUS-ECSS na Simulação de Serviços de Computação de Bordo Espacial
Almeida, W. G.; dos Santos, W. A.; Ambrosio, A.
2009 - Como citar?

Emprego dos Padrões SOIS-CCSDS e PUS-ECSS na Simulação de Serviços de Computação de Bordo Espacial
Almeida, W. G.; Santos, W. A.; Ambrosio, A. M.; Pastl, R.
2009 - Como citar?

Emprego dos padrões sois-ccsds e pus-ecss na simulação de serviços de computação de bordo espacial
Almeida, W. G.; Santos, W. A.; Ambrósio, A. M.; Pastl, R.
2009 - Como citar? - Acesso restrito

A localização geográfica de plataformas no Sistema Brasileiro de Coleta de Dados Ambientais
Celestino, C. C.; Yamaguti, W.; Kuga, H. K.; Sousa, C. T.
2009 - Como citar?

NanosatC-BR - Space Weather Mission
Costa, L. L.; Schuch, N. J.; Souza, P. N.; Durão, O. S. C.; Trivedi, N. B.; Mendes Júnior, O.; Lopes, R. V. F.; Fonseca, I. M.; Souza, F. L.; Palerosi, A. C.; Rozenfeld, P.; Matiello-Francisco, F.; Dal Lago, A.; Echer, E.; Gomes, N.; Michels, A.; Pinheiro, D. K.; Costa, R. L.; Zorar, R. B.; Antunes, C. E.; Siqueira, J.; Savian, F. S.; Fagundes, I. F.; Jaskulski, T.; Nicolini, L. F.; Tambara, L. A.; Felipetto, C. M.; Santos, R. C.; Bürger, E. E.; Stekel, T. R. C.; Kemmerich, N.; Vieira, L. R.
2009 - Como citar?

Design and Development of a Simulator for the Brazilian Data Collecting System Based on Satellites
Kienbaum, G. S.; Miranda, F. S.; Vieira Junior, H.; Barreto, J. P.; Cisotto, M. V.; Almeida, W. G.
2009 - Como citar?

Análise da precisão das efemérides orbitais do GPS a bordo do satélite CBERS-2B
Kuga, H. K.; Silva, A. R.; Lopes, R. V. F.
2009 - Como citar?

A model-driven requirements engineering approach to conceptual satellite design
Leonor, B. B. F.; santos, ; Stephany, S.
2009 - Como citar?

A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing
Pontes, R. P.; Morais, M. H. E.; Véras, P. C.; Ambrósio, A. M.; Villani, E.
2009 - Como citar?

Integração receptores GPS e satélite geoestacionário na quantificação do IWV: qualidade com boa resolução espacial
Sapucci, L. F.; Costa, S. S.
2009 - Como citar?

Comparison between two different ways of attitude determination in the nanosatc-BR cubesat
Savian, F. S.; Lopes, R. V. F.; Schuch, N. J.; Durão, O. S. C.; Antunes, C. E.; Siqueira, J.
2009 - Como citar?

Localizador GPS com criptografia de dados
Silva, A. B. C.; Pereira, W. N. A.; Yamaguti, W.
2009 - Como citar?

Decision Support Tool for Prediction of Critical Data to the Satellite Integrity
Souza, P. B.; Ferreira, M. G. V.; Silva, J. D. S.; Ambrosio, A. M.
2009 - Como citar?

An Independent Software Verification and Validation Process for Space Applications
Ambrósio, A. M.; Mattiello-Francisco, M. F.; Martins, E.
2008 - Como citar? - Acesso restrito

Using Design Patterns, Components and Metadata to Design the Command and Monitoring Frameworks of the INPE´s Satellite Control System
Cardoso, P. E.; Barreto, J. P.; Cardoso, L. S.; Hoffmann, L. T.
2008 - Como citar? - Acesso restrito

Dynamical Assignment of Priorities to Operations for Planning Multiple Satellite Control
Carniello, A.; Carniello, A.; Ferreira, M. G. V.; Silva, J. D. S.; Cardoso, L. S.
2008 - Como citar?

Estimação em tempo real do estado de carga de bateria níquel cádmio em satélites de órbita baixa
Magalhães, R. O.; Hélio Koiti Kuga; Roberto V. F. Lopes
2008 - Como citar?

Estudo da Representação do Tráfego de Rede como Série Temporal
Santos, A. C. F.; Silva, L. S.; Silva, J. D. S.
2008 - Como citar?

Validação da abordagem numérica para a propagação da atitude de satélites artificiais com quatérnions
Silva, M. F.; Sene, L. T. F.; Orlando, V.; Zanardi, M. C.
2008 - Como citar?

Uma Estratégia para Validar Plano de Operação de Vôo de Satélites do INPE
Souza, P. B.; Ferreira, M. G. V.; Silva, J. D. S.; Ambrósio, A. M.
2008 - Como citar?

Uma Estratégia para Validar Plano de Operação de Vôo de Satélites do INPE
Souza, P. B.; Ferreira, M. G. V.; Silva, J. D. S.; Ambrosio, A. M.
2008 - Como citar?

Satellite simulator requirements specification based on standardized space services
Ambrosio, A. M.; Barreto, J. P.; Guimarães, D. C.
2007 - Como citar?

Designing fault injection experiments using state-based model to test a space software
Ambrosio, A. M.; Mattiello-Francisco, F.; Santiago Júnior, V. A.; Martins, E.
2007 - Como citar?

Desenvolvimento em Java de uma ferramenta de visualização gráfica do tráfego de rede
Mancilha, T. D.; Silva, L. S.; Salgado, A. É. M.; Montes, A.; Paula Junior, A. R.
2007 - Como citar?

Acceptance Testing Strategy Guided by Evolutionary Operational Profiles
Mattiello-Francisco, M. F.; Ambrosio, A. M.; Yano, E. T.
2007 - Como citar?

A Brazilian software industry experience in using ECSS for space application software development
Mattiello-Francisco, M. F.; Santiago, V.; Ambrosio, A. M.; Jogaib, L.; Costa, R.
2007 - Como citar?

QSEE Project: an experience in outsourcing software development for space applications
Santiago, V.; Mattiello-Francisco, F.; Costa, R.; Silva, W. P.; Ambrosio, A. M.
2007 - Como citar?

Análise do Tráfego de Redes para Detecção de Anomalias
Santos, A. C. F.; Silva, L. S.; Silva, J. D. S.
2007 - Como citar?

SPAC: ferramenta para processamento e análise de dados científicos no processo de validação de software em aplicações espaciais
Silva, W. P.; Santiago, V.; Vijaykumar, N. L.; Matiello Francisco, F.
2007 - Como citar?

Brazilian satellite simulators: previous solutions trade-off and new perspectives for the CBERS program
Ambrosio, A. M.; Cardoso, P. E.; Bianchi Neto, J.
2006 - Como citar?

Space services: textual to formal description
Ambrosio, A. M.; Martins, E.
2006 - Como citar?

Software agents for multiple satellite automated planning and control
Biancho, A. C.; Aquino, A. C.; Ferreira, M. G. V.; Silva, J. D. S.; Cardoso, L. S.
2006 - Como citar?

Uma arquitetura de automação de operações solo multi-agente
Biancho, A. C.; Carniello, A.; Ferreira, M. G. V.; Silva, J. D. S.; Cardoso, L. S.
2006 - Como citar?

A ground control system for CBERS 3 and 4 satellites
Cardoso, P. E.; Barreto, J. P.; Dobrowolski, K. M.
2006 - Como citar?

An intelligent system for generation of automatic flight operation plans for the satellite control activities at INPE
Cardoso, L. S.; Ferreira, M. G. V.; Orlando, V.
2006 - Como citar?

Avaliação dos efeitos ionosféricos e troposféricos na localização geográfica de plataformas de coleta de dados
Celestino, C. C.; Rae, C. T. S.; Yamaguti, W.; Kuga, H. K.
2006 - Como citar?

Comparing Recursive Least Squares Algorithms Applied To Orbit Determination
Kuga, H. K.; Lopes, R. V. F.; Raimundo, P. C. P.
2006 - Como citar?

An evolutionary operational profiles approach for integration tests
Mattiello-Francisco, M. F.
2006 - Como citar?

Safety in a web-based satellite flight plan supporting system
Mattiello-Francisco, M. F.; Sakugawa, B. M.; Yano, E. T.
2006 - Como citar?

Verificação e validação na terceirização de software embarcado em aplicações espaciais
Mattiello-Francisco, M. F.; Santiago Júnior, V. A.; Ambrósio, A. M.; Costa, R.; Leise, J.
2006 - Como citar?

A pratical approach for automated test case generation using statecharts
Santiago, V.; Amaral, A. S. M. S.; Vijaykumar, N. L.; Mattiello-Francisco, M. F.; Martins, E.; Lopes, O. C.
2006 - Como citar?

The MAPSAR mission: objectives, design and status
Schroder, R.; Puls, J.; Hajnsek, I.; Jochin, F.; Bues0-Bello, J. L.; Datashvili, L.; Baier, H.; Silva, M. M. Q.; Paradella, W. R.
2006 - Como citar?

Joint Estimation Of Orbit And Attitude Of Spin Stabilized Artificial Satellites Using Magnetometer And Solar Sensors Measurements
Silva, C. M. L.; Lopes, R. V. F.; Kuga, H. K.
2006 - Como citar?

Hamming Net and LVQ Neural Networks for Classification of Computer Network Attacks: A Comparative Analysis
Silva, L. S.; Santos, A. C. F.; Montes, A.; Simões, J. D. S.
2006 - Como citar?

Modelling the internal temperature of an autoclave using parameter estimation
Terceiro, F. C. A.; Lopes, R. V. F.; Kuga, H. K.
2006 - Como citar?

A methodology for designing fault injection experiments as an addition to communication systems conformance testing
Ambrosio, A. M.; Mattiello-Francisco, F.; Vijaykumar, N. L.; Carvalho, S. V.; Santiago, V.; Martins, E.
2005 - Como citar?

Systematic generation of test and fault cases for space application validation
Ambrosio, A. M.; Martins, E.; Vijaykumar, N. L.; Carvalho, S. V.
2005 - Como citar?

Aplicação da tecnologia de agentes de planejamento em operações de satélites
Cardoso, L. S.; Ferreira, M. G. V.; Orlando, V.; Biancho, A. C.
2005 - Como citar?

Aprendendo por reforço a evitar colisões em um robô móvel
Hoffmann, L. T.; Silva, J. D. S.
2005 - Como citar?

Posicionamento relativo em tempo real de formação de vôo orbital através do filtro de Kalman
Kuga, H. K.; Oliveira, S. B.; Lopes, R. V. F.
2005 - Como citar?

A comparative study between PMBok/DoD and ECSS/management process for software acquisition
Mattiello-Francisco, M. F.; Arias, R.; Hirata, C. M.; Yano, E. T.; Sakugawa, B. M.
2005 - Como citar?

Estimation of torque in a reaction wheel using a bristle model for friction
Moreira, M. L. B.; Lopes, R. V. F.; Kuga, H. K.
2005 - Como citar?

Estimate of the rendezvous trajectory through the dynamics of the relative motion - formation flying
Santos, D. P. S.; Kuga, H. K.; Lopes, R. V. F.; Prado, A. F. B. A.
2005 - Como citar?

The MAPSAR Mission: objectives, design and status
Schröder, R.; Puls, J.; Hajnsek, I.; Jochim, F.; Silva, M. M. Q.; Paradella, W. R.; Chamon, M. A.
2005 - Como citar?

Evolução dos trabalhos em detecção de anomalias na rede
Silva, L. S.; Montes, A.; Silva, J. D. S.
2005 - Como citar?

Estudo do uso da hamming net para detecção de intrusão
Silva, L. S.; Santos, A. C. F.; Montes, A.; Simões, J. D. S.
2005 - Como citar?

PLAVIS/FSM: na environment to integrate fsm-based testing tool
Simão, A. S.; Ambrósio, A. M.; Fabbri, S. C. P.; Amaral, A. S. M. S.; Martins, E.; Maldonado, J. C.
2005 - Como citar?

On the use of test standardization in comunication space applications.
Ambrosio, A. M. A.; Martins, E.; Matiello-Francisco, M. F.; Silva, C. S.; Vijaykumar, N. L.
2004 - Como citar?

CoFI: a test process for space application service validation
Ambrosio, A. M.; Martins, E.; Vijaykumar, N. L.; Carvalho, S. V.
2004 - Como citar?

Dynamic object architecture applied to satellite control systems
Cardoso, P. E.; Cardoso, L. S.; Ferreira, M. G. V.
2004 - Como citar?

Estrutura de Dados e Regras de Negócio Configuráveis pelo Usuário Final
Cardoso, P. E.; Ferreira, M. G. V.
2004 - Como citar?

STER: a strategy for testing reactive systems.
Martins, E.; Guimarães, D. C.; Ambrosio, A. M.
2004 - Como citar?

Proposal of an operational network architecture for satellite missions.
Silva, L. S.; Salgado, A. É. M.
2004 - Como citar?

A neural network application for attack detection in computer networks.
Silva, L. S.; Santos, A. C. F.; Silva, J. D. S.; Montes, A.
2004 - Como citar?

Desenvolvimento e manutenção operacional de serviços aplicativos em Missões Espaciais
Souza, J. R. S.
2004 - Como citar?

Systematic test case generation for concurrent FSMs.
Ambrosio, A. M.
2003 - Como citar? - Acesso restrito

Teste de conformidade para software de sistemas espaciais.
Ambrosio, A. M.
2003 - Como citar?

ATIFS: A testing toolset with software fault injection.
Ambrosio, A. M.; Mattiello-Francisco, M. F.; Martins, E.
2003 - Como citar?

Experimental one axis attitude determination using GPS carrier phase measurements
Louro, A. C.; Lopes, R. V. F.; Kuga, H. K.
2003 - Como citar?

Um sistema operacional para o MCR
Martins, E.; Mattiello Francisco, M. F.; Salgado, A. É. M.; Santos Júnior, P. P.
2003 - Como citar?

A tool for fault injection and conformance testing of distributed systems
Mattiello-Francisco, M. F.; Martins, E.
2003 - Como citar?

O satélite de sensoriamento remoto SSR-1 para monitoramento da Amazônia
Rudorff, B. F. T.; Kono, J.; Quintino da Silva, M. M.; Shimabukuro, Y. E.
2003 - Como citar?

Integrated Identification and Sensor Failure Detection for Space Robotic Joint.
Silva, A. R.; Souza, L. C. G.; Schäfer, B.
2003 - Como citar?

Posicionamento de bóias oceanográficas de deriva através de localização gográfica utilizando satélites.
Sousa, C. T.; Kuga, H. K.
2003 - Como citar?

FBM ground segment and operations concept
Cardoso, P.; Gonçalves, L.; Ambrosio, A.; Carvalho, H.
2002 - Como citar?

Pilot project for the establishment of a development process for future space systems at INPE
Gonçalves, L. S. C.; Cardoso, P. E.; Ambrosio, A. M.
2002 - Como citar?

Uso da ferramenta de teste FSOFIST validação de uma aplicação espacial
Martins, E.; Mattiello-Francisco, M. F.; Morais, A. N. P.
2002 - Como citar?

Space Ops 2000 - Bringing Space Operations into the 21st Century
Ambrosio, A. M.; Gonçalves, L. S. C.; Cardoso, P. E.
2000 - Como citar?

The Argentina-Braszil Satellite for Information on Food, Water and Environment (SABIA)
Carvalho, H.; Kono, J.; Silva, M. M. Q.
2000 - Como citar?

SSR Amazon rainforest observation system
Carvalho, H.; Kono, J.; Silva, M. M. Q.
2000 - Como citar?

Open sources to small satellites ground station
Carvalho, M. J. M.; Pereira Junior, R. A.; Mattiello-Francisco, M. F.; Dubut, P. J.
2000 - Como citar?

Station multi-mission de Natal - Brésil concept et architecture d'une station TTC bande s faible co–t
Dubut, J. P.; Pereira Junior, R. A.; Carvalho, M. J. M.; Mattiello-Francisco, M. F.
2000 - Como citar?

Building a telecommand web system for scientific microsatellite control based on open source technology
Mattiello-Francisco, M. F.; Pereira Junior, R. A.; Carvalho, J. M.
2000 - Como citar?

A compact and autonomous ground system for SACI-1 Mission
Mattiello-Francisco, M. F.; Neri, J. Â. C. F.
1999 - Como citar?

An experience in designing software for micro-satellite control using graphical language
Mattiello-Francisco, M. F.; Guimarães, M. S.; Carvalho, M. J. M.
1998 - Como citar?

Testes detolerância a falhas em sitemas de comunicação
Martins, E.; Mattiello-Francisco, M. F.; Ambrosio, A. M.; Araújo, M. R. R.
1997 - Como citar?

A relational data base for the space plasma data collectec by the SACI-1 mission
Mattiello-Francisco, M. F.; Neri, J. Â. C. F.; Ferreira Júnior, R. A.
1997 - Como citar?

Data format analysis using automaton approach
Mattiello-Francisco, M. F.; Gatto, R. C.; Itami, S. N.; Yamaguti, W.
1996 - Como citar?

SACI-1 - a cost-effective microsatellite bus for multiple mission payloads
Neri, J. A. C. F.; Santos, W. A.; Rabay, S.; Souza, P. N.; Oliveira Filho, O. B.; Fonseca, I. M.; Paula Jr., A. R.; Almeida, M. C. P.; Cividanes, L. B. T.; Francisco, M. F. M.; Baruel, M. F.; Varotto, S. E. C.; Ribeiro, M. S.; Matos, J. D.; Da, F.; Saturno, M. E.
1996 - Como citar?

Environmental data system for Brazilian Data Collection Satellite
Mattiello-Francisco, M. F.; Gatto, R. C.
1995 - Como citar?

Inteligente agent on GIS environment
Mattiello-Francisco, M. F.
1994 - Como citar?

Detecção e identificação de falhas em sistemas de controle lineares usando uma modificação do filtro de detecção
Mello, A. F.; Souza, M. L. O.
1993 - Como citar?

Analise comparativa de procedimentos experimentais para determinacao da conduntancia de juncoes aparafusadas
Mantelli, M. H.
1990 - Como citar?

The antenna manager software for the Brazilian Satellite: implementation and study
Mattiello-Francisco, M. F.; Ambrosio, A. M.; Ciurria, M. J. C.
1990 - Como citar?

Projeto termico das baterias Ni-Cd do satélite Sino Brasileiro
Muraoka, I.; Bastos, J. L. F.; Leite, R. M. G.
1990 - Como citar?

On board cross support scenarios
Bergamini, E. W.
1989 - Como citar?

Conformance test concepts for data entities based on sfdv structure e construction rules
Bergamini, E. W.
1989 - Como citar?

Um sistema de supervisão tolerante e falhas
Mattiello-Francisco, M. F.
1989 - Como citar?

Aplicação de pó para monitorar a evolução da demanda doméstica d'água e gerenciar o sistema de transporte
Barbosa, J. I. M.; Yanasse, H. H.
1988 - Como citar?

Uma arquitetura com processamento paralelo para computação incremental
Diehl, J. B.; Bergamini, E. W.
1987 - Como citar?

Aspectos de tolerância a falhas do sistema de computação do satélite de sensoriamento remoto da MECB
Paula Jr., A. R.
1987 - Como citar?

Avaliacao de um multiprocessador de comunicacao em rede tolerante a falhas
Salgado, A. E. M.
1987 - Como citar?

Um algoritmo para a otimizacao minimax da iluminacao produzida por uma antena de feixe moldado
Tissi, P.
1987 - Como citar?

Análise das especificações da câmera CCD para o BRESEX, face aos objetivos científicos
Montes, A. S.; Conde, F. R.; Vitorello, Í.; Oliveira, E. A.; Rayalu, G. K.
1986 - Como citar?

Caracterizacao e dimensionamento do sistema de modulacao das comunicacoes do servico do primeiro satelite brasileiro
Carleial, A. B.; Costa, M. H. M.
1985 - Como citar?

Aspectos de tolerancia a falhas do computador de bordo astro b/3
Paula Jr., A. R.
1985 - Como citar?

A system for the automated supervision of earth satations
Bergamini, E. W.; Mattiello-Francisco, M. F.; Chrispin, R.
1984 - Como citar?

Proposição para um sistema de sensoriamento remoto aerotransportado
Cunha, R. P.; Siqueira, M. A. A.; Montes, A. S.; Paula Junior, A. R.; Moreira, J. C.
1984 - Como citar?

Um sistema operacional para o multiprocessador de comunicacao em rede
Martins, E.; Mattiello-Francisco, M. F.; Salgado, A. É. M.; Santos Júnior, P. P.
1984 - Como citar?

Sistema imageador de infravermelho termal
Montes, A. S.; Demori, E.; Araújo, J. C.
1984 - Como citar?

A fault-tolerant multiprocessing unit for on-board satellite supervision and control
Paula Jr., A. R.; Martins, R. C. O.
1984 - Como citar?

Sistema de multiprocessamento para no de comunicacao
Salgado, A. E. M.; Martins, E.; Mattiello-Francisco, M. F.; Martins, R. C. O.
1984 - Como citar?

The BRESEX multispectral camera: preliminary characteristics
Siqueira, M. A. A.; Ranvaud, R. D. P. K. C.; Montes, A. S.; Lopes Filho, A.; Rayalu, G. K.; Matos, J. D.; Camilli, P. P. G.
1984 - Como citar?

Review on packet telemetry and concepts on packet telecomand: INPE proposal to CCSDS/Panel 1
Bergamini, E. W.
1983 - Como citar?

Concepts for convectivity and interoperability of world space data networks: INPE Proposal To CCSDS/Panel 3
Bergamini, E. W.
1983 - Como citar?

concepts for a standard data interchange structure (SDIS)INPE proposal to CCSDS/Panel 2
Bergamini, E. W.; Martins, R. C. O.
1983 - Como citar?

Intac - linguagem de teste de circuitos digitais e analogicos
Cruz, M. A. C.
1983 - Como citar?

Um sistema de controle e supervisão de bordo para aplicações em (multi)missões espaciais
Maldonado, J. C.; Bergamini, E. W.
1983 - Como citar?

Nucleo portatil para computadores
Martins, E.; Mattiello-Francisco, M. F.; Pratti, C. S. C.
1983 - Como citar?

Cross-support concepts for the 1990's: INPE/BRAZIL
Bergamini, E. W.
1982 - Como citar?

The processing and data communication resources for the Brazilian Complete Space Missions
Bergamini, E. W.
1982 - Como citar?

Recommendations for a standard electronic mail system to be used by space agencies in the development of cross-supported space data systems
Bergamini, E. W.; Pratti, C. S. C.
1982 - Como citar?

Link availability in satellite telecommunication subject to correlated rain attenuation at the ground terminals
Carleial, A. B.; Kono, J.
1982 - Como citar?

Receptor de tv fm em 4 ghz
Kono, J.; Santana, C. E.; Carleial, A. B.
1982 - Como citar?

Circuitos para processamento analogico do sinal de voz em comunicacoes scpc fm por satelite
Colla, N. H.; Carleial, A. B.
1981 - Como citar?

Estudo da disponibilidade de enlaces de telecomunicacoes por satelite sujeitos a atenuacao por chuvas
Kono, J.; Carleial, A. B.
1981 - Como citar?

6. Manuais (3)

Procedimento para implantação de ambiente de monitoração de rede usando Snort
Mendes Júnior, A. J.
2014 - Como citar?

Manual do usuário da plataforma PLAVIS
Ambrósio, A. M.; Morais, M. H. E.
2010 - Como citar?

Manual de instalação da plataforma PLAVIS
Morais, M. H. E.; Schmidt, F.; Mendonça, D. R.; Ambrósio, A. M.; Souza, M. L. O.
2009 - Como citar?

7. Notas técnicas (23)

Satellite simulator requirements specification based on standard services
Ambrosio, A. M.; Guimarães, D. C.
2012 - Como citar?

Software verification and validation methods and tools
Ambrosio, A. M.; Silva, N.
2008 - Como citar?

Experiências em projetos e uso de técnicas de verficiação e validação de software em aplicações espaciais no INPE
Ambrósio, A. M.; Mattiello-Francisco, F.; Cardoso, L. S.; Santiago, V.; Arias, R.; Vijaykumar, N. L.; Loureiro, G.
2007 - Como citar?

Sopmcr - um sistema operacional para o multiprocessador de comunicacao em redes
Martins, E.; Ambrosio, A. M.; Oshiro, S. K.
1988 - Como citar? - Acesso restrito

Documento de especificação de requisitos do componente rel
Cruz, M. A. C.
1987 - Como citar? - Acesso restrito

Padronização de desenvolvimento de software
Oliveira, J. L.; Kato, M.; Silva, O. O.; Milani, P. G.; Orlando, V.; Yamaguti, W.
1987 - Como citar? - Acesso restrito

Requisitos basicos de garantia do produto para sistemas espaciais
Paula Jr., A. R.; Tude, E. A. P.; Kono, J.; Shitara, N.; Morais, P. R.; Silveira, V. B.
1985 - Como citar?

Detalhamento Tecnico do experimento brasileiro de sensoriamento remoto (BRESEX)a ser realizado no onibus espacial da NASA
Paula Jr., A. R.; Vitorello, I.; Alves Filho, J. S. R.; Benassi, L.; Siqueira, M. A. A.; Oliveira Filho, O. B.; Almeida Filho, R.; Ranvaud, R.; Boruszewski, W.
1985 - Como citar?

Padronização de um barramento para microcomputadores
Maldonado, J. C.; Cruz, M. A. C.; Missawa, M.; Cereda, R. L. D.
1984 - Como citar? - Acesso restrito

Calculo dos enlaces scpc entre estacoes terrenas da rede das forcas armadas, atraves do satelite domestico sbts
Carleial, A. B.
1983 - Como citar?

Requisitos de sistema para estacao terrena scpc fm de baixa capacidade
Carleial, A. B.
1983 - Como citar?

Especificacoes de estacao terrena scpc fm de baixa capacidade
Carleial, A. B.; Kono, J.; Rodrigues, J. A.; Arakaki, Y.; Colla, N. H.
1983 - Como citar?

Projeto de amplificadores de microondas com o uso de componentes discretos
Fleming, W. J.
1982 - Como citar?

Calculo de enlace em 240 mhz
Galvao, B. S. M. C.; Fleming, W. J.
1982 - Como citar? - Acesso restrito

Sobre a decomposicao das funcoes paraunitarias em parcelas de argumento uniforme
Tissi, P.
1982 - Como citar? - Acesso restrito

Especificacoes de uma estacao terrena scpc fm de baixa capacidade para 6/4ghz
Kono, J.; Colla, N. H.; Arakaki, Y.
1981 - Como citar? - Acesso restrito

Manual de operação do programa operacional integrado - (POI)para comunicação entre computadores utilizado na supervisão de bordo da Missão Peroba I
Maldonado, J. C.; Mendes, R. A.
1981 - Como citar? - Acesso restrito

Microcomputador astro s1 (cobacs-s1)
Paula Jr., A. R.; Mendes, R. A.
1979 - Como citar?

Notes on the dispersion of real vector ensembles and applications
Carleial, A. B.
1978 - Como citar?

Desenvolvimento de microcomputador para aquisicao de dados em um balao estratosferico
Paula Jr., A. R.; Hubscher, G. L.
1978 - Como citar?

Decodificador de maxima verossimilhanca para codigo convolucional binario
Kono, J.
1977 - Como citar? - Acesso restrito

Um simulador reconfigurável para o microprocessador INTEL 8080
Yamaguti, W.; Martins, R. C. O.
1977 - Como citar?

Sistema de amostragem de sinais analogicos (comutador analogico)
Senador, R.; Costa, C. F.
1975 - Como citar? - Acesso restrito

8. Publicações didáticas (6)

Da terra ao espaço: tecnologia e meio ambiente na sala de aula
Souza, P. N.; Carvalho, H. C.; Pessoa Filho, J. B.; Costa Filho, E. J.; Rodrigues, I. M. S.; Canalle, J. B. G.; Villas Boas, D. J. F.; Mussi, R. N. F.; Oliveira, G. S.; Florenzano, T. G.; Costa, A. O.; Silva, N. F.
2006 - Como citar?

Cálculo de enlace para sistemas de comunicação digital via satélite
Silva, L. B. C.; Chamon, M. A.
2004 - Como citar?

Sistemas computacionais em aplicações espaciais
Francisco, M. F. M.
2003 - Como citar?

Uma aplicação de redes neurais para detecção de ataques
Silva, L. S.
2003 - Como citar? - Acesso restrito

SAAL: Sistema de apoio à análise de Logs
Silva, L. S.
2003 - Como citar?

O Projeto de uma missão espacial - como construir um satélite
Instituto Nacional de Pesquisas Espaciais
2002 - Como citar?

9. Relatórios (31)

Desenvolvimento de um emulador de painéis solares para nanosatélites
Santos, I. F. G.; Hoffmann, L. T.; Hoffmann, C. T.
2015 - Como citar?

Um estudo sobre arquiteturas de simuladores de satélites
Ambrósio, A. M.; Barreto, J. P.
2012 - Como citar?

Propagação numérica da altitude de satélites artificiais com quatérnions e torque de pressão de radiação solar
Ishibashi, L. E.; Orlando, V.; Zanardi, M. C. F. P. S.
2012 - Como citar?

Torque devido à força de Lorentz: erro de apontamento e ângulo de aspecto solar
Bento, P. R. S. P.; Orlando, V.; Zanardi, M. C. F. P. S.
2011 - Como citar?

Propagação de atitude de satélites artificiais com quatérnionse torque devido à força de Lorentz
Bento, P. R. S. P.; Orlando, V.; Zanardi, M. C. F. P. S.
2010 - Como citar?

Desenvolvimento e aplicação de recursos de realidade aumentada em visualização de dados de missões espaciais
Vieira, M. V. G.; Gatto, R. C.
2010 - Como citar?

Propagação de atitude de satélites artificiais com quatérnionse torque devido à força de Lorentz
Bento, P. R. S. P.; Orlando, V.; Zanardi, M. C. F. P. S.
2009 - Como citar?

Metodologia CoFI (conformance and fault injection) aplicada a um exemplo didático
Morais, M. H. E.; Ambrósio, A. M.
2009 - Como citar?

Estudos de subsistemas de controle térmico para pequenos satélites para aplicação ao NANOSATC-BR
Costa, L. L.; Souza, P. N.; Schuch, N. J.
2008 - Como citar?

Propagação de atitude de satélites artificiais com quatérnions
Silva, M. F.; Orlando, V.; Zanardi, M. C. F. P. S.
2008 - Como citar?

Propagação de atitude de satélites artificiais com quatérnions
Sene, L. T. F.; Orlando, V.; Zanardi, M. C. F. P. S.
2007 - Como citar?

Propagação de atitude de satélites artificiais com quatérnions incluindo torques magnéticos e torque gradiente de gravidade
Sene, L. T. F.; Orlando, V.; Zanardi, M. C. F. P. S.
2006 - Como citar?

Propagação de atitude de satélites artificiais com quatérnions e torque magnético devido as correntes de Foucault
Teixeira, J. E. C. T.; Orlando, V.; Zanardi, M. C. F. P. S.
2005 - Como citar?

CoFI - Conformance and fault injection: a testing process including test and fault cases derivation for space application software validation
Ambrosio, A. M.; Martins, E.; Viajaykumar, L. V.; Carvalho, S. V.
2004 - Como citar?

A estação espacial internacional: descrição geral do programa
Souza, P. N.; Bogossian, O. L.; Palerosi, A. C.; Sousa, F. L.; Francisco, M. F. M.; Carvalho, T. R.; Brito, A. C.
2003 - Como citar?