Juliana Joria Padilha

Mestre em Engenharia e Gerenciamento de Sistemas Espaciais no INPE (2015), Especialização em Desenvolvimento Web para Sistemas de Gestão Empresarial pela UNIRP (2006), Bacharel em Ciência da Computação pela Universidade Federal de Itajubá (2004) e cursando Doutorado em Engenharia e Gerenciamento de Sistemas Espaciais no INPE. Experiência com modelagem de sistemas hospitalares, desenvolvimento de sistemas para automação de uma rádio, desenvolvimento e modelagem de sistemas de gestão empresarial, desenvolvimento e modelagem de sistemas para automação de fotômetros embarcados e multicanais (equipamentos de solo) e desenvolvimento de softwares embarcados em satélites e geração e execução de casos de testes para estes sistemas. Áreas de interesse: Testes de Sistemas, Verificação e Validação, Projeto de Sistemas, Modelagem de Sistemas e Desenvolvimento de Sistemas.

Informações coletadas do Lattes em 01/09/2025

Acadêmico

Formação acadêmica

Doutorado em andamento em ENGENHARIA E TECNOLOGIA ESPACIAIS

2015 - Atual

Instituto Nacional de Pesquisas Espaciais
Maria de Fátima Mattiello-Francisco. Coorientador: Ana Maria Ambrósio.

Mestrado em Engenharia e Tecnologia Espaciais

2012 - 2015

Instituto Nacional de Pesquisas Espaciais
Título: Gerenciamento de Objetivos para um Sistema Embarcado em Satélite de Monitoramento Autônomo de Incêndios,Ano de Obtenção: 2015
Mauricio Gonçalves Vieira Ferreira.Coorientador: Fabrício de Novaes Kucinskis. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Engenharias

Especialização em MBA-Tecnologias Web p/ Sist. de Gestão Empresarial

2005 - 2006

Centro Universitário de Rio Preto
Título: Sistema ERP

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

1999 - 2004

Universidade Federal de Itajubá
Título: Um Estudo Sobre Criptografia e Assinantura Digital
Orientador: Roberto Claudino da Silva

Formação complementar

2009 - 2009

Labview básico. , Instituto Nacional de Pesquisas Espaciais, INPE, Brasil.

2008 - 2008

Estudo Orientado em Metodologia de Teste e Serviço. , Instituto Nacional de Pesquisas Espaciais, INPE, Brasil.

2003 - 2003

Montagem e Manutenção de Microcomputadores. , Centro de Ensino SESI de Itajubá, SESI, Brasil.

2000 - 2000

Minicurso Objetos Distribuídos e Corba. , Universidade Federal de Itajubá, UNIFEI, Brasil.

1999 - 1999

Curso Novell Academics. , Universidade Federal de Itajubá, UNIFEI, Brasil.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Áreas de atuação

Grande área: Engenharias / Área: Engenharia Aeroespacial.

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Geração de Testes de Sistemas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Ciência da Computação.

Participação em eventos

X WETE.Método de Identificação de Requisitos de um Software de OBDH de Nanosatélites à Partir de Serviços PUS. 2019. (Outra).

9 WETE.Uma Abordagem de Teste para Verificação e Validação de Software Embarcado em Cubesats. 2018. (Outra).

5 Workshop em Engenharia e Tecnologia Espaciais.Gerenciamento de Objetivos para um Sistema Embarcado em Satélite Voltado à Identificação e Resposta Autônoma a Incêndios. 2014. (Outra).

Outras produções

AMBROSIO, A. M. ; SILVA, P. D. B. ; OLIVEIRA, E. H. S. ; PADILHA, J. J. ; CEREJA JUNIOR, 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. 2013. (Relatório).

PADILHA, J. J. . Requisitos, Plano de Testes E Manual de Instalação e Operação do Software de Testes dos Sensores e Atuadores. 2013. (Relatório Técnico).

PADILHA, J. J. ; CIVIDANES, F. S. . Procedimentos de Testes de Hardware do Computador de Bordo da Plataforma Orbital. 2011. (Relatório Técnico).

PADILHA, J. J. ; CIVIDANES, F. S. . Casos de Testes de Hardware do Computador de Bordo da Plataforma Orbital. 2011. (Relatório Técnico).

PADILHA, J. J. ; CIVIDANES, F. S. ; REZENDE, F. B. . Relatório de Testes de Hardware do Computador de Bordo da Plataforma Orbital. 2011. (Relatório Técnico).

PADILHA, J. J. . Procedimentos de Instalação do Ambiente de Desenvolvimento de Software para o COMAV. 2011. (Relatório Técnico).

PADILHA, J. J. . Manual de Instalação e Operação do Software de Testes Internos da UPC. 2011. (Relatório Técnico).

Histórico profissional

Experiência profissional

