| |
| |
Tipo de Mídia:
Texto
|
|
Formato:
.pdf
|
Tamanho:
2,31
MB
|
|
|
| |
|
|
| |
|
|
| |
|
|
| |
Título: |
|
Elementos para a construção de uma cadeia de verificação para o projeto TOPCASED |
Autor: |
|
Rodrigo Tacla Saad
 |
Categoria: |
|
Teses e Dissertações |
Idioma: |
|
Português |
Instituição:/Parceiro |
|
[cp] Programas de Pós-graduação da CAPES
|
Instituição:/Programa |
|
UFSC/ENGENHARIA DE AUTOMAÇÃO E SISTEMAS |
Área Conhecimento |
|
ENGENHARIAS |
Nível |
|
Mestrado
|
Ano da Tese |
|
2008 |
Acessos: |
|
499 |
Resumo |
|
Desenvolve atividades que fazem parte da especificação e operacionalização da linguagem Fiacre do projeto TOPCASED. Apresenta um estudo preliminar da tradução entre SDL e Fiacre para auxiliar na especificação da linguagem Fiacre. Propõe um esquema conceitual para tradução de Fiacre para o formalismo matemático TTS (Sistema de Transições Temporizados) e a sua implementação na forma de um compilador (front-end) para ferramenta TINA. Apresenta um exemplo de verificação de sistema para demonstrar as vantagens das ferramentas que fazem parte do projeto TOPCASED. |
| |
|
|
| |
|
 |
|
|
|