5 / julho / 2007 CSBC / Workshop de Sistemas Operacion ais 2007 1 JSARP – Simulador e JSARP – Simulador e Analisador de Redes de Analisador de Redes de Petri Petri Felipe Lino Felipe Lino Alexandre Sztajnberg Alexandre Sztajnberg [email protected][email protected][email protected][email protected]DICC / IME / UERJ DICC / IME / UERJ Rio de Janeiro, RJ, Brasil Rio de Janeiro, RJ, Brasil
19
Embed
5 / julho / 2007CSBC / Workshop de Sistemas Operacionais 20071 JSARP – Simulador e Analisador de Redes de Petri Felipe Lino Alexandre Sztajnberg Felipe.
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
1
JSARP – Simulador e JSARP – Simulador e Analisador de Redes de Analisador de Redes de
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
3
MotivaçãoMotivaçãoPotencial da modelagem com RdP em sistemas computacionais:
Escalonamento de processos Protocolos de comunicação Sistemas concorrentes
Verificação de propriedades como: deadlock e livelock. Refletem características do sistema modeladoFuncionalidades desejáveis:
“Token Animation Game” Geração da Árvore de Alcançabilidade Editor Gráfico Verificação de Propriedades
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
4
ObjetivoObjetivoDesenvolvimento e implementação de uma ferramenta que reúne funcionalidades desejáveis em ferramentas de RdPIndependente de plataformaResultados gráficosInteração com usuárioExtensível
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
Composição visual Simulação interativa Simulação automática Geração de árvore alcançabilidade Verificação de propriedades Resultados gráficos Persistir rede
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
6
Ferramenta: ARPFerramenta: ARPDOS 3.0 ou superiorEdição de Redes - textoRdP temporizadasAnálise por Enumeração de Estados – Árvore de AlcançabilidadeCálculo de InvariantesVerificação de EquivalênciaSimulação Avaliação de Desempenho
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
7
Ferramenta: ARPFerramenta: ARP
Edição
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
8
Ferramenta: ARPFerramenta: ARP
Análise
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
9
Ferramenta: ARPFerramenta: ARP
Simulação
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
10
JSARP – Descrição GeralJSARP – Descrição GeralTecnologia Orientada ObjetosJava – MultiplataformaGUI: Swing e API Forms JGoodiesExporta para XML: API XStreamIdiomas: Inglês e PortuguêsComposição VisualVerificação de PropriedadesGera Árvore de AlcançabilidadeSimulação Interativa
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
11
JSARP – Arquitetura JSARP – Arquitetura Programa
Executável
Tratador da Área de Edição
Janela Principal
Tratador da Janela Principal Análise
Janela de Resultados da
Análise
Representação da Rede de Petri
Simulação
Janela de Simulação
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
12
JSARP – Estrutura do JSARP – Estrutura do CódigoCódigo
As ações que dirigem a simulação são capturadas através da Classe SimulationActionNotifica as ações para a interface gráfica, classe SimulationWindow, e para a classe que representa a rede estendida, PetriNetGraphA simulação é realizada pela classe ImplSimulator, que opera sobre a classe ImplPetriNetBase
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
consumirP3 – Limitador do buffer P4 – BufferP5 – Produtor pronto para produzir
T0 – Produzir T1 – Armazenar no bufferT2 – Remover do bufferT3 – Consumir
Produtor e Consumidor com Buffer Limitado
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
16
JSARP – Exemplo JSARP – Exemplo
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
17
JSARP – Exemplo JSARP – Exemplo
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
18
Trabalhos FuturosTrabalhos FuturosRedes de Petri Temporizadas Usar o arcabouço existente para
análise/simulação em RdP temporizadasVerificações de Propriedades Através da representação matricial Através da árvore de alcançabilidade
Melhorias na Interface Gráfica Permitir edição de rótulos Menu de ajuda
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
19
ConclusãoConclusãoCódigo fonte e documentação disponível http://br.geocities.com/jsarp_projectFerramenta usada no curso de Sistemas Concorrentes e Distribuídos no PEL (UERJ)