2005 - 2006

INFORMA AUTOMAÇÃO DE RÁDIO E TV LTDA.

Vínculo: Colaborador, Enquadramento Funcional: Desenvolvedor Jr., Carga horária: 44

Outras informações:
Desenvolvimento de um sistema em C++ e em Visual Basic 6.0 para automação de rádios. Foram utilizados para o trabalho realizado com áudio (MP3 e WAV) o Directx, particularmente DirectSound. Neste trabalho foram implementadas DLL's, em C++, para o controle de uma placa de som profissional que faz a comunicação entre o sistema e o hardware. Essas DLL's seriam incorporadas ao programa principal da empresa que fazia a automação da rádio. As principais características dessas DLL's eram tornar os sistemas mais rápidos e aproveitar melhor as características das placas de som profissionais utilizadas pela empresa.

2006 - 2007

Comércio Campuchoa Informática LTDA - ME

Vínculo: Colaborador, Enquadramento Funcional: Técnica de Informática, Carga horária: 40

Outras informações:
Suporte Técnico para usuários do sistema CONEMP, que é um sistema de Gestão Empresarial tipo ERP. Entre as responsabilidades do suporte técnico foram realizadas atividades de ajuda aos clientes que possuem dúvidas de utilização do sistema, adequação da configuração do sistema para atender as necessidades específicas de cada cliente e realização de testes para identificar se existem inconsistências no sistema. Foram ministrados cursos aos gerentes e funcionários das empresas de como configurar adequadamente o sistema para cada empresa e de como utilizá-lo.

2015 - Atual

Instituto Nacional de Pesquisas Espaciais

Vínculo: Bolsista, Enquadramento Funcional: Aluna de Doutorado

Outras informações:
O desenvolvimento de nanossatélites tem crescido cada vez mais e o software incorporado nesses nanossatélites se torna cada vez mais complexo. Devido a essa característica, torna-se necessário o uso de padrões para o desenvolvimento e teste deste software, buscando manter sua qualidade. Entre os documentos indicados para orientar o desenvolvimento do OBDH do software está o PUS. Inspirado no padrão PUS, foi desenvolvido um método chamado GerAuto, capaz de gerar modelos de teste para software de nanossatélites desenvolvido, ou não, com base nesse padrão. Este método gera um modelo de máquina de estado com base no padrão e permite a adição de recursos não especificados pelo padrão. Além disso, o método permite a criação de um conjunto de instruções com base no texto do padrão e nos novos recursos adicionados ao modelo. Esse conjunto de instruções é mapeado pelo método para o modelo de máquina de estado, gerando um modelo de referência, que pode ser reutilizado para gerar modelos de testes de software integrados para várias missões de nanossatélites. Essa geração de modelos de teste para essas missões é feita através de uma ferramenta auxiliar do método chamado GerAutoTool. Além disso, a ferramenta deve permitir a geração automática de modelos de máquinas de estado que podem ser visualizadas na ferramenta JFlap para analisar os modelos gerados e corrigi-los quando necessário. Quando os modelos de máquina de estado são adequados, a ferramenta permite que a geração automática dos modelos de máquina de estado seja usada pela ferramenta CONDADO, que deve gerar um conjunto de casos de teste com base no modelo.

2012 - 2015

Instituto Nacional de Pesquisas Espaciais

Vínculo: Bolsista, Enquadramento Funcional: Aluna de Mestrado

Outras informações:
Buscando uma nova visão de Monitoramento de Queimadas e Incêndios para o INPE que traga melhorias nas imagens adquiridas e no tempo de resposta para os usuários finais, essa pesquisa de mestrado propõe uma nova missão, porém hipotética, de Monitoramento de Incêndios, a M2AI. Essa missão introduz autonomia no espaço para a decisão de quais focos de incêndios devem ser monitorados, pois uma câmera com alta resolução não é capaz de imagear todos os focos de incêndio de uma determinada região. Para que essa característica de autonomia no espaço possa ser utilizada é necessário o uso de uma arquitetura que habilite tal característica, a GOESA é uma arquitetura desenvolvida para o INPE que introduz tal habilidade, por isso ela será utilizada para essa pesquisa. A GOESA ainda não é capaz de decidir entre vários focos de incêndios quais deverão ser imageados, pois seu componente que deveria realizar essa atividade ainda não foi desenvolvido. Existe apenas um protótipo de um Gerenciador de Objetivos que deveria realizar tal atividade, mas não o faz ainda. Sendo assim, criou-se o Priorizador de Objetivos para isso e assim, atender as necessidades da M2AI. Com a GOESA habilitada para tal característica a M2AI foi modelada para tal arquitetura e foram realizados alguns testes que viabilizam a existência desta missão, mostrando que é possível desenvolver uma missão mais adequada de monitoramento de incêndios para a instituição.

