Página principal
Comité do encontro
Comité do programa
Programa
Registo na conferência
Proposta de comunicações
Proposta de paineis
Proposta de palestras
Proposta de demonstrações
Alojamento
Localização
Ligações úteis
[ Título | Autores | Resumo | Palavras Chave ]
|
|
TítuloUMA PROPOSTA DE SISTEMÁTICA PARA A ANÁLISE DE SEGURANÇA DE SOFTWARE CRÍTICO EMBARCADO AEROESPACIAL topo da páginaAutoresElio Lovisi Filho, APPI Informática Ltda topo da páginaResumoApesar da crescente integração dos Computadores aos Sistemas Aeroespaciais, ainda não se tem notícia da existência de uma Sistemática eficaz para a realização da Análise de Softwares Críticos Embarcados Aeroespaciais que possa auxiliar na obtenção de níveis adequados de Segurança de Software. A falta de uma Sistemática deste tipo, além de aumentar a complexidade, o custo e o tempo de desenvolvimento destes Softwares vem ocasionando o desperdício de consideráveis recursos. Este artigo apresenta um esboço das principais idéias que vêm sendo investigadas para compor uma nova Sistemática para Análise, que atenda aos requisitos da Segurança de Software. Os autores acreditam que níveis aceitáveis de Segurança para Softwares Críticos Embarcados Aeroespaciais só poderão ser obtidos caso encontre-se novas soluções para o problema de Segurança de Software. A Sistemática para Análise proposta neste artigo representa mais um esforço para agregar valor nessa direção. topo da páginaPalavras ChavePalavras chave não disponibilizadas topo da página |
|
Última actualização: 2001/02/08 Páginas desenvolvidas e mantidas pelo responsável da WWW no QuaTIC'2001. |