ИСТИНА

In this presentation, the problem of automatic scheduling of computational tasks in integrated modular avionics (IMA) systems is addressed. This problem breaks down into: (1) assigning the partitions (groups of related tasks) to processor cores of different IMA modules, and (2) constructing sets of task execution windows for all cores, along with defining the tasks’ priorities. For the first subproblem, a greedy algorithm which minimizes the inter-module data ex-change is presented. For the second subproblem, an algorithm is presented which constructs a schedule conforming to a set of constraints imposed by the IMA architecture and specifics of the target system. Results of experimental evaluation of these algorithms are presented. The algorithms are implemented in a tool system for scheduling of computations in IMA systems.