Propostas para Dissertação

Mestrados no Departamento de Informática



Consultar ficha completa de uma proposta de dissertação

proponente: José Proença, Luís Soares Barbosa
instituição/empresa: Universidade do Minho
tema/título: Conectores de tempo real parametrizados
área científica: Ciências da Computação
local: DI - Univ. Minho
curso de mestrado: Mestrado Integrado em Engenharia Informática
descrição:
Autómatos de tempo real são abstracções poderosas para especificar problemas onde acções são
influenciadas pelo tempo que já passou, suportadas por ferramentas como o UPPAAL para
verificação. No entanto, a complexidade de especificar um sistema aumenta com o número de autómatos envolvidos,
e quando tentamos considerar variações de partes destes autómatos. Este projecto propõe a extensão de uma linguagem de conectores baseada em autómatos de tempo - https://github.com/haslab/ifta para considerar parâmetros que possam afectar as transições, o número de autómatos, e como
estes estão interligados. Usando um caso de estudo real, este projecto irá permitir a verificação de várias variações de
sistemas complexos de tempo real, que caso contrário seriam impraticáveis ou muito trabalhosas.


Voltar...