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

modelo validar verificar Ambiente de modelagem de processo ferramenta de verificação Ferramenta de verificação de software Modelador de sistema em tempo real Verificação do sistema em tempo real Validação do sistema em tempo real Validação de sistemas de informação Ambiente de modelagem

Uppaal. Descrição

UPPAAL é uma aplicação de software abrangente que permite projetar, validar e verificar sistemas de tempo real modeladas como redes de autômatos cronometrado. É desenvolvido em Java e envolto em uma instalação workspace.No user-friendly necessário, além de Java Não há pacote de configuração envolvidos, o que torna UPPAAL quase portátil. Desde que você tem Java instalado no seu computador, você pode salvar os arquivos de programa para qualquer parte do disco e basta clicar no arquivo JAR para iniciar a ferramenta. Outra possibilidade é a guardá-lo para um pen drive para diretamente executá-lo em qualquer PC com Java instalado. Um importante aspecto a pena tendo em conta é que ele não modifica as configurações do Registro do Windows ou criar arquivos extra no disco sem a sua permissão. Edição, simulação e verificação toolsThe GUI é feita a partir de uma única janela dividida em três guias para editar, simular e verificar o projeto. O editor é dividida em dois quadros para navegar partes do projeto (por exemplo, declarações, modelos) e escrever código, os investiga simulador e valida possíveis execuções dinâmicas de um sistema durante a modelagem, enquanto a ferramenta de verificação facilita uma visão geral sobre o projeto, permitindo-lhe, assim, escrever consultas e comentários. programa configure settingsIt é possível dar zoom in e out, ocultar rótulos, recarregar o simulador, Ajustar à grelha, verificação e converter a sintaxe, altere a ordem de pesquisa (amplitude primeiro, primeira profundidade, profundidade aleatório primeiro), escolher a redução de espaço de estado e representação, escolher o traço, extrapolação e tabela hash tamanho de diagnóstico, e mais. Avaliação e conclusionWe não se deparar com quaisquer problemas de estabilidade em nossos testes, uma vez UPPAAL não pendurar, acidente ou pop-up mensagens de erro. Tem um tempo de boa resposta e impacto mínimo no desempenho do sistema, por isso não faz CPU porco e RAM. Ao todo, UPPAAL vem a calhar para os estudantes que querem trabalhar em um ambiente integrado para a modelagem, validação e verificação de sistemas de tempo real. Avaliado por Elena Opris, última actualização em 04 de janeiro de 2015

Uppaal. Software Relacionado