Formal timing analysis of automatic repeat request for switched real-time networks

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014

Volumn , Issue , 2014, Pages 78-87

  Axer, Philip ^a   Thiele, Daniel ^a   Ernst, Rolf ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; IMAGE COMMUNICATION SYSTEMS; NETWORK-ON-CHIP; PACKET NETWORKS;

AUTOMATIC REPEAT REQUEST; END-TO-END MECHANISMS; HARD REAL-TIME COMMUNICATION; REAL-TIME EMBEDDED SYSTEMS; REAL-TIME NETWORKS; RELEVANT FEATURES; TRANSMISSION ERROR; VIDEO TRANSMISSIONS;

SWITCHING CIRCUITS;

EID: 84906706988     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2014.6871191     Document Type: Conference Paper

References (18)

1. S. Lin, D. Costello, and M. Miller, "Automatic-repeat-request errorcontrol schemes," Communications Magazine, IEEE, vol. 22, no. 12, pp. 5-17. 1984.
2. A. Tanenbaum, Computer Networks, 4th ed. Prentice Hall Professional Technical Reference, 2002.
3. L. Thiele, S. Chakraborty, and M. Naedele, "Real-time calculus for scheduling hard real-time systems," in Circuits and Systems, 2000. Proceedings. ISCAS 2000 Geneva. The 2000 IEEE International Symposium on, vol. 4, 2000, pp. 101-104 volA
4. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst, "System Level Performance Analysis-The SymTNS Approach," lEE Proc. Computers and Digital Techniques. vol. 152. no. 2, pp. 148-166, March 2005.
5. K. Revsbech, H. Schipler, T. K. Madsen, and J. J. Nielsen, "Worst-case traversal time modelling of ethernet based in-car networks using real time calculus," in Proc. of NEW2AN. Berlin, Heidelberg: SpringerVerlag, 2011, pp. 2 19-230.
6. J. Rox and R. Ernst, "Formal timing analysis of full duplex switched based ethernet network architectures," in SAE World Congress, vol. System Level Architecture Design Tools and Methods (AE3 18). Detroit, MI, USA: SAE International, Apr 2010.
7. l. Broster, A. Burns, and G. Rodriguez-Navas, "Probabilistic analysis of CAN with faults," in Proc. of Real-Time Systems Symposium. IEEE, 2002, pp. 269-278.
8. l. Broster, A. Burns, and G. Rodriguez-Navas, "Comparing realtime communication under electromagnetic interference," in Proc. 16th ECRTS, 2004, pp. 45-52.
9. M. Sebastian and R. Ernst, "Reliability Analysis of Single Bus Communication with Real-Time Requirements," in Proc. of PRDC, 2009, pp. 3-10.
10. M. Yoshimoto, T. Takine, Y. Takahashi, and T. Hasegawa, "Waiting time and queue length distributions for go-back-n and selective-repeat arq protocols," vol. 41, no. 11, 1993, pp. 1687-1693.
11. H. Bruneel and M. Moeneclaey, "On the throughput performance of some continuous arq strategies with repeated transmissions;' vol. 34, no. 3, 1986, pp. 244-249.
12. S. Vassilaras, "A cross-layer optimized adaptive modulation and coding scheme for transmission of streaming media over wireless links," Wireless Networks, vol. 16, no. 4, pp. 903-914, 2010. [Online]. Available: http://dx.doi.orgllO. 1007/s 11276-009-0 176-z
13. S. Schliecker, J. Rox, M. Ivers, and R. Ernst, "Providing accurate event models for the analysis of heterogeneous mUltiprocessor systems," in Proc. of CODES-ISSS, October 2008, pp. 185-190.
14. Z. Shi and A. Burns, "Real-time communication analysis for on-chip networks with wormhole switching," in Networks-on-Chip, 2008. NoCS 2008. Second ACMIIEEE International Symposium on, 2008, pp. 16 1-170.
15. R. Davis, A. Burns, R. Bril, and J. Lukkien, "Controller area network (can) schedulability analysis: Refuted, revisited and revised," Real-Time Systems, vol. 35, no. 3, pp. 239-272, 2007.
16. S. Schliecker, J. Rox, R. Henia, R. Racu, A. Hamann, and R. Ernst, "Formal performance analysis for real-time heterogeneous embedded systems," in Model-Based Design of Heterogeneous Embedded Systems. CRC Press, nov 2009, ch. 3, pp. 57-92. [Online]. Available: http://www.crcpress.com/ product/isbnl978 1420067842
17. J. Diemer, P. Axer, and R. Ernst, "Compositional performance analysis in python with pycpa," in Proc. of WATERS, jul 2012. [Online]. Available: 1/retis.sssup.it/waters20 12/WATERS-2012-Proceedings.pdf
18. H.-T. Lim, K. Weckemann, and D. Herrscher, "Performance study of an in-car switched ethernet network without prioritization," in Proc. of international conference on Communication technologies for vehicles. Berlin, Heidelberg: Springer-Verlag, 2011, pp. 165-175. [Online]. Available: 1/dl.acm.org/citation.cfm?id=1987310.1987328