Patent ID: 7937341

Claim:
A flight computer for aircraft, implementing a method for generating a solution for sequencing specifications of an aircraft computer, wherein the method comprises: automatically analyzing specifications defined by a plurality of nodes to simplify and classify the nodes into a plurality of node types, wherein a node is classified into a node type as a function of one or more criteria, a constraint, or both; automatically assigning the nodes as a function of the node type in repetitive sub-cycles of processing tasks in order to obtain a uniform distribution of the tasks, wherein node types having a single criterion and no constraints are assigned using a basic principle in which the nodes are balanced across tasks so as to minimize the single criterion by assigning the node to the task having a lowest value of the criterion, and wherein node types having a constraint are assigned using a derivative principle in which the nodes are balanced across tasks such that more than one criterion is minimized; and automatically obtaining a sequencing solution, wherein an acceptable free load capacity of a computer processing unit of the flight computer is obtained.