A Decomposition Approach For Smt-Based Schedule Synthesis For Time-Triggered Networks
PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA)(2015)
摘要
Real-time networks have tight communication latency and minimal jitter requirements. One way to ensure these requirements is the implementation of a static schedule, which defines the transmission points in time of time-triggered frames. Synthesizing such static schedules is known to be an NP-complete problem where the complexity is driven by the large number of constraints imposed by the network. Satisfiabily Modulo Theories (SMT) have been proven powerful tools to synthesize schedules of medium-to-large industrial networks. However, the schedules of new extremely large networks, such as integrated multi-machine factory networks, are defined by an extremely large number of constraints exceeding the capabilities of being synthesized by the tool alone.This paper presents a decomposition approach that will allow us to improve to synthesize schedules with up to two orders of magnitude in terms of the number of constraints that can be handled. We also present an implementation of a dependency tree on top of the decomposition approach to address application imposed constraints between frames.
更多查看译文
关键词
satisfiabily modulo theories,SMT based schedule synthesis,time-triggered networks,communication latency,jitter requirements,NP-complete problem,integrated multimachine factory networks
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络