Uppaal. uppaal é um ambiente de ferramenta integrado para modelagem, validação e verificação de sistemas em tempo real.
Baixe Agora

Uppaal. Classificação e resumo

Uppaal. Tag

ambiente integrado Uppaal. Ambiente de ferramenta integrado modelagem de sistemas em tempo real Validação Sistemas em tempo real

Uppaal. Descrição

O Uppaal é um ambiente de ferramenta integrado para modelagem, validação e verificação de sistemas em tempo real. O Uppaal é um ambiente de ferramenta integrado para modelagem, validação e verificação de sistemas em tempo real modelados como redes de autômatos cronometrados, estendidos com tipos de dados (inteiros limitados, matrizes, etc.). Uppaal Cora é um ramo de uppaal para acessibilidade ideal de custo ANSLYSIS desenvolvido pela equipe uppaal como parte dos projetos VHS e ametista. Considerando que a UPPAAL apoia a verificação do modelo de autômatos cronometrados, a UPPaal Cora usa uma extensão de autômatos cronometrados chamado LPTA. O LPTA permite que você anote o modelo com a noção de custo.Este pode ser o custo de atraso em certas situações ou o custo de ações específicas. O UPPaal Cora então encontra caminhos ideais que correspondem às condições de meta.uppaal Coraal tem sido usado em vários estudos de caso. Algumas delas são descritas na página de estudo de caso deste site. Se você chegar a usos interessantes, entre em contato conosco. Estamos interessados em ouvir o que você faz! Devido a diferentes estruturas internas de dados, a UPPaal Cora consiste atualmente de duas versões diferentes: uma versão para o caso simplificado de tempo de acessibilidade ideal. A versão para a linguagem completa do LPTA.Como Uppaal, Uppaal Cora é gratuita para uso sem fins lucrativos, por exemplo Para avaliação, pesquisa e propósitos de ensino. Existem algumas características importantes de "uppaal": robusta · A linguagem de modelagem da Uppaal Cora é robusta para as mudanças no problema modelado. Isso significa que seu investimento na modelagem não é perdido quando o problema muda, já que é fácil adaptar o modelo existente. Fast · Embora a tecnologia seja bastante nova, experimental e muito diferente das técnicas utilizadas na pesquisa operacional tradicional, a UPPaal Cora é competitiva em vários estudos de caso. Compatível · A linguagem da Uppaal Cora é um supersete de uppaal. Qualquer modelo de uppaal válido também é um modelo válido de Cora de Uppaal. Isso torna fácil e conveniente reutilizar e adaptar seus modelos existentes à UPPAAL CORA. A CORRENTE · A UPPaal Cora é baseada na última versão de desenvolvimento interno do Uppaal, contendo as mais recentes melhorias de desempenho e linguagem. No entanto, é uma ferramenta experimental e carece de muitas das características de verificação do uppaal.limitations: Uppaal Cora com suporte ao LPTA completo tem uma série de limitações. Essas limitações não são fundamentais, mas são resultado de usar novas estruturas internas de dados com um conjunto de recursos atualmente limitado. Com o tempo, essas limitações serão resolvidas. Não há extrapolação, portanto, a rescisão não é garantida, a menos que você garanta que: · O sistema é acíclico. · Todos os relógios são limitados por invariantes. - Apenas acessibilidade simples: · Nenhum impasse Verificação - Uso limitado de orientação: · Suporte para a classificação (custo + restante) é implementado (melhor primeira pesquisa) · O suporte para variável heurística é implementado, mas a expressão não pode se referir à variável de custo. Qual é o novo lançamento: · este lançamento Corrige bugs de travamento e vazamento de memória.

Uppaal. Software Relacionado