JOB SCHEDULER FOR ELECTROMECHANICAL SYSTEM FOR BIOLOGICAL ANALYSES
World Intellectual Property Organization Patent
Stats
Importance
Abstract
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 heuristics for sub-optimal solutions and, by mean of incremental algorithmic refinements permits to attain the expected performance requirements.
First Claim
Family
International Classification(s)
Cited Art Landscape
Advertisement
Advertisement
Advertisement
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address