杨骏峰,李峭.综合模块化航空电子多约束分区调度方法[J].电子测量技术,2017,40(6):152-155
综合模块化航空电子多约束分区调度方法
Multi constrained partitioned scheduling method of integrated modular avionics
  
DOI:
中文关键词:  调度  航空电子  IMA  分区约束条件  图论  SMT工具
英文关键词:scheduling  avionics  IMA  constraints of partition  graph theory  SMT tools
基金项目:中央高校基本科研业务费专用资金(YWF 15GJSYS 055)项目资助
作者单位
杨骏峰 北京航空航天大学电子信息工程学院北京100191 
李峭 北京航空航天大学电子信息工程学院北京100191 
AuthorInstitution
Yang Junfeng Beihang University, Beijing 100191, China 
Li Qiao Beihang University, Beijing 100191, China 
摘要点击次数: 919
全文下载次数: 1152
中文摘要:
      在综合模块化航空电子系统(integrated modular avionics, IMA)中,采用严格的空间和时间分区管理(partitioning)保证同一个模块上运行的不同应用可以共享处理资源。根据系统硬件资源和应用的要求,定义分区的多类型约束条件,使得分区到在各个模块上的分配和时分访问调度成为复杂的组合优化问题。通过将分区分配的预处理与满足性模理论(satisfiability modulo theories,SMT)求解调度表的方法相互结合,可以减少断言式和分区调度时刻变量的数量,提高求解效率;其中,预处理过程采用最大独立团算法,随后将剩余的分区约束条件转换成SMT工具可识别的逻辑表达式,形式化求解得到各个分区的调度时刻。通过规模不同的算例,验证了该方法可行性,并说明预处理过程对于快速判断满足性要求和缩短求解时间的好处。
英文摘要:
      In the integrated modular avionics (IMA), strict space and time partitioning management ensures that different applications running on the same module can share processing resources. According to the requirements of system hardware resources and applications, the multi type constraints of partition are defined, which makes the partitioning and time division access scheduling become complex combinatorial optimization problems. By combining the pre processing of partition allocation with satisfiability modulo theories (SMT) to solve the scheduling table, it is possible to reduce the number of variables at the time of assertion and partition scheduling, and improve the efficiency of the solution. The preprocessing process uses the maximum clique problems algorithm, and then transfer the rest of the district constraints into the logical expression that SMT can identify, using the formal solution to get the time of each partition scheduling. The feasibility of this method is verified by different numerical examples, and the advantage of the preprocessing process for quickly judging the satisfaction requirement and shortening the solution time is illustrated.
查看全文  查看/发表评论  下载PDF阅读器