Ana Maria Ambrosio

Possui graduação em Bacharelado Em Ciência da Computação pela Universidade Federal de São Carlos (1984), mestrado em Computação Aplicada pelo Instituto Nacional de Pesquisas Espaciais (1988) e doutorado em Computação Aplicada pelo Instituto Nacional de Pesquisas Espaciais (2005). Atualmente é pesquisador colaborador do Instituto Nacional de Pesquisas Espaciais. Tem experiência na área de Engenharia Aeroespacial, com ênfase em Simulação de satélites, atuando principalmente em modelagem no desenvolvimento do simulador da missão espacial CBERS. Area de pesquisa com foco em verificação e validação sistemas espaciais, teste baseado em modelos. Autora da metodologia COFI, a qual, como spin off, foi adaptada a indústria automobilística .

Informações coletadas do Lattes em 24/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Computação Aplicada

2000 - 2005

Instituto Nacional de Pesquisas Espaciais
Título: CoFI ? uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais
Eliane Martins. Coorientador: Solon Venâncio de Carvalho. Palavras-chave: Teste de conformidade; Injeção de falhas por software; Teste baseado em Máquinas de estados finitos; model-based testing.Grande área: Engenharias

Mestrado em Computação Aplicada

1985 - 1988

Instituto Nacional de Pesquisas Espaciais
Título: UM SISTEMA PARA EXECUÇÃO DE ESPECIFICAÇÕES JSD,Ano de Obtenção: 1988
Orientador: FLÁVIO ROBERTO DIAS VELASCO
Palavras-chave: Engenharia de Software; Jackson System Development; especifiações executáveis.Grande área: Ciências Exatas e da TerraSetores de atividade: Aeronáutica e Espaço; Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática; Informática.

Graduação em Bacharelado Em Ciência da Computação

1980 - 1984

Universidade Federal de São Carlos

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Simulação de satélites.

    Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Verificação e Validação de Sistemas Espaciais.

    Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Model-based System Engineering.

Seção coletada automaticamente pelo Escavador

Organização de eventos

AMBROSIO, A. M. ; PONTES, Rodrigo Pastl ; SAKUGAWA, B. M. ; CORSETTI, A. ; MARQUES, J. ; RODRIGUES, L. A. ; DUARTE JR., E. P. . Industrial Track on Dependable Systems. 2018. (Outro).

AMBROSIO, A. M. ; MARTINS, E. ; BARP, A. . Palestras sobre Técnicas e Práticas em Verificação e Validação. 2018. (Outro).

AMBROSIO, A. M. ; MARTINS, E. ; BARP, A. . Palestras sobre Verificação e Validação de Sistemas críticos. 2017. (Outro).

MONTECCHI, L. ; AMBROSIO, A. M. ; MATTIELLO-FRANCISCO, M. F. . Minicurso internacional sobre "Model-driven Engineering and its Application for Dependability Analysis" -mini-curso (mini-curso). 2016. (Outro).

AMBROSIO, A. M. ; MARTINS, E. ; DAVISON, J. C. ; BARP, A. . Palestras nacionais: Desenvolvimento baseado em modelos - experiência da EMBRAER e da UNICAMP. 2016. (Outro).

EICKHOFF, J. ; Hoffmann, L.T. ; AMBROSIO, A. M. ; Azevedo, D.N.R. . Mini-curso internacional: Training in Satellite Functional Engineering. 2015. (Outro).

AMBROSIO, A. M. . Fifth Latin-Amarican Symposium on Dependable Computing. 2011. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

1 Seminário de Logística e Manutenção Aeronáutica - SLMA.Desenvolvimento de Missões Espaciais: Experiências no INPE. 2019. (Seminário).

X Workshop em Engenharia e Tecnologia Espaiciais _WETE 2019. 2019. (Oficina).

IX Workshop em Engenharia e Tecnologia Espaciais - WETE 2018. 2018. (Oficina).

VIII Latin-American on Dependable Computing Simposiun - LADC 2018.Industry Track in the Latin-American on Dependable Computing Simposiums. 2018. (Simpósio).

1o. Workshop de Inovação - WIN. 2016. (Oficina).

VII Latin-American Symposium on Dependable Computing - LADC2016.An Approach for Verification of a Satellite Simulator - an evolving system. 2016. (Simpósio).

VII Workshop em Engenharia e Tecnologia Espaciais - WETE 20116.O Curso de pós-graduação em Engenharia e Tecnologia Espaciais. 2016. (Oficina).

45th IEEE/IFIP International Conference on Dependable Systems and Ne Networks (DSN 2015). From Academia to Industry: Challenges and Lessons Learned from a Model-Based-Testing Experience. 2015. (Congresso).

XVII Symposium on Virtual and Augmented Reality.Utilização de realidade Virtual, Aumentada e Cruzada em Simuladores de Satélites no INPE. 2015. (Simpósio).

19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013).HLA Middleware Robustness and Sacalability Evaluation in the context of Satellite Simulators. 2013. (Simpósio).

Sixth Latin-American Symposium on Dependable Computing -LADC 2013).Validation of the Satellite Speed Measurement System with the use of Formal Methods for Test Case Generation: one experiment. 2013. (Simpósio).

12th International Conference on Space Operations. A Requirement Evaluation Metric appllied on the ITASAT-1: a small technologycal satellite. 2012. (Congresso).

21th SAE Brasil International Congress and Exhibition. Finite-State-machine verification applied to Hybrid systems. 2012. (Congresso).

Simulation and EGSE for Space Programmes (SESP 2012).Specifying Satellite Behavior for an Operational Simulator. 2012. (Oficina).

VI Encontro Brasileiro de Teste de Software.Utilização da Ferramenta Mantis para Gerenciamento de Defeitos de Testes de Software. 2012. (Encontro).

IV International Conference on Space Mission Operations and Ground Data Systems. Brazilian experiences in Upgrading a Satellite Control System. 1996. (Congresso).

Ground data systems for spacecraft control. The antenna manager software for the Brazilian satellite: implementation and study. 1990. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Teresa Raquel Pereira Domingos

PERONDI, L. F.; CHAGAS JUNIOR, M. F.;AMBROSIO, A. M.; YASSUDA, I. S.. ESTUDO SOBRE GESTÃO DE INCERTEZAS EM PROJETOS DO SETOR AEROESPACIAL BRASILEIRO. 2020. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Gabriel Torres de Jesus

PERONDI, L. F.; CHAGAS JUNIOR, M. F.;AMBROSIO, ANA MARIA; ALMEIDA, V. R.. Avaliação da Maturidade de Integração entre elementos Tecnológicos a partir de Visões de Arquitetura de Sistemas. 2019. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Vitor Silva Montes

SOUZA, P. S. L.;AMBROSIO, A. M.; DELAMARO, M.; SOARES, A. S.; DELBEM, A. C. B.. Detecção de defeitos de software utilizando agrupamento de perfis de desempenho. 2019. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Kátia Cardoso Bacelar Deglane

