"Método de agendamento, sistema para agendar a execução de vários trabalhos não preemptivos e sistema eletromecânico para executar análises biológicas".

IPC Classification

Priority claims

Abstract

RESUMOAGENDADOR DE TRABALHOS PARA SISTEMA ELETROMECÂNICO DE ANÁLISES BIOLÓGICASA presente invenção se refere a um método e sistema para agendar várias sequências de trabalhos simultâneos com restrições de precedência e de exclusão mútua. Mais especificamente, a presente invenção se refere a um agendador para um sistema que efetua análises biológicas em amostras clínicas incluindo trabalhos não preemptivos que devem utilizar um conjunto de recursos (máquinas) e que possuem restrições quanto aos tempos de liberação e tempos de execução. O problema do agendamento surgiu em um sistema industrial real. Em princípio, esse problema pode ser formulado como um caso de Verificação de Modelos em Tempo Real em um modelo simultâneo, tal como uma Rede de Petri de Tempo ou um Autômato Temporizado. No entanto, essa abordagem é inviável na plataforma embutida de tempo de execução esperada. O método de agendamento de acordo com uma concretização preferida da presente invenção explora uma solução algorítmica proposital que extrai o núcleo de estruturas de dados DBM e o algoritmo de Floyd-Warshall do motor de uma ferramenta de Verificação de Modelos completa e os adapta às necessidades específicas do caso. Isso diminui em grande medida a complexidade da busca, permitindo a heurística por soluções sub-ideais, e, por meio de refinamentos algorítmicos incrementais, permite atingir os requisitos de desempenho esperados.