Aplicação da análise global de redes de Petri temporais no contexto de software embarcado

AUTOR(ES)

Peres, Leticia Mara, Künzle, Luis Allan, Todt, Eduardo

FONTE

Sba: Controle & Automação Sociedade Brasileira de Automatica

DATA DE PUBLICAÇÃO

2011-12

RESUMO

Redes de Petri e suas propriedades algébricas são usadas para modelar e analisar sistemas envolvendo paralelismo, concorrência e sincronização. Este artigo apresenta uma aplicação da técnica de Tempo Global (GTT - global time technique) que é uma abordagem para construir grafos de classes de redes de Petri temporais baseada nos tempos relativo e global. Além da construção deste grafo de classes propomos uma análise de escalonabilidade do tipo temporal quantitativa para políticas de prioridade fixa e earliest deadline first (EDF). Propomos que a análise de cenários, ou a duração de itinerários de comportamento, de um sistema pode ser feita usando esta técnica.

ASSUNTO(S)

rede de petri temporal análise quantitativa software embarcado

Documentos Relacionados

• Modelagem e análise do processo de desenvolvimento de software utilizando redes de Petri
• The application of mutation testing in the context of testing and validation of coloured Petri nets
• Aplicação do método B ao projeto formal de software embarcado
• Aplicação dos conceitos de modelagem e de redes de Petri na análise do processo produtivo da indústria sucroalcooleira.
• Aplicação dos conceitos de modelagem e de redes de Petri na análise do processo produtivo da indústria sucroalcooleira