Este é o aplicativo Linux denominado autoCode4, cuja versão mais recente pode ser baixada como autoCode4_v1.0.0.zip. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado autoCode4 com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
SCREENSHOTS
Ad
autoCode4
DESCRIÇÃO
autoCode4 é um mecanismo que sintetiza controladores a partir de especificações formais descritas em um subconjunto de lógica temporal linear (LTL).É importante ressaltar que ele sintetiza controladores de fluxo de dados síncronos (no formato Luster ou Ptolomeu II) e mantém a rastreabilidade de requisitos para código. Esse recurso é obrigatório no desenvolvimento de sistemas críticos de segurança e são considerados essenciais para validação de especificações ou integração de implementação manual, como código legado.
A especificação LTL captura o comportamento desejado de um controlador em que o ambiente dá o primeiro movimento (ou seja, sentir / inserir e depois reagir / emitir), de forma que o controlador sintetizado possa ser visto como uma máquina Mealy.
Um tutorial passo a passo está disponível no pacote de software.
Recursos
- Síntese de controle da especificação formal
- Produzir relatório de rastreabilidade de requisito para módulo
Público
Aeroespacial, Tecnologia da Informação, Ciência / Pesquisa, Manufatura, Desenvolvedores
Interface com o usuário
Console / Terminal, linha de comando
Linguagem de Programação
Java
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/autocode4/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.
