| Autor: |
Rovedy Aparecida Busquim e Silva |
| Jazyk: |
portugalština |
| Rok vydání: |
2013 |
| Předmět: |
|
| Zdroj: |
Biblioteca Digital de Teses e Dissertações do ITAInstituto Tecnológico de AeronáuticaITA. |
| Druh dokumentu: |
Doctoral Thesis |
| Popis: |
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. |
| Databáze: |
Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|
