嵌入式系统设计中的一个关键步骤是软硬件划分问题，即确定哪些部分由硬件实现及哪些部分由软件实现。软硬件划分与调度问题已经被证明是NP难题，所以大多数关于软硬件划分与调度问题的研究都集中在寻找一种有效的启发式的解决方案。随着近几年对软硬件划分与调度算法的不断改进，划分与调度算法已经达到了一个较高的水平，软硬件划分与调度算法上的优化效果已经非常有限，若再改进其算法难度比较大。　　 现代的嵌入式系统在功能上越来越齐全，其规模也越来越大，随着任务数的不断增多其系统的任务图也愈加复杂。鉴于软硬件划分与调度算法的效率已很难大幅提高，本文提出了任务图归约技术的新观点。在软硬件划分与调度之前对整个系统的任务图作一个预处理，找出所有满足要求的可归约子图，并按贪心思想找出一组不存在交叉的子图，把每个子图简化成一个任务结点，从而有效简化原始任务图。　　 本文主要提出了四个新的算法：随机任务图生成算法、基于BFS的算法、路径流(PFA)算法和选择无交叉子图算法，其核心是两个寻找可归约子图算法，即基于BFS的算法和路径流(PFA)算法。这两个算法都能找出任务图中所有符合要求的可归约子图，基于BFS的算法受广度优先搜索思想的启发，逐点遍历、核查，算法的时间复杂度较高，效率低。而路径流(PFA)算法则基于路径的思想，效率较高。其找出所有子图所花费的时间大概是前者的30％～80％。平均实验数据表明，该归约技术最坏情况下可以使任务图简化为原来的67％，最好情况下可简化为原来的58％。归约后的任务图能够有效降低划分与调度算法的运行时间，使划分更快速、更准确。