Portal do Governo Brasileiro
s
Mostrando
1 - 14
resultados de
14
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
Tipo de documento:
Dissertação
Mostrar filtros (4)
Instituição de defesa:
ITA
Assunto:
Engenharia de software
E
Sistemas de computadores embarcados
Tipo de documento:
Dissertação
Resultados da busca
Mostrando
1 - 14
resultados de
14
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
MODDESSA: um modelo de desenvolvimento para sistemas de software autotrônicos.
Por
Robson Calvetti
Publicado em 2009
Acessar documento
Dissertação
5
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
6
Esqueletotipação : um método para desenvolvimento de software embarcado baseado em modelos.
Por
Diogo Branquinho Ramos
Publicado em 2010
Acessar documento
Dissertação
7
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
8
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
9
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
10
Modelagem e verificação formal do software embarcado de um simulador de satélite
Por
Rhenzo Losso
Publicado em 2011
Acessar documento
Dissertação
11
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
12
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
13
Framework para desenvolvimento de sistemas embarcados automotivos
Por
Marcio Camargo Oliveira
Publicado em 2013
Acessar documento
Dissertação
14
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
14
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
Waldo Acioli Falcão de Alencar
1
Ver todos ...
menos ...
Tipo de documento
Dissertação
Tipo de acesso
openAccess
14
Idioma
Português
13
Inglês
1
Assunto
Engenharia de software
Sistemas de computadores embarcados
Desenvolvimento de software
7
Computação
4
Confiabilidade de software
3
Operação em tempo real
3
Mais ...
Software de segurança crítica
3
Verificação formal
3
Certificação
2
Engenharia aeronáutica
2
Ferramentas de desenvolvimento de software
2
Programas de computadores
2
Qualidade
2
Verificação de programa (computadores)
2
Veículos aeroespaciais
2
Aerodinâmica
1
Análise de falhas
1
Arquitetura de software
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
Detecção de falhas
1
Engenharia eletrônica
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...