Detalhes bibliográficos
| Ano de defesa: |
2010 |
| Autor(a) principal: |
Alessandro Gerlinger Romero |
| Orientador(a): |
Maurício Gonçalves Vieira Ferreira |
| Banca de defesa: |
Marcelo Lopes de Oliveira e Souza,
Walter Abrahão dos Santos,
Getulio Akabane |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Instituto Nacional de Pesquisas Espaciais
|
| Programa de Pós-Graduação: |
Programa de Pós-Graduação do INPE em Engenharia e Gerenciamento de Sistemas Espaciais
|
| Departamento: |
Não Informado pela instituição
|
| País: |
BR
|
| Resumo em Inglês: |
Real time embedded software are applied on space missions, however its development lacks more robust techniques to accomplish requirements more wide and complex, to improve its easiness for execution of tests and integration, beyond increasing time-to-market. Aligned with Model-Driven Architecture the current work proposes an approach to describe real time embedded software using specifications through models. Such models describe all system parts in different abstraction levels, covering functional requirements and non-functional requirements. They still allow early analysis of functional properties and non-functional properties (schedulability, in current work). |
| Link de acesso: |
http://urlib.net/sid.inpe.br/mtc-m19/2010/09.29.18.27
|
Resumo: |
Software de tempo real embarcado é intensamente utilizado em missões espaciais. Entretanto seu desenvolvimento carece de técnicas mais robustas para garantir aderência a requisitos cada vez mais abrangentes e complexos, melhorar sua facilidade para execução de testes e integração, além de atender prazos cada vez menores. Alinhado à Engenharia Conduzida por Arquitetura (do Inglês \textit{Model-Driven Architecture}, MDA) o presente trabalho propõe uma abordagem para descrever sistemas de tempo real embarcados usando especificações através de modelos. Tais modelos descrevem todas as partes do sistema em diferentes níveis de abstração, contemplando tanto requisitos funcionais como requisitos não-funcionais. Eles ainda oferecem capacidade para analisar de forma antecipada propriedades funcionais e não funcionais (escalonabilidade, no presente trabalho). |
