agendador de trabalhos para sistema eletromecânico de análises biológicas

resumo “agendador de trabalhos para sistema eletromecânico de análises biológicas” a 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. The present invention relates to a method and system for scheduling a plurality of concurrent job sequences with constraints of precedence and mutual exclusion. In particular the present invention relates to a scheduler for a system performing biological analyses on clinical samples including non-preemptible jobs which must use a set of resources (machines) and having constraints on release times and execution times. Scheduling problem arose in a real industrial system. In principle this problem can be formulated as a case of Real Time Model Checking on a concurrent model such as a Time Petri Net or a Timed Automaton. However, this approach is not viable in the expected runtime embedded platform. The scheduling method according to a preferred embodiment of the present invention exploits on-purpose algorithmic solution that extracts the core of DBM data structures and Floyd-Warshall algorithm from the engine of a full-fledged Model Checking tool and tailors it to the specific requirements of the case. This largely reduces the complexity of search allowing heuri