Synthesis of Extremely Large Time-Triggered Network Schedules

Proceedings

Pozo, Francisco¹ 

关键词: real-time networks;    time-triggered;    scheduling;    SMT solvers;   

DOI  :  10.3390/IS4SI-2017-04018

学科分类：社会科学、人文和艺术（综合）

来源: mdpi

【 摘 要 】

Synthesis of time-triggered network schedules is a known practice to obtain low jitter and bounded end-to-end delay needed in some applications where not only the information but the transmission timings are crucial. However, synthesizing such schedules is a NP-complete problem where state-of-the-art synthesizers are being out scaled by the increasing size and complexity of new application networks. We present different divide and conquer approaches to handle the increasing complexity of future networks while maintaining the synthesis time reasonably low.

【 授权许可】

CC BY