[1] FINZI A, MIFDAOUI A, FRANCES F, et al. Network calculus-based timing analysis of AFDX networks with strict priority and TSN/BLS shapers[C]//The 13th International Symposium on Industrial Embedded Systems (SIES). Graz: IEEE, 2018: 1-10.
[2] ZHANG J Y, CHEN L H, WANG T T, et al. Analysis of TSN for industrial automation based on network calculus[C]//The 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). Zaragoza: IEEE, 2019: 240-247.
[4] BOUILLARD A, BOYER M, LE CORRONC E. Deterministic network calculus: from theory to practical implementation[M]. Hoboken: Wiley-ISTE, 2018.
[5] BONDORF S, NIKOLAUS P, SCHMITT J B. Quality and cost of deterministic network calculus: design and evaluation of an accurate and fast analysis[J]. Proceedings of the ACM on Measurement and Analysis of Computing Systems, 2017, 1(1): 1-34.
[6] MOHAMMADPOUR E, STAI E, MOHIUDDIN M, et al. End-to-end latency and backlog bounds in time-sensitive networking with credit based shapers and asynchronous traffic shaping[C]//Proceedings of the 30th International Teletraffic Congress. Vienna: IEEE, 2018: 10608.
[7] Airlines Electronic Engineering Committee. Aircraft data network. Part 7: Avionics Full Duplex Switched Ethernet (AFDX) network: ARINC specification 664[S]. Annapolis: Aeronautical Radio Inc., 2002.
[8] PAHLEVAN M, OBERMAISSER R. Redundancy management for safety-critical applications with time sensitive networking[C]//The 28th International Telecommunication Networks and Applications Conference (ITNAC). Sydney: IEEE, 2018: 1-7.
[9] CRUZ R L. A calculus for network delay. I. Network elements in isolation[J]. IEEE Transactions on Information Theory, 1991, 37(1): 114-131.
[10] PAREKH A K, GALLAGER R G. A generalized processor sharing approach to flow control in integrated services networks: the single-node case[J]. IEEE/ACM Transactions on Networking, 1993, 1(3): 344-357.
[11] CHANG C S. On deterministic traffic regulation and service guarantees: a systematic approach by filtering[J]. IEEE Transactions on Information Theory, 1998, 44(3): 1097-1110.
[12] BOUDEC J Y, THIRAN P. Network calculus: a theory of deterministic queuing systems for the Internet[M]. Berlin: Springer, 2001.
[14] Standard for local and metropolitan area network-timing and synchronization for time-sensitive applications in bridged local area networks: IEEE Std 802.1AS-2011[S]. [S.l.]: IEEE, 2011.
[15] Standard for local and metropolitan area networks-Media Access Control (MAC) bridges and virtual bridged local area networks-amendment: frame preemption: IEEE Std 802.1Qbu-2016[S]. [S.l.]: IEEE, 2016.
