Encontrados 2 documentos, a visualizar página 1 de 1

Ordenado por Data
ir para a primeira página ir para a página anterior
ir para a página: 1
ir para a página seguinte ir para a última página
rss feed resultados pesquisa

Extração automática de modelos de sistemas de tempo real

Carvalho, André Ribeiro de

Dissertação de mestrado em Engenharia de Informática ; Esta dissertação insere-se no contexto da investigação sobre verificação de programas de tempo-real. Tendo como principais referências o artigo de Alan Burns [10] e a dissertação de Joel Carvalho [16], introduz-se aqui uma ferramenta capaz de gerar automaticamente modelos Uppaal representativos de programas escritos em Ada. Através desses modelos, e com o ...

Data: 2011   |   Origem: RepositóriUM - Universidade do Minho
Mais info.

Model-checking temporal properties of real-time HTL programs

Carvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa; Sousa, Simão Melo de

This paper describes a tool-supported method for the formal verification of timed properties of HTL programs, supported by the automated translation tool HTL2XTA, which extracts from a HTL program (i) an Uppaal model and (ii) a set of properties that state the compliance of the model with certain automatically inferred temporal constraints. These can be manually extended with other temporal properties provided ...

Data: 2010   |   Origem: RepositóriUM - Universidade do Minho
Mais info.
ir para a primeira página ir para a página anterior
ir para a página: 1
ir para a página seguinte ir para a última página
rss feed resultados pesquisa

2 Resultados

Texto Pesquisado

Refinar resultados

Autor





Data



Tipo de Documento



Recurso


Assunto








    Financiadores do RCAAP
Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência Programa Operacional da Sociedade do Conhecimento União Europeia