Uma abordagem de garantia de seguranÃa de software para sistemas crÃticos embarcados.

AUTOR(ES)

Lovisi Filho, Elio

DATA DE PUBLICAÇÃO

1999

RESUMO

Apesar da crescente importÃncia dos Sistemas Computadorizados na Sociedade Moderna, ainda nÃo se tem notÃcia da existÃncia de uma metodologia consagrada para o Desenvolvimento de Softwares CrÃticos Embarcados Aeroespaciais, que seja capaz de propiciar aumento nos nÃveis de SeguranÃa de Software e evitar o desperdÃcio de recursos. Este Trabalho de Pesquisa consiste da elaboraÃÃo de uma nova Metodologia para o Desenvolvimento de Softwares CrÃticos Embarcados Aeroespaciais - SCEA s com Garantia de SeguranÃa, levando-se em consideraÃÃo as suas caracterÃsticas peculiares, e propiciando-se um aumento nos nÃveis de SeguranÃa de Software, desde o inÃcio de seu ciclo de desenvolvimento. Inicialmente, realizou-se uma pesquisa bibliogrÃfica envolvendo o conhecimento atual das Ãreas de SeguranÃa de Software e de Desenvolvimento de SCEA. Em seguida, apresentou-se uma discussÃo a respeito das formas utilizadas atualmente para se garantir a SeguranÃa desse tipo de Software. ApÃs isso, apresenta-se uma nova Metodologia, desenvolvida a partir da integraÃÃo de uma SistemÃtica para a Garantia de SeguranÃa de Software com a TÃcnica de Modelagem de Objetos (Object Modeling Technique - OMT), utilizando-se o padrÃo de Linguagem Unificada para Modelagem (Unified Modeling Language - UML). Ao final, um Estudo de Caso à utilizado para avaliar o emprego da Metodologia proposta de Desenvolvimento do SCEA no Projeto do VeÃculo Experimental Carro AnfÃbio Voador TRIPHIBIUS. Isto foi executado na fase inicial do desenvolvimento do Projeto no Instituto TecnolÃgico de AeronÃutica - ITA. Pesquisas futuras apontam para aspectos ainda nÃo consolidados da SeguranÃa de Software, principalmente quanto à criaÃÃo de: mÃtricas para avaliaÃÃo quantitativa da SeguranÃa de Software; estratÃgias para a realizaÃÃo dos Testes Funcionais; e novas tÃcnicas para AnÃlise de SeguranÃa dos SCEA s, que sejam mais apropriadas Ãs suas caracterÃsticas.

ASSUNTO(S)

controle de qualidade confiabilidade programas de computadores seguranÃa avaliaÃÃo de desempenho de software sistemas de computadores embarcados desenvolvimento de software

Documentos Relacionados

• Modelo de gestÃo de seguranÃa do trabalho pela atuaÃÃo preventiva sobre causas de incidentes crÃticos em processos de produÃÃo industrial
• Uma abordagem de desenvolvimento integrado de software para a AnÃlise de SeguranÃa em AviaÃÃo e seus Sistemas - ASAS.
• O protocolo SET para seguranÃa de compras eletrÃnicas; Protocolo SET - estudo crÃtico
• Processo para análise de compatibilidade de software e hardware em modificações de sistemas computacionais embarcados.
• Metodologia para Projeto de Sistemas de SeguranÃa sob InteraÃÃo EstratÃgica com Enfoque Multiobjetivo