2011 - 2014

Instituto Nacional de Pesquisas Espaciais

Vínculo: Bolsista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Outras informações:
Foi desenvolvimento um software de testes para o computador de bordo da plataforma orbital do projeto Sistemas Inerciais para Aplicação Aeroespacial (SIA) e foi criado o manual de usuário, os diagramas de UML e dos documentos de testes para este software. Para realizar este trabalho e os demais foi necessário um período de estudo do projeto do computador de bordo (hardware, software e interfaces) da plataforma orbital do SIA, estudo dos padrões de codificação de software adotados pelo projeto, estudo do sistema operacional RTEMS, estudo das ferramentas do ambiente de desenvolvimento de software para a UPC (Unidade de Processamento e Comunicação), para a UAT (Unidade de Aquisição e Atuação), para a UR (Unidade de Reconfiguração) e para a UTMC (Unidade de Telecomandos e Telemetrias) do computador de bordo. Em outra etapa do trabalho foram feitas analises e atualizações dos requisitos de duas missões espaciais e criados modelos iniciais de casos de testes na ferramenta Contour para alguns destes requisitos. Em uma terceira etapa foi desenvolvido um software de testes de comunicação para os sensores e os atuadores do satélite e criação de um manual deste software. E, em outra etapa, foram feitas a análise, a execução e alteração dos casos de testes do software de voo. E, em outra etapa, foi realizada uma revisão do manual de operação e de alguns documentos sobre o software de voo. As principais ferramentas utilizadas durante esse trabalho foram: VMWare, Eclipse, GCC, GDB, Subversion, Doxygen e PK51 Professional Developer?s Kit.

2007 - 2010

Instituto Nacional de Pesquisas Espaciais

Vínculo: Bolsista, Enquadramento Funcional: Analista e Desenvolvedora de Software, Carga horária: 40

Outras informações:
No Projeto Multicanal foi feita uma reengenharia de um sistema para automação de um multicanal, desta reengenharia surgiram os documentações de requisitos de sistema, de modelagem de sistema e o manual do usuário. Em paralelo, foi feito um estudo de vários sistemas para a implementação do sistema do multicanal 4. Além disso, foram criados dois sistemas de testes para dois multicanais, um para o multicanal 4 e outro para o Fot OH 6-2. No projeto GLOW foi necessário aprender a programar em LabView. Neste projeto foram feitas as alterações necessárias no PHOTOEX (desenvolvido em LabView 6.2) para que este software funcionasse. Além disso, foi desenvolvido um sistema que simula o funcionamento da troca de protocolos de comunicação do fotômetro com o computador de bordo através da porta serial. A outra etapa deste projeto foi utilizar as ideias e sugestões de todos os membros da equipe durante as reuniões para a criação dos diagramas de estado e de atividades necessários na analise de requisitos. Com isso, foram criadas várias versões de documentos de análise e de projeto do equipamento. A representação das características do software embarcado foi feita através de diagramas da UML, tais como o diagrama de statecharts e diagramas de atividades.

2015 - 2016

TecSUS Tecnologias para a Sustentabilidade, TecSUS

Vínculo: Bolsista, Enquadramento Funcional: Analista de Testes, Carga horária: 40

Outras informações:
Ao entrar na empresa foi necessário um período de adaptação para conhecer um pouco a respeito de Arduino, Medidores Eletrônicos e Python. Para o desenvolvimento em Python foi necessário conhecer o PyCharm que é uma IDE de desenvolvimento. A atividade principal dentro da empresa foi a geração de casos de testes e implantação de um ambiente de testes automatizados utilizando o Jenkins, o Appium e o Selenium (além de outras ferramentas que foram integradas a essas principais) para os aplicativos e para o sistema da empresa.

Atividades

  • 03/2015

    Pesquisa e desenvolvimento , TecSus, .,Linhas de pesquisa

2016 - 2016

Instituto Nacional de Pesquisas da Amazônia

Vínculo: Autônomo, Enquadramento Funcional: Desenvolvedor de Software, Carga horária: 40

Outras informações:
Foram desenvolvidas em C++, na IDE QT, partes do código do sistema utilizado pelo grupo que representa o instituto INPA e que se encontra dentro do INPE. Para este mesmo sistema foi criado um banco de dados em SQLite. Foi criado, também, um site para o grupo poder apresentar todo o trabalho desenvolvido pela equipe para a população.

2019 - 2019

Universidade Federal de São Paulo

Vínculo: Tutoria, Enquadramento Funcional: Estagiário

Outras informações:
A estagiária ficou responsável com a preparação de exercícios de recuperação para os alunos do curso. Esses exercícios foram selecionados do curso ?C Programming with Linux, Dartmouth University? do site edX e foram disponibilizados na ferramenta Judge para que os alunos pudessem utilizar.