Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
AUTOR(ES)
Luiz Manoel Aguilera
DATA DE PUBLICAÇÃO
1989
RESUMO
O conteúdo deste trabalho aborda a geração automática de Redes de Petri a partir da Especificação de um Sistema de Software com Características Tempo Real, utilizando ambiente de programação Prolog. A especificação do sistema é feita através de duas interfaces: "Interface de Especificação de Sistemas" que reúne um conjunto de conceitos cujo objetivo é especificar, decompor e inter-relacionar diferentes objetos de projeto e "Interface de Especificação da Dinâmica de Sistemas" cujo objetivo é especificar, interpretar e descrever as condições de simulação de algumas das características dinâmicas de um Sistema de Software Tempo Real. O modelo em Rede de Petri gerado automaticamente é traduzido em arquivos atendendo aos padrões de entrada de dados de um Analisador de Redes de Petri desenvolvido na USP/SP e um Simulador de Redes de Petri desenvolvido no LAAS/Toulouse/França; cujo objetivo é validar nas etapas iniciais do ciclo de vida, as especificações do Sistema de Software com Características Tempo Real Projetado
ASSUNTO(S)
redes de petri software - desenvolvimento
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000035580Documentos Relacionados
- OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
- Geração automática da solução de controle para alocação de recursos utilizando redes de Petri
- Ferramenta para apoio a modelagem de sistemas com redes de petri
- Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos
- Um sistema de detecÃÃo de intrusÃo em tempo real para redes IEEE 802.11.