| Título: | Estudo da verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking. |
| Autor: | Eduardo Correia da Silva |
| Programa: | Engenharia Aeronáutica e Mecânica |
| Área de Concentração: | Sistemas Aeroespaciais e Mecatrônica |
| Orientador : | Emilia Villani |
| Ano de Publicação : | 2009 |
| Curso : | Mestrado Acadêmico |
| Assuntos : | Sistemas de computadores embarcados |
| t | Especificação formal |
| t | Verificação de programas (computadores) |
| t | Verificação formal |
| t | Ferramentas de desenvolvimento de software |
| t | Software de segurança crítica |
| t | Teoria dos autômatos |
| t | Engenharia de software |
| Resumo : | Entre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementação. Esta dissertação aborda o problema de verificação e validação de software embarcado de um satélite com configuração ACDH (Attitude Control and Data Handling) através de uma plataforma aerosuspensa com um grau de liberdade, utilizando a SysML, a ferramenta CASE TELELOGIC Rhapsody e a orientação das normas da ECSS (European Cooperation on Space Standardization). A partir do modelo obtido, são utilizadas três abordagens para análise e avaliação: (1) Especificação e gerenciamento dos requisitos, através dos conceitos determinados pela ECSS; (2) Modelagem do sistema e verificação dos requisitos, através do formalismo matemático dos autômatos utilizando a técnica de model checking através da ferramenta UPPAL; (3) Conversão do modelo em SysML, aplicando a Engenharia de Requisitos e o processo de verificação e validação do sistema, através da simulação na ferramenta CASE. |
| Data de Defesa : | 18/09/2009 |
| Texto na íntegra : | [Visualizar] |