Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming

IEEE Vehicular Networking Conference, VNC

Volumn 0, Issue , 2016, Pages

  Farzaneh, Morteza Hashemi ^a   Shafaei, Sina ^a   Knoll, Alois ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX NETWORKS; COMPUTER CIRCUITS; LOGIC PROGRAMMING; VEHICLES;

APPLICATION REQUIREMENTS; COMMUNICATION TECHNOLOGIES; CRITICAL APPLICATIONS; ETHERNET TECHNOLOGY; INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; MIXED CRITICALITIES; NON-FUNCTIONAL REQUIREMENTS; VERIFICATION PROCESS;

VEHICLE TO VEHICLE COMMUNICATIONS;

EID: 85013054110     PISSN: 21579857     EISSN: 21579865     Source Type: Conference Proceeding    
DOI: 10.1109/VNC.2016.7835941     Document Type: Conference Paper

References (15)

1. "Time-Sensitive Networking. " [Online]. Available: http://www. ieee802. org/1/pages/tsn. html
2. G. Gupta and E. Pontelli, "A constraint-based approach for specification and verification of real-time systems, " in Proceedings Real-Time Systems Symposium, Dec 1997, pp. 230-239.
3. N. Saeedloei and G. Gupta, "A logic-based modeling and verification of cps, " SIGBED Rev., vol. 8, no. 2, pp. 31-34, Jun. 2011. [Online]. Available: http://doi. acm. org/10. 1145/2000367. 2000374
4. "A methodology for modeling and verification of cyberphysical systems based on logic programming, " SIGBED Rev., vol. 13, no. 2, pp. 34-42, Apr. 2016. [Online]. Available: http://doi. acm. org/10. 1145/2930957. 2930963
5. B. T. Loo, T. Condie, M. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica, "Declarative networking, " Commun. ACM, vol. 52, no. 11, pp. 87-95, Nov. 2009. [Online]. Available: http://doi. acm. org/10. 1145/1592761. 1592785
6. A. Wang, P. Basu, B. T. Loo, and O. Sokolsky, "Declarative network verification, " in International Symposium on Practical Aspects of Declarative Languages. Springer, 2009, pp. 61-75.
7. T. L. Hinrichs, N. S. Gude, M. Casado, J. C. Mitchell, and S. Shenker, "Practical declarative network management, " in Proceedings of the 1st ACM Workshop on Research on Enterprise Networking, ser. WREN '09. New York, NY, USA: ACM, 2009, pp. 1-10. [Online]. Available: http://doi. acm. org/10. 1145/1592681. 1592683
8. N. P. Lopes, J. A. Navarro, A. Rybalchenko, and A. Singh, "Applying prolog to develop distributed systems, " Theory and Practice of Logic Programming, vol. 10, no. 4-6, pp. 691-707, 2010.
9. H. T. Lim, D. Herrscher, and F. Chaari, "Performance comparison of ieee 802. 1q and ieee 802. 1 avb in an ethernet-based in-vehicle network, " in Computing Technology and Information Management (ICCM), 2012 8th International Conference on, vol. 1, April 2012, pp. 1-6.
10. G. Alderisi, A. Caltabiano, G. Vasta, G. Iannizzotto, T. Steinbach, and L. L. Bello, "Simulative assessments of ieee 802. 1 ethernet avb and time-triggered ethernet for advanced driver assistance systems and in-car infotainment, " in Vehicular Networking Conference (VNC), 2012 IEEE, Nov 2012, pp. 187-194.
11. P. Meyer, T. Steinbach, F. Korf, and T. C. Schmidt, "Extending ieee 802. 1 avb with time-triggered scheduling: A simulation study of the coexistence of synchronous and asynchronous traffic, " in 2013 IEEE Vehicular Networking Conference, Dec 2013, pp. 47-54.
12. T. Steinbach, H. T. Lim, F. Korf, T. C. Schmidt, D. Herrscher, and A. Wolisz, "Beware of the hidden! how cross-traffic affects quality assurances of competing real-time ethernet standards for in-car communication, " in Local Computer Networks (LCN), 2015 IEEE 40th Conference on, Oct 2015, pp. 1-9.
13. S. Thangamuthu, N. Concer, P. J. L. Cuijpers, and J. J. Lukkien, "Analysis of ethernet-switch traffic shapers for in-vehicle networking applications, " in 2015 Design, Automation Test in Europe Conference Exhibition (DATE), March 2015, pp. 55-60.
14. D. Thiele, R. Ernst, and J. Diemer, "Formal worst-case timing analysis of ethernet tsn's time-aware and peristaltic shapers, " in Vehicular Networking Conference (VNC), 2015 IEEE, Dec 2015, pp. 251-258.
15. G. Alderisi, G. Iannizzotto, and L. Lo Bello, "Towards ieee 802. 1 ethernet avb for advanced driver assistance systems: a preliminary assessment, " Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), p. 4, 2012.