Portal do Governo Brasileiro
s
Mostrando
1 - 17
resultados de
17
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Instituição de defesa:
ITA
Assunto:
Engenharia de software
E
Sistemas de computadores embarcados
Mostrar filtros (3)
Instituição de defesa:
ITA
Assunto:
Engenharia de software
E
Sistemas de computadores embarcados
Resultados da busca
Mostrando
1 - 17
resultados de
17
para a busca '
'
, tempo de busca: 0,03s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Projeto e implementação do software de sistema embarcado para rastreamento e telemetria de veículo.
Por
Osmar Vogler
Publicado em 2005
Acessar documento
Dissertação
2
Uma abordagem de safety no desenvolvimento e certificação de software crítico embarcado em aeronave civil.
Por
Benedito Massayuki Sakugawa
Publicado em 2007
Acessar documento
Dissertação
3
ASSETRE: uma arquitetura de software para sistemas embarcados de tempo real.
Por
Denis Silva Loubach
Publicado em 2007
Acessar documento
Dissertação
4
Adaptability, reusability and variability in software systems for space on-board computing.
Por
Walter Abrahão dos Santos
Publicado em 2008
Acessar documento
Tese
5
MODDESSA: um modelo de desenvolvimento para sistemas de software autotrônicos.
Por
Robson Calvetti
Publicado em 2009
Acessar documento
Dissertação
6
Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Por
Eduardo Correia da Silva
Publicado em 2009
Acessar documento
Dissertação
7
Esqueletotipação : um método para desenvolvimento de software embarcado baseado em modelos.
Por
Diogo Branquinho Ramos
Publicado em 2010
Acessar documento
Dissertação
8
Using executable assertions for runtime fault detection in a model-based software development approach.
Por
Guilherme Figueira Althoff
Publicado em 2007
Acessar documento
Dissertação
9
Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
Por
Rodrigo Pastl Pontes
Publicado em 2011
Acessar documento
Tese
10
Desenvolvimento de software embarcado em plataformas de aeronaves civis : uma abordagem de certificação
Por
Matheus da Silva Souza
Publicado em 2010
Acessar documento
Dissertação
11
Solução para a computação embarcada do míssil superficie-ar VTT-1
Por
Lúcia Nishiyama
Publicado em 1993
Acessar documento
Dissertação
12
Modelagem e verificação formal do software embarcado de um simulador de satélite
Por
Rhenzo Losso
Publicado em 2011
Acessar documento
Dissertação
13
Uma abordagem de garantia de segurança de software para sistemas críticos embarcados.
Por
Elio Lovisi Filho
Publicado em 1999
Acessar documento
Dissertação
14
Model checking aplicado a software embarcado crítico do satélite universitário ITASAT
Por
Waldo Acioli Falcão de Alencar
Publicado em 2013
Acessar documento
Dissertação
15
Framework para desenvolvimento de sistemas embarcados automotivos
Por
Marcio Camargo Oliveira
Publicado em 2013
Acessar documento
Dissertação
16
Uma abordagem de engenharia reversa para extração do projeto de sistemas de software crítico embarcado
Por
Rovedy Aparecida Busquim e Silva
Publicado em 2013
Acessar documento
Tese
17
Guia para padronização do desenvolvimento de software crítico para aplicações espaciais.
Por
José Damião Duarte Alonso
Publicado em 1998
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
ITA
Bases coletadas
Biblioteca Digital de Teses e Dissertações do ITA
17
Autor
Benedito Massayuki Sakugawa
1
Denis Silva Loubach
1
Diogo Branquinho Ramos
1
Eduardo Correia da Silva
1
Elio Lovisi Filho
1
Guilherme Figueira Althoff
1
Mais ...
José Damião Duarte Alonso
1
Lúcia Nishiyama
1
Marcio Camargo Oliveira
1
Matheus da Silva Souza
1
Osmar Vogler
1
Rhenzo Losso
1
Robson Calvetti
1
Rodrigo Pastl Pontes
1
Rovedy Aparecida Busquim e Silva
1
Waldo Acioli Falcão de Alencar
1
Walter Abrahão dos Santos
1
Ver todos ...
menos ...
Tipo de documento
Dissertação
14
Tese
3
Tipo de acesso
openAccess
17
Idioma
Português
15
Inglês
2
Assunto
Engenharia de software
Sistemas de computadores embarcados
Desenvolvimento de software
8
Computação
4
Confiabilidade de software
4
Verificação formal
4
Mais ...
Ferramentas de desenvolvimento de software
3
Operação em tempo real
3
Software de segurança crítica
3
Verificação de programa (computadores)
3
Arquitetura de software
2
Certificação
2
Engenharia aeronáutica
2
Programas de computadores
2
Qualidade
2
Satélites artificiais
2
Verificação de programas (computadores)
2
Veículos aeroespaciais
2
Aerodinâmica
1
Análise de falhas
1
Automóveis
1
Avaliação de desempenho
1
Avaliação de desempenho de software
1
Aviação civil
1
Confiabilidade
1
Controle automático
1
Controle de mísseis
1
Controle de qualidade
1
Controle de trajetória
1
Códigos computacionais
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...