ACTA AERONAUTICAET ASTRONAUTICA SINICA >
Stochastic network calculus for analysis of latency on TTEthernet network
Received date: 2015-07-08
Revised date: 2015-11-13
Online published: 2015-11-23
Supported by
National Natural Science Foundation of China (61301086);the Fundamental Research Funds for the Central Universities (YWF-14-DZXY-018, YWF-14-DZXY-023)
Time-triggered Ethernet (TTE) is a novel hybrid communication network with time-triggered and event-triggered messages. The determinacy of avionics full duplex (AFDX) switched Ethernet is improved by introducing the time-trigger (TT) flow. Even though TT flow has full time certainty, rate-constraint (RC) flow which is compatible with the virtual link (VL) in the AFDX network is still uncertain. Since the influence of fixed schedule slots of TT flow, traditional performance analysis methods used in the AFDX network are not suitable for the. In order to guarantee the real-time performance of RC flow, we propose two latency analysis models respectively based on the deterministic network calculus and stochastic network calculus. Under the deterministic network calculus, the latency upper bounds of RC flow are obtained by constructing the aggregate arrival curve of TT flow and service curve for RC flow. Under the stochastic network calculus, we compute the probabilistic upper bounds for RC flow by constructing two states Bernoulli distribution models for RC flow through Chernoff bound. Comparison results show that stochastic network calculus reduces the pessimism of deterministic network calculus on the performance analysis of RC flow. In addition, simulation results verify the correctness of two theoretical methods in some degree.
ZHAO Luxi , LI Qiao , LIN Wanqing , XIONG Huagang . Stochastic network calculus for analysis of latency on TTEthernet network[J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2016 , 37(6) : 1953 -1961 . DOI: 10.7527/S1000-6893.2015.0305
[1] SAE. Time-triggered ethernet:AS6802[S]. Warrendale, PA:SAE International, 2011.
[2] KOPETZ H, GRUNSTEIDL G. The time-triggered ethernet (TTE) design[C]//8th IEEE International Symposium on Object Oriented Real-Time Distributed Computing. Piscataway, NJ:IEEE Press, 2005:22-33.
[3] KOPETZ H. Real-time systems:Design principles for distributed embedded applications[M]. Berlin:Springer, 2011:167-188.
[4] ARINC. ARINC Specification 664P7:Aircraft data network, Part 7:Avionics full-duplex switched Ethernet network[S]. New York:Aeronautical Radio Inc., 2009.
[5] STEINER W, BAUER G, HALL B, et al. TTEthernet dataflow concept[C]//8th IEEE International Symposium on Network Computing and Applications. Piscataway, NJ:IEEE Press, 2009:319-322.
[6] TAMAS-SELICEAN D. Design of mixed-criticality applications on distributed real-time systems[D]. Denmark:Technical University of Denmark, 2014:86-98.
[7] TAMAS-SELICEAN D, POP P, STEINER W. Design optimization of TTEthernet-based distributed real-time systems[J]. Real-Time Systems, 2015, 51(1):1-35.
[8] 易娟, 熊华钢, 何峰, 等. TTE网络流量转换策略及其延时性能保障调度算法研究[J]. 航空学报, 2014, 35(4):1071-1078. YI J, XIONG H G, HE F, et al. Research on traffic classes transformation strategy and real-time guarantee scheduling algorithm in TTEthernet[J]. Acta Aeronautica et Astronautica Sinica, 2014, 35(4):1071-1078(in Chinese).
[9] STEINER W. An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks[C]//IEEE 31st Real-Time Systems Symposium (RTSS). Piscataway, NJ:IEEE Press, 2010:375-384.
[10] STEINER W. Synthesis of static communication schedules for mixed-criticality systems[C]//14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Work-shops. Piscataway, NJ:IEEE Press, 2011:11-18.
[11] TAMAS-SELICEAN D, POP P, STEINER W. Synthesis of communication schedules for TTEthernet-based mixed-criticality systems[C]//Proceedings of the 8th IEEE/ACM/IFIP International Conference on Hard-ware/Software Codesign and System Synthesis. New York:ACM Press, 2012:473-482.
[12] TAMAS-SELICEAN D, POP P, STEINER W. Timing analysis of rate constrained traffic for the TTEthernet communication protocol[C]//Proceedings of the 18th IEEE International Symposium on Real-Time Distributed Computing. Piscataway, NJ:IEEE Press, 2015:119-126.
[13] 刘晚春, 李峭, 何峰, 等. 时间触发以太网同步及调度机制的研究[J]. 航空计算技术, 2011, 41(4):122-127. LIU W C, LI Q, HE F, et al. Research on time-triggered Ethernet synchronization and scheduling mechanism[J]. Aeronautical Computing Technique, 2011, 41(4):122-127(in Chinese).
[14] FRANCES F, FRABOUL C, GRIEU J. Using network calculus to optimize the AFDX network[C]//3rd European Congress ERTS Embedded Real-time Software. Toulouse, France:OATAO Press, 2006:1-8.
[15] BOYER M. Half-modeling of shaping in FIFO net with network calculus[C]//18th International Conference on Real-Time and Network Systems, 2010:59-68.
[16] SCHARBARG J L, RIDOUARD F, FRABOUL C. A probabilistic analysis of end-to-end delays on an AFDX avionic net-work[J]. IEEE Transactions on Industrial Informatics, 2009, 5(1):28-49.
[17] RIDOUARD F, SCHARBARG J L, FRABOUL C. Probabilistic upper bounds for heterogeneous flows using a static priority queueing on an AFDX network[C]//IEEE International Conference on Emerging Technologies and Factory Automation. Piscataway, NJ:IEEE Press, 2008:1220-1227.
[18] ADNAN M, SCHARBARG J L, ERMONT J, et al. Model for worst case delay analysis of an AFDX network using timed automata[C]//IEEE Conference on Emerging Technologies and Factory Automation. Piscataway, NJ:IEEE Press, 2010:1-4.
[19] ZHAO L X, XIONG H G, ZHENG Z, et al. Improving worst case latency analysis for rate-constrained traffic in the time-triggered Ethernet network[J]. IEEE Communications Letters, 2014, 18(11):1927-1930.
[20] LE BOUDEC J Y, THIRAN P. Network calculus:A theory of deterministic queuing systems for the internet[M]. Berlin:Springer, 2001:3-59.
[21] CHANG C S, CHIU Y M, SONG W T. On the performance of multiplexing independent regulated inputs[C]//ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. New York:ACM Press, 2001:184-193.
[22] FIDLER M. An end-to-end probabilistic network calculus with moment generating functions[C]//14th IEEE International Workshop on Quality of Service. Piscataway, NJ:IEEE Press, 2006:261-270.
/
〈 | 〉 |