Resumo:
A ferramenta realiza a modelagem formal e escalonamento de tarefas para sistemas de tempo real críticos.
O escalonamento é feito em tempo de projeto e o modelo formal adotado é Time Petri Net.
A ferramenta é um produto das teses de doutorado de Raimundo Barreto da Silva e Eduardo Antonio Guimarães Tavares.
Solução Proposta:
O software permite a automatização da modelagem formal e escalonamento de sistemas de tempo real, a fim de satisfazer restrições temporais críticas e consumo de energia.
Ademais, a ferramenta possui funcionalidades para integração com outras ferramentas, permitindo análise e verificação de propriedades quantitativas e qualitativas.
Autores:
Eduardo Antonio Guimarães Tavares, Paulo Romero Martins Maciel, Raimundo da Silva Barreto e Bruno Silva.
Propriedade Intelectual:
Registro INPI: BR 512021001366-2
Objetivo da UFPE:
Licenciamento ou Parceria para Desenvolvimento
Contato
(81) 3879-5805
secretariadine.propesqi@ufpe.br