URBINA, L. M. S.; SILVA, R. G. A.; COSTA, L. E. V. L.; MELO, F. C. L.;AMBROSIO, A. M.. Proposta de um Método de análise de Stakeholders em Projetos Complexos. 2019. Dissertação (Mestrado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Nívio Paula de Souza

VILLANI, Emilia; HIRATA, C. M.; Dias, L.A.V.;AMBROSIO, ANA MARIA. Extensão de STPA com STRIDE para identificar cenários de perdas de Cibersegurança. 2019. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Marcus Kimura Lopes

VILLANI, Emilia; HIRATA, C. M.; FRANCA, R. B.; Dias, L.A.V.;Ana Maria Ambrosio. Method to detect Floating-point absorption and cancelation phenomenain Software-critical design models. 2018. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Alexandre Balistrieri

AMBROSIO, A. M.; CHAGAS JUNIOR, M. F.;FERREIRA, M. G. V.; CONTADOR, J. L.. Artefato para Simulação do processo de Time Cost Trade-off usando Funções Contínuas e do tipo Linear e Exponencial Convexa.. 2017. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Alheri Longji Dakwat

TRABASSO, L. G.;VILLANI, E.; Lahoz, C.H.N.; HIRATA, C. M.; LEMOS, F. L.;AMBROSIO, A. M.. System safety assessment based on STPA and Model Checking. 2017. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Aluno: Danilo Gaspar Graça

AMBROSIO, A. M.; Souza, M.L.O.; Trivelato, G.C.; ROCHA, G. C.. Proposta de um processo de verificação por testes pelas normas ECSS-E-ST-40C e RTCA-DO-178C e sua aplicação a um software especial embarcável.. 2016. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Johnny Cardoso Marques

HIRATA, C. M.; CUNHA, A. M.; Forster, C.H.Q.;AMBROSIO, A. M.; Lemes, M.J.R.. MACRE-SAR: um Modelo Ágil para Especificação de Requisitos de Software em Ambientes Regulados. 2016. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Antonio Cassiano Julio Filho

MATTIELLO-FRANCISCO, M. F.AMBROSIO, A. M.FERREIRA, M. G. V.; BERGAMINI, E. W.; BOGOSSIAN, O. L.; GHIZONI, C. C.. Uma Arquitetura para Gerenciamento Dinâmico de Serviços do Protocolo "Space Link Extenstion". 2015. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Felipe da Motta Silva

FERREIRA, M. G. V.PERONDI, L. F.AMBROSIO, A. M.; PESSOA FILHO, J. B.. Análise do Ciclo de vida de Missões de Foguetes de Sondagem. 2015. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Christopher Shneider Cerqueira

Souza, M.L.O.; SANTOS, W. A.;AMBROSIO, A. M.KIRNER, C.. Emprego de Técnicas de Realidade Virtual em Interação em Simuladores Operacionais de Satélites. 2014. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Henrique Forlani Masini

HIRATA, C. M.; FRANCA, R. B.; BEZERRA, J. M.; CASTRO, P. A. L.;AMBROSIO, A. M.. An approach to generate optimized cyclic scheduling from AADL specification. 2014. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Aluno: Michele Medeiros

AMBROSIO, A. M.SOUSA, F. L.; SANTOS, W. A.;VILLANI, E.. Uma Abordagem Orientada a Modelos para o Problema de Disposição de Equipamentos Embarcados em Satélites. 2014. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Guilherme Kisseloff Coracini

Dias, L.A.V.;VILLANI, E.; EGUTI, C. C. A.;AMBROSIO, A. M.. Verificação de sistemas de controle para automação baseada em rob. 2014. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Aluno: Waldo Acioli Falcão de Alencar

Dias, L.A.V.;VILLANI, E.; Oliveira, J.M.P.;AMBROSIO, ANA MARIA. Model Checking aplicado a software embarcado crítico do satélite universitário ITASAT. 2013. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Aluno: André Aparecido de Souza Ivo

AMBROSIO, A. M.FERREIRA, M. G. V.; Sant' Anna, N.; SIDAOUI, H. A.. UMA FERRAMENTA PARA AVALIAÇÃO DE PLANOS DE VOO DE SATÉLITES USANDO MODELOS DE ESTADOS.. 2013. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Caroline Castello Letízio

MARTINS, E.AMBROSIO, A. M.; MEDEIROS, C. B.. Métodos de Modelagem e Geração de Testes para o Ambiente de Ensino à Distância Teleduc. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Arineiza Cristina Pinheiro

SIMAO, A. S.; Souza, S.R.S.;AMBROSIO, A. M.. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. 2012. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Érika Regina Campos de Almeida

MARTINS, E.AMBROSIO, A. M.; Carvalho, A.M.B.R.. Geração automática de casos de testes executáveis a partir de casos de testes abstratos para aplicações WEB. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Elton Oliveira Ferreira

TASINAFFO, P. M.; CUNHA, A. M.; DIAS, L. A. V.;AMBROSIO, A. M.. Um método orientado a processo para elicitação de requisitos em sistemas computadorizados. 2012. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Isaura Rennaly Souto Lima

MARTINS, E.; RUBIRA, C. M. F.;AMBROSIO, A. M.. Uso de Análise de Mutantes para avaliar abordagens para geração de casos de testes baseados em Máquinas de Estado Extendidas. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Thiago Duarte Pereira

AMBROSIO, A. M.FERREIRA, M. G. V.; ARIAS, R.; SIDAOUI, H. A.. Uma arquitetura definida para uso da linguagem PLUTO em procedimentos de teste aplicados a um computador de bordo para satélites.. 2012. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Aline Cristine Fadel

MORAES, R. L. O.;MARTINS, E.; Camargo Jr., J.B.;AMBROSIO, A. M.. Técnicas de testes aplicadas a software embarcado em Redes Ópticas. 2011. Dissertação (Mestrado em TECNOLOGIA) - Universidade Estadual de Campinas.

Aluno: Charles-Edouard Winandy

FERREIRA, M. G. V.; KIENBAUM, G. S.; Dias, L.A.V.;AMBROSIO, A. M.. O PRODESEA - Processo de desenvolvimento de planos automáticos para operação de satélites. 2011. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Leonardo Matsumoto Rosendo dos Santos

Pellegrino, S.R.M.; Lemes, M.J.R.; Dias, L.A.V.;AMBROSIO, A. M.. Um estudo comparativo entre o teste de mutação e o MC/DC no desenvolvimento de software aeronáutico, utilizando-se o paradigma "Model Based Design". 2009. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Aluno: Caio Monteiro Barbosa da Silva

Yano, E.T.; Cunha, A.M.; Tasinaffo, P.M.;AMBROSIO, A. M.. Um modelo de estimativa de esforços para o desenvolvimento de sistemas computadorizados. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Rodrigo Fraxino de Araujo

DELAMARO, M.; SPOTO, E. S.;AMBROSIO, A. M.. Geração de dados de teste para modelos dinâmicos utilizando a técnica funcional. 2008. Dissertação (Mestrado em Ciência da Computação) - Centro Universitário Euripedes de Marília.

Aluno: Lúcio Felippe de Mello Neto

SIMOES, A. S.; Souza, S.R.S.;AMBROSIO, A. M.. Minimização de conjuntos de casos de teste para máquinas de estados finita. 2008. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Fabrício de Novaes Kucinskis

SILVA, J. D. S.;FERREIRA, M. G. V.CARVALHO, S. V.AMBROSIO, A. M.; MELNIKOFF, S. S. S.. Alocação Dinâmica de recursos Computacionais para Experimentos Científicos com Replanejamento Automatizado a Bordo de Satélites. 2007. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Benedito Massayuki Sakugawa

Forster, C.H.Q.; Yano, E.T.; Cunha, W.C.; Oliveira, J.M.P.;AMBROSIO, A. M.. Uma Abordagem de Safety no Desenvolvimento e Certificação de Software Crítico Embarcado em Aeronave Civil. 2007. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Paulo Claudino Veras

VILLANI, E.; SAOTOME, O.; Dias, L.A.V.;AMBROSIO, A. M.. Modelagem e análise do software embarcado de piloto automático de um VANT.. 2007. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Aluno: Jurandy Martins Soares Júnior

ANIDO, R. O.;AMBROSIO, A. M.MARTINS, E.. Teste de Conformidade em Contexto Guiado por Casos de Teste de Componentes. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Daniel Patrick Pereira

VILLANI, E.; HIRATA, C. M.; NADJM-TEHRANI, S.; Dias, L.A.V.;VIJAYKUMAR, N. L.AMBROSIO, ANA MARIA. AN APPROACH FOR SAFETY AND SECURITY ANALYSIS BASED ON SYSTEMS THEORY AND ONTOLOGY. 2020. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Wagner Schalch Mendes

SANTOS, W. A.;LOUREIRO, G.AMBROSIO, ANA MARIA; AUGUSTO NETO, A.; COSTA, L. E. V. L.. Um método de modelagem descritiva de Sistemas para geração automática de requisitos. 2018. Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais.

Aluno: José Daniel Reis Junior

FERREIRA, M. G. V.SOUSA, F. L.Ana Maria Ambrosio; RAMOS, F. M.; QUILES, M. G.; GARCIA, E. C.; TASINAFFO, P. M.. Simulação do Comportamento Térmico de Satélite em tempo real com uso de redes Neurais Artificiais. 2018. Tese (Doutorado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Maria Adelina Silva Brito

Souza, S.R.S.; WOLF, D. F.; FERRARI, F. C.;Maldonado, J.C.AMBROSIO, A. M.. Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveis. 2017. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Glauco da Silva

PIRK, R.; Lahoz, C.H.N.; Oliveira, J.M.P.; SENA, G. J.;AMBROSIO, A. M.. ONTOELICERE: Aplicação Inteligente de apoio a Análise de perigos em Sistemas Aeroespaciais. 2017. Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Leandro Toss Hoffmann

AMBROSIO, A. M.PERONDI, L. F.SOUSA, F. L.; CARRARA, V.; RAMOS, F. O.;VILLANI, E.. The role of computational steering in space engineering activities assisted by modelling and simulation. 2014. Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Denise Nunes Rotondi Azevedo

SANTOS, W. A.;AMBROSIO, A. M.; VIEIRA, M.;MATTIELLO-FRANCISCO, M. F.MARTINS, E.VILLANI, E.. Benchmarking de Resiliência para Infraestruturas de Simuladores de Satélites baseadas em HLA. 2014. Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Alessandro Gerlinger Romero

AMBROSIO, A. M.FERREIRA, M. G. V.; SCHNEIDER, K.; CARNIELLO, A.; CARNIELLO, A.;VILLANI, E.. HYBRID FUML: A HYBRID SYNCHRONOUS LANGUAGE. 2014. Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Fabrício de Novaes Kucinskis

FERREIRA, M. G. V.AMBROSIO, A. M.; Sant' Anna, N.; Guimarães, L.N.F.; Arakaki, R.G.I.; SANTOS, A. C. F.. Uma arquitetura de software embarcado no Segmento espacial para habilitar a Operação de missões baseada em objetivos. 2012. Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Denis Silva Loubach

DIAS, L. A. V.; Cunha, A.M.; PANETTA, J.;AMBROSIO, A. M.VIJAYKUMAR, N. L.. Hard real-time systems' design concerrning fault tolerance. 2012. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Luciana Akemi Burgareli

MELNIKOFF, S. S. S.; Hirama, K.; Becerra, J. L. R.; Penteado, R. A. D.;AMBROSIO, A. M.. Gerenciamento de variabilidade de Linha de Produtos de Software com utilização de objetos adaptáveis e reflexão.. 2009. Tese (Doutorado em Engenharia de Computação e Sistemas Digitais) - Universidade de São Paulo.

Aluno: Maria de Fátima Mattiello-Francisco

Oliveira, J.M.P.; Yano, E.T.;MARTINS, E.; HIRATA, C. M.; Masieiro, P.C.;AMBROSIO, A. M.. InRob - uma abordagem para teste de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software. 2009. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Lidia Hissae Shibuya Sato

AMBROSIO, ANA MARIA; MATTIELLO-FRANCISCO, F.; MANEA, S.; COSTA, U. E. V. L.. Estudo de metodologias de desenvolvimento de Projetos e abordagens de engenharia de sistemas aplicados a projetos de nanosatélites. 2018. Exame de qualificação (Doutorando em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais.

SILVEIRA, F. F.; RIOS, A. W. S.; ASHIKAGA, F. M.;AMBROSIO, A. M.. Fundamentos de Engenharia de Software e Análise e Projeto e Sistemas. 2008. Faculdade de Tecnologia de São José dos Campos.

NONO, M. C. A.;AMBROSIO, A. M.; ROSSI, J. O.; MANEA, S.. Avaliação candidatos a mestrado e doutorado em Engenharia e Tecnologia Espaciais 2018. 2018. Instituto Nacional de Pesquisas Espaciais.

NONO, M. C. A.;AMBROSIO, A. M.; ROSSI, J. O.; MANEA, S.. Comissão de Avaliação de Candidatos a Mestrado e Doutorado em Engenharia e Tecnologia Espaciais. 2017. Instituto Nacional de Pesquisas Espaciais.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Antonio Montes Filho

MONTES, Antonio; CARVALHO, Solon Venâncio de; MARTINS, Eliane;VIJAYKUMAR, Nandamudi Lankalapalli; SANTANNA, Nilson; FERNANDES, Clóvis Torres; JINO, Mario. COFI: uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais.. 2005. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Rita de Cássia meneses Rodrigues

CARVALHO, S. V.RODRIGUES, R. C. M.. Técnicas de modelagem para análise de desempenho de sistemas de software para aplicações espaciais. 2002. Exame de qualificação (Doutorando em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Solon Venâncio de Carvalho

MONTES FILHO, A.;CARVALHO, S. V.MARTINS, E.VIJAYKUMAR, N. L.; SANTANNA, N.; FERNANDES, C. T.; JINO, M.. COFI: Uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais. 2005. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Nilson Sant'Anna

SANT'ANNA, N.. COFI: Uma abordagem combinando testes de conformidade e injeção de falhaspara validação de software em aplicações espaciais.. 2005. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Maurício Gonçalves Vieira Ferreira

FERREIRA, M. G. V.. Sistemas Estocásticos. 2002. Exame de qualificação (Doutorando em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Nandamudi Lankalapalli Vijaykumar

VIJAYKUMAR, N. L.CARVALHO, S. V.; Rodrigues, R. C. M.;Ferreira, M. G. V.. Técnicas de Modelagem para Avaliação de Desempenho de Sistemas de Software para Aplicações Espaciais. 2002. Exame de qualificação (Doutorando em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Seção coletada automaticamente pelo Escavador

Orientou

Larissa dos Santos Martins Bringhenti

Metodologia baseada em modelos para refinamento de requisitos com análise de falhas em sistemas espaciais críticos; Início: 2019; Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais; (Orientador);

Ítalo Pinto Rodrigues

Engenharia de Sistemas Baseada em Simulação para o Desenvolvimento de um Planejador de Missões; Início: 2018; Tese (Doutorado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Juliana Joria Padilha

"UMA ABORDAGEM DE V&V DE SOFTWARE EMBARCADOS EM NANOSATÉLITES; Início: 2017; Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Coorientador);

Jun Tominaga

Um simulador de satélites artificiais evolutivo com reconfiguração autônoma de seus modelos; Início: 2014; Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais; (Orientador);

Benedito Massaiuki Sakugawa

Início: 2018; Instituto Nacional de Pesquisas Espaciais;

Gledson Hernandes Diniz

SELECTION OF PROCESSES FOR SPACE CRITICAL SOFTWARE IN VERY SMALL ENTITIES - VSE; 2019; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Ana Maria Ambrosio;

Paulo Diego Barbosa da Silva

Sistematização do Teste de Componentes de Simuladores de Satélites; 2017; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Ana Maria Ambrosio;

Antonio Cassiano Julio Filho

Uma Arquitetura para Gerenciamento Dinâmico de Serviços do Protocolo "Space Link Extension"; 2015; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Ana Maria Ambrosio;

Diego Dutra Viot

Demodulador BPSK para Telecomando; 2015; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Ana Maria Ambrosio;

Ítalo Pinto Rodrigues

UM FRAMEWORK PARA VALIDAÇÃO AUTOMÁTICA DE MODELOS APLICADO AO SUBSISTEMA DE ENERGIA DE UM PICOSSATÉLITE; 2015; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Maria Ambrosio;

Andre Corsetti

Aplicação de Metodologia de Teste baseado em Modelos na Verificação e Validação de Mecanismos de FDIR de Sistemas de Controle de Atitude e Órbita; 2014; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Ana Maria Ambrosio;

Christopher Shneider Cerqueira

Emprego de Técnicas de Realidade Virtual em Interação em Simuladores Operacionais de Satélites; 2014; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Maria Ambrosio;

Marcos Flávio de Souza REIS

VVTeste: ambiente de geração e gerenciamento de testes de software com apoio a processos de verificação e validação; 2012; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Ana Maria Ambrosio;

Joaquim Pedro Barreto

Uma arquitetura flexível para o modelo de subsistema de computação de bordo de um simulador de satélites; 2012; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Ana Maria Ambrosio;

Miguel Adrian Carretero

Aplicação dos conceitos do SMP2 para comunicação entre sistemas legados de simulação; 2012; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Maria Ambrosio;

Rodrigo Pastl Pontes

Contribuições do Model Checking e da Metodologia CoFI para o Software Embarcado Espacial; 2011; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, Financiadora de Estudos e Projetos; Coorientador: Ana Maria Ambrosio;

Marcelo Henrique Essado de Morais

Verificação e Validação de sistemas espaciais: refinamento de requisitos baseado em modelos de estados; 2011; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais, Agência Espacial Brasileira; Orientador: Ana Maria Ambrosio;

José Daniel Reis Junior

Simulação do Comportamento Térmico de Satélites em Tempo Real com uso de Redes neurais Artificiais; 2019; Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Ana Maria Ambrosio;

Christopher Schneider Cerqueira

TANGIBLE COLLABORATION APPLIED INTO SPACE SYSTEMS CONCURRENT ENGINEERING CONCEPT STUDIES; 2018; Tese (Doutorado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Maria Ambrosio;

Benedito Massayuki Sakugawa

Metrics for Oversight of Software Supplier of Safety-Critical Aerospace Systems; 2017; Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais, Agência Nacional de Aviação Civil; Orientador: Ana Maria Ambrosio;

Denise Nunes Rotondi Azevedo

Benchmarking de Resiliência para Infraestruturas de Simuladores de Satélites baseadas em HLA; 2014; Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Ana Maria Ambrosio;

Paulo Claudino Veras

Benchmarking Software Requirements Documentation for Space Applications; 2011; Tese (Doutorado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Ana Maria Ambrosio;

Rodrigo Bassinello Ramazotti

Utilização de ferramentas para modelagem e verificação de simuladores de satélites; 2014; Orientação de outra natureza - Instituto Nacional de Pesquisas Espaciais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Maria Ambrosio;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Eliane Martins

CoFI - uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais; 2005; 180 f; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Eliane Martins;

Nandamudi Lankalapalli Vijaykumar

Uma abordagem combinando teste de conformidade e injeção de falhas para validação de Software em Aplicações Espaciais; 2005; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Coorientador: Nandamudi Lankalapalli Vijaykumar;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • VILLANI, EMÍLIA ; PONTES, RODRIGO PASTL ; CORACINI, GUILHERME KISSELOFL ; Ambrósio, Ana Maria . Integrating model checking and model based testing for industrial software development. COMPUTERS IN INDUSTRY , v. 104, p. 88-102, 2019.

  • CERQUEIRA, CHRISTOPHER SHNEIDER ; AMBROSIO, ANA MARIA ; KIRNER, CLAUDIO . Tangible user interface vocabulary to physically enhance space systems engineering tools. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS , v. 27, p. 305-313, 2019.

  • DINIZ, G. H. ; AMBROSIO, A. M. ; LAHOZ, C. H. N. . Critical Software Processes Tailoring and Very Small Entities (VSE): A Literature Review. INTERNATIONAL JOURNAL OF ADVANCED ENGINEERING RESEARCH AND SCIENCE , v. 6, p. 276-285, 2019.

  • GREGHI, JULIANA GALVANI ; MARTINS, ELIANE ; CARVALHO, ARIADNE M. B. R. ; AMBROSIO, ANA MARIA ; VILLANI, EMÍLIA . From Natural Language Standard Documents to State Machines: Advantages and Drawbacks. Journal of Aerospace Information Systems , v. 15, p. 271-281, 2018.

  • SILVA, PAULO DIEGO BARBOSA DA ; AMBROSIO, ANA MARIA ; Villani, Emilia . Model-Based Testing Applied to Software Components of Satellite Simulators. Modelling and Simulation in Engineering , v. 2018, p. 1-14, 2018.

  • CERQUEIRA, C. S. ; RODRIGUES, I. P. ; MOREIRA, C. J. A. ; CARRARA, V. ; AMBROSIO, A. M. ; KIRNER, C. . Utilização de Realidade Virtual, Aumentada e Cruzada em Simuladores de Satélites no INPE. Tendências e Técnicas em Realidade Virtual e Aumentada , v. 5, p. 139-159, 2015.

  • CERQUEIRA, C. S. ; RODRIGUES, I. P. ; MOREIRA, C. J. A. ; CARRARA, V. ; AMBROSIO, A. M. ; KIRNER, C. . Utilização de Realidade Virtual, Aumentada e Cruzada em Simuladores de Satélite no INPE. Tendências e Técnicas em Realidade Virtual e Aumentada , v. 5, p. 139-159, 2015.

  • CERQUEIRA, C. S. ; KIRNER, C. ; AMBROSIO, A. M. . Construção de Interfaces on-demand baseadas em Realidade Aumentada Projetiva para Controle de Hardware. Tendências e Técnicas em Realidade Virtual e Aumentada , v. 5, p. 240-260, 2015.

  • PINHEIRO, A. C. ; SIMAO, A. S. ; AMBROSIO, A. M. . FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study. Journal of Aerospace Technology and Management (Impresso) , v. 6, p. 447-461, 2014.

  • VÉRAS, PAULO C. ; VILLANI, Emilia ; AMBROSIO, A. M. ; VIEIRA, MARCO ; MADEIRA, HENRIQUE . A Benchmarking Process to Assess Software Requirements Documentation for Space Applications. The Journal of Systems and Software , v. 1, p. 1-14, 2014.

  • AMBROSIO, A. M. ; CERQUEIRA, C. S. . Development of an Interface to a Spacecraft Simulator empowered by Virtual Reality. SBC Journal on 3D Interactive Systems , v. 3, p. 37-44-44, 2012.

  • PONTES, Rodrigo Pastl ; VÉRAS, Paulo Claudino ; AMBROSIO, A. M. ; VILLANI, Emilia . Contributions of model checking and CoFI methodology to the development of space embedded software. Empirical Software Engineering , v. 19, p. 39-68, 2012.

  • PONTES, RODRIGO P. ; ESSADO, MARCELO ; VÉRAS, PAULO C. ; AMBROSIO, A. M. ; VILLANI, Emilia . A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing. IFAC-PAPERSONLINE , v. 42, p. 66-71, 2009.

  • AMBROSIO, A. M. ; MATTIELLO-FRANCISCO, F. ; Santiago, V. ; Silva, W.P. ; MARTINS, E. . Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. Lecture Notes in Computer Science , v. 4746, p. 170-178, 2007.

  • AMBROSIO, A. M. ; MARTINS, E. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. . A Conformance Testing Process for Space Applications Software Services. Journal of Aerospace Information Systems , USA, v. 3, n.4, p. 146-158, 2006.

  • MARTINS, E. ; SABIÃO, S. B. ; AMBROSIO, A. M. . ConData: a Tool for Automating Specification-based Test Case Generation for Communication Systems. SOFTWARE QUALITY JOURNAL , The Netherlands, v. 8, n.4, p. 303-319, 1999.

  • AMBROSIO, A. M. ; GONÇALVEZ, L. S. C. ; CARDOSO, P. E. . An Experience in Testing an Object-oriented Satellite Control System. Software Quality Journal, The Netherlands, v. 8, n.4, p. 271-283, 1999.

  • AMBROSIO, A. M. ; KUGA, H. K. . GAN: an automated system for acquisition and tracking of stellites by ground stations. REVISTA BRASILEIRA DE CIÊNCIAS MECÂNICAS , Brasil, v. 1, p. 248-253, 1994.

Seção coletada automaticamente pelo Escavador

Outras produções

AMBROSIO, A. M. . Parecer de assessoria à FAPESP quanto a proposta de Projeto do Programa PIPE - chamada 2017. 2018.

AMBROSIO, A. M. . Parecer de assessoria à FAPESP - projeto do Programa PIPE - setembro. 2018.

AMBROSIO, A. M. . Parecer de assessoria técnica à FAPESP quanto a projeto de pesquisa em Ciência da Computação. 2018.

AMBROSIO, A. M. ; MARTINEZ, P. ; EICKHOFF, J. . Parecer de assessoria como examinador externo à University of Cape Town -UTC. 2018.

CERQUEIRA, C. S. ; AMBROSIO, A. M. . Gestor de Interação Física com Modelos Sistêmicos usando Realidade Cruzada. 2018.

REIS JUNIOR, J. D. ; AMBROSIO, A. M. ; SOUSA, F. L. . Simulador Térmico de Satélites em Tempo Real Baseado em Redes Neurais Artificiais. 2018.

CERQUEIRA, C. S. ; AMBROSIO, A. M. ; SILVA, P. D. B. . Biblioteca de Transformação e Avaliação de Casos de Teste. 2016.

RODRIGUES, I. P. ; CERQUEIRA, C. S. ; AMBROSIO, A. M. . FVT ? Framework para Injeção automática de casos de testes em Simulações Físicas e Virtuais de Satélites. 2015.

MARTINS, E. ; AMBROSIO, A. M. ; FRANCISCO, M. F. M. . ATIFS - Ambiente de Teste com Injeção de Falhas por Software. 2001.

AMBROSIO, A. M. . Software para Controle da Antena de Rrastreio de Satélite. 1992.

AMBROSIO, A. M. ; VELASCO, F. R. D. . Interpretador para especificações JSD. 1988.

AMBROSIO, A. M. . Revisora de 3 trabalhos para o Latin American Symposium on Dependable Computing (LADC). 2019.

RODRIGUES, I. P. ; AMBROSIO, A. M. . CBERS-4 EPSS Model Test Procedure. RTD-TSP-1048(F4) / 00. 2017.

RODRIGUES, I. P. ; AMBROSIO, A. M. . CBERS-4 EPSS Model Test Data Report. RTD-TDR-1134(F4) / 00. 2017.

RODRIGUES, I. P. ; AMBROSIO, ANA MARIA . CBERS-4 TCSS-RBBA Model Test Data Report. RTD-TDR-1143(F4)/00. 2017.

AMBROSIO, ANA MARIA ; RODRIGUES, I. P. . CBERS-4 TCSS RBBA Model Test Procedure. RTD-TSP-1057(F4)/00. 2017.

RODRIGUES, I. P. ; AMBROSIO, ANA MARIA . CBERS-4 TCSS-RBBA Model Technical Specification - As-Built. RTD-SRS-1007-As-Built /00. 2017.

AMBROSIO, ANA MARIA ; RODRIGUES, I. P. . CBERS-4 TTCS Model Test Data Report. RTD- TDR-1144(F4) / 00.. 2017.

RODRIGUES, I. P. ; AMBROSIO, ANA MARIA . CBERS-4 TTCS Model Test Procedure. RTD-TSP-1058(F4) / 00. 2017.

RODRIGUES, I. P. ; AMBROSIO, ANA MARIA . CBERS-4 TTCS Model Technical Specification - As-Built. RTD-SRS-1010-As-Buit / 00.. 2017.

AMBROSIO, ANA MARIA ; RODRIGUES, I. P. . CBERS-4 SYSC Model Test Procedure. RTD-TSP-1056(F4) / 00.. 2017.

AMBROSIO, ANA MARIA ; RODRIGUES, I. P. . CBERS-4 SYSC Model Test Data Report. RTD-TDR-1142 (F4) / 00. 2017.

RODRIGUES, I. P. ; AMBROSIO, ANA MARIA . CBERS-4 SYSC Model Technical Specification As-Built. RTD-SRS-1012-As-Built / 00. 2017.

AMBROSIO, ANA MARIA ; RAMAZZOTTI, R. B. . CBERS-4 SYSC Model Technical Specification. RTD-SRS-1012 / 00. 2017.

AMBROSIO, ANA MARIA ; RODRIGUES, I. P. . CBERS-4 PAN Model Test Data Report. RTD- TDR-1139 (F4) / 00. 2017.

AMBROSIO, ANA MARIA ; RODRIGUES, I. P. . CBERS-4 PAN Model Test Procedure. RTD-TSP-1053(F4) / 00. 2017.

AMBROSIO, ANA MARIA ; RODRIGUES, I. P. . CBERS-4 IRS Model Test Data Report. RTD-TDR-1135(F4) / 00. 2017.

AMBROSIO, ANA MARIA ; RODRIGUES, I. P. . CBERS-4 IRS Model Test Procedure. RTD-TSP-1049(F4) / 00. 2017.

RODRIGUES, I. P. ; AMBROSIO, ANA MARIA . CBERS-4 IRS Model Technical Specification - As-Built. RTD-SRS-1014-As-Built / 00. 2017.

RODRIGUES, I. P. ; AMBROSIO, A. M. . CBERS-4 PAN Model Technical Specification- As Built RTD-SRS-1013-As-Built / 00. 2017.

AMBROSIO, A. M. ; RODRIGUES, I. P. . CBERS-4 PAN Model Test Procedure RTD-TSP-1053(F4)/ 00. 2017.

RODRIGUES, I. P. ; AMBROSIO, A. M. . CBERS-4 PIT Technical Specification RTD-SRS-1015 - As-Built / 00. 2017.

RODRIGUES, I. P. ; AMBROSIO, A. M. . CBERS-4 PIT Model Test Procedure RTD-TSP-1054(F4) / 00. 2017.

AMBROSIO, A. M. ; RODRIGUES, I. P. . CBERS-4 PIT Model Test Data Report RTD- TDR-1140 (F4) / 00. 2017.

AMBROSIO, ANA MARIA . CBERS3&4 SATELLITE SIMULATOR SYSTEM REQUIREMENTS SPECIFICATION - RT-SRS- 1021/01. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBERS-4 AOCS MODEL TEST PROCEDURE. RTD-TSP-1046(F4) / 00. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBERS-4 AOCS MODEL TEST DATA REPORT. RTD-TDR-1132 (F4) / 00. 2017.

COSTA, M. F. M. ; AMBROSIO, A. M. . CBERS-4 DDR MODEL TECHNICAL SPECIFICATION. AS-BUILT. RTD-SRS-1019-As-Built / 01. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBER-4 DDR MODEL TEST PROCEDURE. RTD-TSP-1047(F4) / 00. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBERS-4 DDR MODEL TEST DATA REPORT. RTD- TDR-1133(F4) / 00. 2017.

COSTA, M. F. M. ; AMBROSIO, A. M. . CBERS 3&4 MUX MODEL TECHNICAL SPECIFICATION - AS-BUILT. RTD-SRS-1018-As-Built / 00. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBER-4 MUX MODEL TEST PROCEDURE. RTD-TSP-1050(F4) / 00. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBERS-4 MUX MODEL TEST DATA REPORT. RTD-TDR-1136(F4) / 00. 2017.

COSTA, M. F. M. ; AMBROSIO, A. M. . CBERS 3&4 MWT MODEL TECHNICAL SPECIFICATION-AS-BUILT. RTD-SRS-1016-As-Built/00. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBER-4 MWT MODEL TEST PROCEDURE. RTD-TSP-1052(F4) / 00. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBERS-4 MWT MODEL TEST DATA REPORT. RTD- TDR-1138(F4) / 00. 2017.

COSTA, M. F. M. ; AMBROSIO, A. M. . CBERS-4 OBDH MODEL TECHNICAL SPECIFICATION - AS-BUILT. RTD-SRS-1011-As-Built / 00. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBER-4 OBDH MODEL TEST PROCEDURE. RTD-TSP-1051(F4) / 00. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBERS-4 OBDH MODEL TEST DATA REPORT. RTD-TDR-1137(F4) / 00. 2017.

COSTA, M. F. M. ; AMBROSIO, A. M. . CBERS-4 WFI MODEL TECHNICAL SPECIFICATION - AS-BUILT. RTD-SRS-1020-As-Built / 00. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBER-4 WFI MODEL TEST PROCEDURE. RTD-TSP-1059(F4) / 00. 2017.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBERS-4 WFI MODEL TEST DATA REPORT. RTD-TDR-1145 (F4) / 00. 2017.

RODRIGUES, I. P. ; AMBROSIO, A. M. . CBERS 3&4 EPSS Model Technical Specification. RTD-SRS-1009 / 00. 2016.

RODRIGUES, I. P. ; AMBROSIO, ANA MARIA . CBERS 3&4 EPSS Model Technical Specification - As Built. RTD-SRS-1009-As-Built / 00. 2016.

AMBROSIO, ANA MARIA . CBERS-4 Satellite Simulator: Satellite Model Requirement Specification - RTD-SRS-1025/00. 2016.

AMBROSIO, ANA MARIA . CBERS 3&4 Satellite Simulator: Space Environment Model Requirement Specification for - RTD-SRS- 1026/00. 2016.

AMBROSIO, ANA MARIA . CBERS 3&4 Satellite Simulator: Ground Station Model Requirement Specification - RTD-SRS-1024/00. 2016.

AMBROSIO, ANA MARIA . CBERS 3&4 Satellite Simulator External Interfaces - RTD-IFS-1000/00. 2016.

COSTA, M. F. M. ; AMBROSIO, A. M. . CBERS 3&4 AOCS MODEL TECHNICAL SPECIFICATION - AS-BUILT. RTD-SRS-1008-As-Built / 01. 2016.

AMBROSIO, A. M. ; COSTA, M. F. M. ; BRANCO, M. S. A. . CBERS-4 DCS MODEL TECHNICAL SPECIFICATION - AS-BUILT. RTD-SRS-1006(F4)-As-Built/00. 2016.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBERS-4 DCS MODEL TEST PROCEDURE. RTD-TSP-1042(F4) / 00. 2016.

AMBROSIO, A. M. ; COSTA, M. F. M. . CBERS-4 DCS MODEL TEST DATA REPORT. RTD- TDR-1131 (F4) / 00. 2016.

AMBROSIO, A. M. . Especificação Geral de requisites do Simulador SIMC3 para os satélites CBERS 3&4. RT-SRS-1021/00.. 2014.

AMBROSIO, A. M. ; RAMAZOTTI, R. B. . CBERS 3&4 TCSS-RBBA Model Technical Specification. RT-SRS-1007/00.. 2014.

AMBROSIO, A. M. ; RAMAZOTTI, R. B. . CBERS 3&4 PAN Model Technical Specification. RT-SRS-1013/00.. 2014.

AMBROSIO, A. M. ; RAMAZOTTI, R. B. . CBERS 3&4 IRS Model Technical Specification. RT-SRS-1014/00.. 2014.

AMBROSIO, A. M. ; RAMAZOTTI, R. B. . CBERS 3&4 PIT Model Technical Specification. RT-SRS-1015/00.. 2014.

AMBROSIO, A. M. ; RAMAZOTTI, R. B. . CBERS 3&4 AOCS Model Technical Specification. RT-SRS-1007/00.. 2014.

AMBROSIO, ANA MARIA ; RAMAZZOTTI, R. B. . CBERS3&4 PAN Model Technical Specification - RTD-SRS-1013/ 00. 2014.

AMBROSIO, A. M. ; TOMINAGA, J. ; RAMAZZOTTI, R. B. . CBERS 3&4 MUX Model Technical Specification. RTD-SRS-1018/00. 2014.

AMBROSIO, A. M. ; TOMINAGA, J. ; RAMAZOTTI, R. B. . CBERS 3&4 OBDH Model Technical Specification - RTD-SRS-1011 / 00. 2014.

AMBROSIO, A. M. ; RAMAZOTTI, R. B. . CBERS 3&4 SEM Model Technical Specification ? RTD-SRS-1017/00. 2014.

AMBROSIO, A. M. ; RAMAZOTTI, R. B. ; TOMINAGA, J. . CBERS 3&4 MWT Model Technical Specification. RTD-SRS-1016/00. 2013.

TORRES, L. C. G. ; AMBROSIO, A. M. ; Léo, S.C. . Especificação do Modelo EPSS para o Simulador dos Satélites CBERS 3&4 ? RTD-SRS-1023/00. 2013.

AMBROSIO, A. M. ; RAMAZOTTI, R. B. . CBERS 3&4 SYSC Model Technical Specification ? RTD-SRS-1012/00. 2013.

TOMINAGA, J. ; AMBROSIO, A. M. . CBERS 3&4 DDR Model Technical Specification - As-built. RTD-SRS-1019/00. 2012.

TOMINAGA, J. ; AMBROSIO, A. M. . CBERS 3&4 TTCS Model Technical Specification ? RTD-SRS-1010/00. 2012.

TOMINAGA, J. ; AMBROSIO, A. M. . CBERS 3&4 Simulator Model Technical Specification Guidelines ? RTD-SRS-1022/00. 2012.

TOMINAGA, J. ; AMBROSIO, A. M. . CBERS3&4 DCS Model Technical Specification - RTD-SRS-1006/00. 2011.

TOMINAGA, J. ; AMBROSIO, A. M. . CBERS3&4 WFI Model Technical Specification - RTD-SRS-1020/00. 2011.

AMBROSIO, A. M. ; Morais, M.H.E. . Manual de Usuário da Plataforma PLAVIS. 2010.

AMBROSIO, A. M. ; Léo, S.C. ; Hoffmann, L.T. ; Barreto, J. P. . RELATÓRIO TÉCNICO DO SIMULADOR CBERS3 ? VERSÃO TREINAMENTO DE OPERADORES - PROTÓTIPO 2. CBERS: RTD-TRP-1080/00.. 2009.

AMBROSIO, A. M. ; Léo, S.C. ; Castro, M. . Especificação e Resultados dos testes do Simulador dos Satélites CBERS3&4 aplicados no Protótipo-2. CBERS: RTD-TES-1001/00.. 2009.

Morais, M.H.E. ; Schmidt, F ; MENDONCA, D. R. ; AMBROSIO, A. M. ; Souza, M.L.O. . Manual de Instalação da Plataforma PLAVIS. INPE-16589-MAN/52. 2009.

AMBROSIO, A. M. ; Léo, S.C. ; Castro, M. ; Nunes, M. . RELATÓRIO TÉCNICO DO SIMULADOR CBERS3 ? VERSÃO TREINAMENTO DE OPERADORES - PROTÓTIPO 1. 2008.

AMBROSIO, A. M. ; Léo, S.C. . ESPECIFICAÇÃO DE USO DO PROTOCOLO CORTEX PELO SIMULADOR CBERS 3&4. CBERS: RTD-SRS-1005/00.. 2008.

RODRIGUES, I. P. ; AMBROSIO, A. M. . Curso de Inverno de Introdução às tecnologias Espaciais - 2019. 2019. .

AMBROSIO, ANA MARIA ; RODRIGUES, I. P. . Simuladores de satélites: estudo e prática com o subsistema de energia de um nanossatélites. 2019. (Curso de curta duração ministrado/Especialização).

AMBROSIO, A. M. ; CERQUEIRA, C. S. ; RODRIGUES, I. P. . Curso de Inverno 2015 - Introdução às Tecnologias Espaciais: Simuladores de Satélites. 2015. (Curso de curta duração ministrado/Outra).

CERQUEIRA, C. S. ; KIRNER, C. ; AMBROSIO, A. M. . Construção de interfaces on-demand baseadas em Realidade Aumentada Projetiva para controle de hardware. 2015. (Curso de curta duração ministrado/Outra).

AMBROSIO, A. M. ; SILVA, P. D. B. ; BRANDOLIN, J. B. ; OLIVERIRA, E. H. ; PADILHA, J. J. ; CEREJA JR., M. G. . Estudo de casos em modelagem e geração automática de testes desenvolvidos na disciplina de verificação e validação de sistemas espaciais. 2014. (Relatório de pesquisa).

PINHEIRO, A. C. ; AMBROSIO, A. M. . Modelagem do módulo de comunicação do satélite ITASAT - segundo a metodologia COFI.. 2013. (Relatório de pesquisa).

AMBROSIO, A. M. ; Barreto, J. P. . Um estudo sobre arquiteturas de simuladores de satélite. 2012. (Relatório de pesquisa).

AMBROSIO, A. M. . Curso de Inverno da ETE - Assunto ministrado: Simuladores de satélite. 2011. (Curso de curta duração ministrado/Outra).

AMBROSIO, A. M. . Curso de Inverno da ETE - Assunto ministrado: Simuladores de Satélite. 2010. (Curso de curta duração ministrado/Outra).

Morais, M.H.E. ; AMBROSIO, A. M. . Metodologia CoFI (Conformance and Fault Injection) aplicada a um exemplo didático. INPE-16635-RPQ/840. 2009. (Relatório de pesquisa).

AMBROSIO, A. M. ; FRANCISCO, M. F. M. ; Luciana Seda Cardoso ; SANTIAGO JUNIOR, V. A. ; Ronaldo Arias ; VIJAYKUMAR, N. L. ; Geilson Loureiro . Experiências em Projetos e Uso de Técnicas de Verificação e Validação de Software em Aplicações Espaciais no INPE. 2008. (Relatório de pesquisa).

Raul Ceretta Nunes ; AMBROSIO, A. M. . IX WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF). 2008. (Workshop).

CALSAVARA, A. ; AMBROSIO, A. M. . VIII Workshop de Teste e Tolerância a Falhas (WTF). 2007. (Workshop).

Patrícia D. L. Machado ; SILVA, J. D. S. ; AMBROSIO, A. M. . First Brazilian Workshop on Systematic and Automated Software Testing. 2007. (Workshop).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2011 - 2012

    CoFi-Fiat - Avaliação da metodologia COFI para teste de sistemas embarcados automotivos, Descrição: Avaliação da metodologia de teste (COFi) para software críticos no contexto de integração dos sistemas computacionais autobobilísticos realizada na fábrica de automóvies Fiat do Brasil.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Maria Ambrosio - Coordenador / Maria de Fátima Matiello Francisco - Integrante / Eliane Martins - Integrante / Emília Villani - Integrante / Paulo Caudino Véras - Integrante., Financiador(es): Fiat Automoveis - Matriz - Auxílio financeiro.

  • 2010 - Atual

    Pesquisa em Simulação de Satélites, Descrição: Simuladores de satélites, são são ferramentas imprescindíveis no desenvolvimento de satélites artificiais para validar procedimentos operacionais, treinar operadores e para apoiar a análise de falhas operacionais assim permitindo o prolongamento da vida útil do satélite. No projeto técnico de desenvolvimento do Simulador Operacional do satélite CBERS-3, foram identificadas várias oportunidades de pesquisa. Uma vez que para tais sistemas complexos, as soluções são de propriedade privada e muitas não publicadas ou não resolvidas. Neste sentido, este projeto visa explorar, tais oportunidades em pesquisas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Especialização: (3) / Mestrado acadêmico: (3) Doutorado: (4) . , Integrantes: Ana Maria Ambrosio - Coordenador / Emília Villani - Integrante / Joaquim Pedro Barreto - Integrante / Denise Nunes Rotondi Azevedo - Integrante / Jun Tominaga - Integrante / Christopher Shneider Cerqueira - Integrante / Claudio Kirner - Integrante / Fabiano Luis de Sousa - Integrante / Rodrigo Bassinello Ramazotti - Integrante / Paulo Diogo Barbosa Silva - Integrante / Ítalo Pinto Rodrigues - Integrante / José Daniel Reis Junior - Integrante / Manoel Fellipe Maciel Costa - Integrante / Italo Pinto Rodrigues - Integrante., Número de orientações: 4

  • 2009 - 2014

    RobustWeb, Descrição: Na computação orientada a serviços (SOC), ao invés de objetos ou componentes, a entidade básica de desenvolvimento é o serviço. O uso de SOC acarreta mudanças na forma como as aplicações são construídas a partir de serviços existentes, os quais são organizados em uma arquitetura orientada a serviços ou SOA. SOA tem sido usado em serviços disponibilizados via WEB. Estes serviços permitem a interoperabilidade de aplicações graças a uma série de padrões com base em XML. As aplicações orientadas a serviços têm como característica serem altamente distribuídas e dinâmicas. Pouca ou quase nenhuma informação sobre a qualidade dos serviços é, entretanto, disponibilizada. Portanto, as chances de mau funcionamento são inúmeras. Este projeto se propõe a elaborar diretrizes e indicar técnicas que permitam não somente a criação de aplicações SOA baseadas em WS que sejam robustas, mas também criar e avaliar métodos e ferramentas que possibilitem validar os serviços de forma isolada e sob aspectos de interoperabilidade, visando determinar se a aplicação final possui as qualidades desejadas. O objetivo é ter um conjunto de boas práticas para o desenvolvimento e validação de serviços e aplicações, usando os padrões ora existentes, de forma a que as propostas possam ser amplamente utilizadas.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Maria Ambrosio - Integrante / Maria de Fátima Matiello Francisco - Integrante / Eliane Martins - Coordenador / Taisy S. Weber - Integrante / Regina Moraes - Integrante / Jean Arlat - Integrante / Magnos Martinello - Integrante / Ana Rosa Cavalli - Integrante / Cecília M. F. Rubira - Integrante.

  • 2007 - 2010

    REVVIS - Reunião de Especialistas em Verificação e Validação de Software, Descrição: O objetivo do projeto REVVIS é reunir um número abrangente de especialistas ibero-americanos envolvidos em projetos de Investigação, Desenvolvimento e Inovação dedicados a Verificação e Validação de Software (V&V de SW) visando o intercâmbio de conhecimentos entre grupos de pesquisa nesta área, a divulgação de melhores práticas e resultados de projetos, a transferência de tecnologia e a melhoria da qualidade de projetos de Software através da generalização de V&V de SW. A principal atividade é a troca de informação sobre pesquisa em V&V de SW já realizados ou em curso, bem como trabalhos e publicações acadêmicas. Baseada nos resultados globais reunidos será dado especial atenção à identificação de novos temas na área, configuração de projetos consorciados dedicados a V&V e elaboração de um plano estratégico e de visão sobre o futuro de V&V. O projeto foi coordenado por Henrique Madeira da Universidade de Coimbra e atualmente é coordenado por Maximiliano Cristiá da Un de Rosário - Argentina. Fazem parte 22 parceiros entre Universidades, empresas e Centros de Pesquisa ibero-americanos.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Ana Maria Ambrosio - Coordenador.

  • 2005 - 2008

    QSEE - Qualidade de Software Embarcado em Aplicações Espaciais, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Ana Maria Ambrosio - Integrante / Maria de Fátima Matiello Francisco - Coordenador / Eliane Martins - Integrante / Valdivino Alexandre de Santiago Júnior - Integrante / Ricardo Costa - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2003 - 2005

    PLAVIS - Plataforma para Validação e Integração de Software em Sistemas Espaciais, Descrição: O objetivo global do projeto PLAVIS é o estudo e o desenvolvimento de métodos, técnicas e ferramentas nas áreas de Testes de Protocolos: geração, seleção, execução e análise automatizada de testes bem como modelagem e análise de desempenho. Além disso, será também enfocada a qualidade dos testes, tanto do ponto de vista da cobertura (seja do código, seja da especificação), quanto do ponto de vista da eficácia para encontrar falhas. Ao final, ter-se-á uma plataforma aberta, servindo para ensino e pesquisa e também para o uso pelos desenvolvedores de sistemas no Instituto Nacional de Pesquisas Espaciais (INPE). Em longo prazo, planeja-se que outras empresas e instituições acadêmicas utilizem a plataforma. A meta deste projeto é disponibilizar o conjunto dos protótipos dessas ferramentas em uma mesma plataforma de Verificação, Validação e Testes (VV&T) no INPE para ser utilizada por futuros projetos de software de aplicações espaciais desenvolvidos pelo instituto ou mesmo terceirizados pela indústria aeroespacial.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Maria Ambrosio - Integrante / Maria de Fátima Matiello Francisco - Integrante / Eliane Martins - Integrante / Adenilso S. Simões - Integrante / Sandra C.P. Fabri - Integrante / José Carlos Maldonado - Coordenador / Ricardo de Oliveira Anido - Integrante / Márcio Delamaro - Integrante / Edmundo Sérgio SPOTO - Integrante / Simone do Rocio Senger de Souza - Integrante., Financiador(es): Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 1989 - 2006

    ATIFS - Ambiente de Teste Baseado em Injeção de Falhas por Software, Descrição: Projeto desenvolvido em cooperação entre o Instituto de Computação da Unicamp e a Engenharia e Tecnologia Espaciais do INPE. O objetivo deste projeto é a exploração de técnicas e métodos de teste de software em aplicações espaciais. Esta exploração é apoiada no desenvolvimento de ferramentas de testes que usa a técnica de injeção de falhas por software e conceitos de teste de conformidade de protocolos de comunicação. As áreas cobertas pelo projeto são: ? geração automática de casos de teste a partir de especificação formal, seja em máquina de estados finita, seja em statecharts, ? suporte à execução dos testes através de uma arquitetura em software que permita configuração da mesma para diferentes implementações em teste, ? facilidade de injeção de falhas de forma controlada para validação de sistemas tolerantes a falhas, ? armazenamento, tratamento e análise dos dados coletados durante os testes, ? manutenção de histórico de testes, ? medidas de eficiência de mecanismos de tolerância a falhas, como por exemplo, o fator de cobertura (probabilidade do sistema continuar corretamente na presença de uma falha), cujo valor é importante na avaliação da confiabilidade do software em teste.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Especialização: (2) / Mestrado acadêmico: (10) / Mestrado profissional: (2) / Doutorado: (2) . , Integrantes: Ana Maria Ambrosio - Integrante / Maria de Fátima Matiello Francisco - Integrante / Eliane Martins - Coordenador., Financiador(es): Instituto Nacional de Pesquisas Espaciais - Cooperação.

Seção coletada automaticamente pelo Escavador

Projetos de desenvolvimento

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2010 - Atual

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2010 - Atual

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2010 - Atual

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - Atual

    Configuração e Validação do Simulador de Satélites CBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - Atual

    Configuração e Validação do Simulador de Satélites CBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - Atual

    Configuração e Validação do Simulador de Satélites CBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - Atual

    Configuração e Validação do Simulador de Satélites CBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - Atual

    Configuração e Validação do Simulador de Satélites CBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - Atual

    Configuração e Validação do Simulador de Satélites CBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Ítalo Pinto Rodrigues - Integrante / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - 2017

    Configuração, Implementação dos subsistemas do Satélite CBERS-4 e Validação do Simulador de Satélites SIMCBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Ana Maria Ambrosio - Coordenador / Ítalo Pinto Rodrigues - Integrante / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - 2017

    Configuração, Implementação dos subsistemas do Satélite CBERS-4 e Validação do Simulador de Satélites SIMCBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Ana Maria Ambrosio - Coordenador / Ítalo Pinto Rodrigues - Integrante / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - 2017

    Configuração, Implementação dos subsistemas do Satélite CBERS-4 e Validação do Simulador de Satélites SIMCBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Ana Maria Ambrosio - Coordenador / Ítalo Pinto Rodrigues - Integrante / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento.

  • 2015 - 2017

    Configuração, Implementação dos subsistemas do Satélite CBERS-4 e Validação do Simulador de Satélites SIMCBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Ana Maria Ambrosio - Coordenador / Ítalo Pinto Rodrigues - Integrante / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - 2017

    Configuração, Implementação dos subsistemas do Satélite CBERS-4 e Validação do Simulador de Satélites SIMCBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Ana Maria Ambrosio - Coordenador / Ítalo Pinto Rodrigues - Integrante / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - 2017

    Configuração, Implementação dos subsistemas do Satélite CBERS-4 e Validação do Simulador de Satélites SIMCBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Ana Maria Ambrosio - Coordenador / Ítalo Pinto Rodrigues - Integrante / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - 2017

    Configuração, Implementação dos subsistemas do Satélite CBERS-4 e Validação do Simulador de Satélites SIMCBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Ana Maria Ambrosio - Coordenador / Ítalo Pinto Rodrigues - Integrante / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - 2017

    Configuração, Implementação dos subsistemas do Satélite CBERS-4 e Validação do Simulador de Satélites SIMCBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Ana Maria Ambrosio - Coordenador / Ítalo Pinto Rodrigues - Integrante / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

  • 2015 - 2017

    Configuração, Implementação dos subsistemas do Satélite CBERS-4 e Validação do Simulador de Satélites SIMCBERS, Descrição: Este projeto visa configurar o software Simulador dos Satélites CBERS com os modelos lógicos do satélite CBERS-4.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Ana Maria Ambrosio - Coordenador / Ítalo Pinto Rodrigues - Integrante / Marcio Silva Alves Branco - Integrante / Manoel Fellipe Maciel Costa - Integrante.

  • 2010 - 2014

    Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

  • 2010 - 2014

    Modelo elétrico-operacional para um Simulador de satélites, Descrição: Este projeto consta da definição de um esquema para representar o comportamento elétrico e o funcionamento operacional dos equipamentos que compõem um satélite artificial. O esquema traduz o comportamento dos subsistemas e equipamentos de forma simples para compor a especificação de um simulador a ser desenvolvido por terceiros.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Maria Ambrosio - Coordenador / Jun Tominaga - Integrante / Rodrigo Bassinello Ramazotti - Integrante.

  • 2006 - 2010

    Desenvolvimento de um Simulador do Satélite CBERS_3, Descrição: Este projeto consiste do desenvolvimento de um simulador operacional que represente o comportamento dos satélites CBERS 3&4, levando-se em conta estações terrenas e ambiente espacial. Na continuidade deste trabalho deu origem a dois outros projetos: desenvolvimento do software Simulador para o satélite CBERS-4, sob responsabilidade de Denises Rotondi e Modelagem do comportamento do satélite sob responsabilidade de Ana Ambrosio em cooperação com Jun Tominaga.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Maria Ambrosio - Coordenador / Simone Cinha Léo - Integrante / Marcia Nunes - Integrante / Leandro Toss Hoffmann - Integrante / Joaquim Pedro Barreto - Integrante / Jun Tominaga - Integrante.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Instituto Nacional de Pesquisas Espaciais, Engenharia e Tecnologia Espacial. , Av dos Astronautas, 1758, Jardim da Granja, 12227010 - São José dos Campos, SP - Brasil, Telefone: (12) 32087103, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2019 - Atual

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: Colaborador voluntário, Enquadramento Funcional: Pesquisador colaborador, Carga horária: 40

  • 2017 - 2019

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: Colaborador, Enquadramento Funcional: Professor titular, Carga horária: 60

    Outras informações:
    Pesquisador do Curso de Pós-graduação em Engenharia e Tecnologia Espaciais

  • 2016 - 2017

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: Servidor Público, Enquadramento Funcional: Direção e Administração, Carga horária: 80, Regime: Dedicação exclusiva.

    Outras informações:
    Coordenadora do Curso de Pós-graduação em Engenharia e Tecnologia Espaciais

  • 2011 - 2015

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: Servidor Público, Enquadramento Funcional: Direção e Administração

    Outras informações:
    Coordenadora do Programa de Capacitação Institucional da CAPES para a área de Engenharia e Tecnologia Espaciais do INPE

  • 2010 - 2015

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: , Enquadramento Funcional: Tecnologista III, Regime: Dedicação exclusiva.

    Outras informações:
    Responsável pela Especificação comportamental do satélite para o Simulador do Satélite CBERS

  • 2011 - 2013

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: Servidor Público, Enquadramento Funcional: Direção e Administração

    Outras informações:
    Coordenadora da Área de Concentração em Engenharia e Gerenciamento de Sistemas Espaciais do Curso de pós-graduação em Engenharia e Tecnologia Espaciais

  • 2006 - 2010

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: , Enquadramento Funcional: Tecnologista III, Regime: Dedicação exclusiva.

    Outras informações:
    Responsável pelo Desenvolvimento do Simulador dos Satélites CBERS

  • 1988 - 1994

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: , Enquadramento Funcional: Tecnlogista III, Regime: Dedicação exclusiva.

    Outras informações:
    Responsável pelo desenvolvimento do Software de Gerenciamento da Antena para os Satélitse SCDs

  • 1985 - 1990

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: , Enquadramento Funcional: Analista de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.

    Atividades

    • 01/2012

      Direção e administração, Engenharia e Tecnologia Espacial, .,Cargo ou função, Coordenadora de pós-graduação da área de concentração em Engenharia e Gerenciamento de Sistemas Espaciais.

    • 11/2011

      Conselhos, Comissões e Consultoria, Engenharia e Tecnologia Espacial, .,Cargo ou função, Coordenadora do Programa de Capacitação Institucional (PCI) na área ETE.

    • 09/2008

      Pesquisa e desenvolvimento , Engenharia e Tecnologia Espacial, .,Linhas de pesquisa

    • 09/2008

      Ensino, ENGENHARIA E TECNOLOGIA ESPACIAIS, Nível: Pós-Graduação,Disciplinas ministradas, Verificação e Validação de Sistemas Espaciais

    • 02/2006

      Outras atividades técnico-científicas , Engenharia e Tecnologia Espacial, Engenharia e Tecnologia Espacial.,Atividade realizada, Desenvolvimento do Simulador dos Satélites CBERS 3&4.

    • 03/1996 - 03/1997

      Estágios , Engenharia e Tecnologia Espacial, .,Estágio realizado, Space Science Group - Sussex University, Brighton, England. Bolsa do programa RHAE do CNPq para treinamento no exterior.

  • 1987 - 1991

    Universidade Brás Cubas

    Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 10

    Outras informações:
    Ensino, Orientação de Projetos de Graduação.