Referência Completa


Título: Uma abordagem de engenharia reversa para extração do projeto de sistemas de software crítico embarcado
Autor: Rovedy Aparecida Busquim e Silva
Programa: Engenharia Eletrônica e Computação
Área de Concentração: Informática
Orientador : José Maria Parente de Oliveira
Coorientador : Jorge Miguel de Matos Sousa Pinto
Ano de Publicação : 2013
Curso : Doutorado
Assuntos : Sistemas de computadores embarcados
t Verificação formal
t Confiabilidade de software
t Verificação de programa (computadores)
t Ontologias (inteligência artificial)
t Engenharia de software
Resumo : O domínio de sistema de software crítico embarcado requer atividades de Engenharia Reversa de Software especializadas para atender características típicas a esse tipo de sistema. A Engenharia Reversa de Software para sistemas de software críticos embarcados não tem focado na análise temporal de tais sistemas. Um dos desafios é a construção de um modelo para análise com detalhes suficientes para expressar as propriedades temporais que são de interesse de uma atividade de Engenharia Reversa de Software. Este trabalho propõe uma abordagem de Engenharia Reversa de Software para sistema de software crítico embarcado visando propiciar um entendimento dos aspectos temporais e segurança do software por meio de um modelo formal, a fim de prover o entendimento completo de tais aspectos. A solução é essencialmente baseada nas atividades de verificação formal de software e modelo e em uma base de conhecimento para armazenar os resultados dessas atividades. Os resultados da aplicação da abordagem em um software aeroespacial sugerem que a abordagem é viável de ser executada e correta ao atingir seu objetivo principal, que é aumentar a compreensão geral do sistema tanto para manutenção, evolução bem como para desenvolvimento de software novo.
Data de Defesa : 29/11/2013
Texto na íntegra : [Visualizar]