A graphical modeling tool supporting automated schedule synthesis for time-sensitive networking

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2017, Pages 1-8

  Farzaneh, Morteza Hashemi ^a   Kugele, Stefan ^a   Knoll, Alois ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FACTORY AUTOMATION; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; QUALITY OF SERVICE;

ETHERNET TECHNOLOGY; INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; MIXED CRITICALITIES; NETWORK KNOWLEDGE; SATISFIABILITY MODULO THEORIES; TIME-CONSUMING PROCEDURE; TIME-TRIGGERED COMMUNICATIONS; UNSATISFIABLE CORE;

GRAPHIC METHODS;

EID: 85044455687     PISSN: 19460740     EISSN: 19460759     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2017.8247599     Document Type: Conference Paper

References (43)

1. Time-sensitive networking. (Date last accessed 10-April-2017). [Online]. Available: http://www.ieee802.org/1/pages/tsn.html.
2. S. S. Craciunas and R. S. Oliver, "Combined task- And network-level scheduling for distributed time-triggered systems, " Real-Time Systems, vol. 52, no. 2, pp. 161-200, 2016.
3. W. Steiner, "An evaluation of smt-based schedule synthesis for timetriggered multi-hop networks, " in 31st IEEE Real-Time Systems Symposium, 2010, pp. 375-384.
4. S. S. Craciunas, R. S. Oliver, M. Chmeĺik, and W. Steiner, "Scheduling real-time communication in ieee 802.1qbv time sensitive networks, " in Proc. of the 24th International Conference on Real-Time Networks and Systems, ser. RTNS '16. ACM, 2016, pp. 183-192.
5. L. Zhang, D. Goswami, R. Schneider, and S. Chakraborty, "Task- And network-level schedule co-synthesis of ethernet-based time-triggered systems, " in 19th Asia and South Pacific Design Automation Conference (ASP-DAC), 2014, pp. 119-124.
6. Data distribution service. (Date last accessed 10-April, 2017). [Online]. Available: http://www.omg.org/spec/DDS/.
7. C. Buckl, M. Geisinger, D. Gulati, F. J. Ruiz-Bertol, and A. Knoll, "Chromosome: A run-time environment for plug & play-capable embedded real-time systems, " ACM SIGBED Review, vol. 11, no. 3, pp. 36-39, 2014.
8. H. Gomaa, "Designing concurrent, distributed, and real-time applications with uml, " in IEEE Proc. of the 23rd International Conference on Software Engineering, ser. ICSE '01, 2001, pp. 737-738.
9. J. Rumbaugh, I. Jacobson, and G. Booch, Unified Modeling Language Reference Manual, The (2Nd Edition). Pearson Higher Education, 2004.
10. F. Huber, B. Schätz, A. Schmidt, and K. Spies, AutoFocus - A tool for distributed systems specification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996, pp. 467-470.
11. M. H. Farzaneh, S. Feldmann, C. Legat, J. Folmer, and B. Vogel-Heuser, "Modeling multicore programmable logic controllers in networked automation systems, " in IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, 2013, pp. 4398-4403.
12. Stateflow. (Date last accessed 10-April, 2017). [Online]. Available: https://de.mathworks.com/products/stateflow.html/.
13. T. Weilkiens, Systems engineering with SysML/UML: modeling, analysis, design. Morgan Kaufmann, 2011.
14. J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming heterogeneity - The ptolemy approach, " Proc. of the IEEE, vol. 91, no. 1, pp. 127-144, 2003.
15. F. Mallet and R. de Simone, Marte: A profile for rt/e systems modeling, analysis-and simulation? in Proc. of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, ser. Simutools '08, 2008, pp. 43:1-43:8.
16. K. G. Larsen, P. Pettersson, and W. Yi, "Uppaal in a nutshell, " International Journal on Software Tools for Technology Transfer, vol. 1, no. 1, pp. 134-152, 1997.
17. N. Saeedloei and G. Gupta, "A logic-based modeling and verification of cps, " SIGBED Rev., vol. 8, no. 2, pp. 31-34, 2011.
18. G. Gupta and E. Pontelli, "A constraint-based approach for specification and verification of real-time systems, " in Proc. Real-Time Systems Symposium, 1997, pp. 230-239.
19. N. Saeedloei and G. Gupta, "A methodology for modeling and verification of cyber-physical systems based on logic programming, " SIGBED Rev., vol. 13, no. 2, pp. 34-42, 2016.
20. 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, 2009.
21. 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.
22. T. L. Hinrichs, N. S. Gude, M. Casado, J. C. Mitchell, and S. Shenker, "Practical declarative network management, " in Proc. of the 1st ACM Workshop on Research on Enterprise Networking, ser. WREN '09. New York, NY, USA: ACM, 2009.
23. 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.
24. A. Guerrero, V. A. Villagŕa, J. E. L. De Vergara, and J. Berrocal, "Ontology-based integration of management behaviour and information definitions using swrl and owl, " in Ambient Networks. Springer, 2005, pp. 12-23.
25. S. Van der Meer, B. Jennings, D. O'Sullivan, D. Lewis, and N. Agoulmine, "Ontology based policy mobility for pervasive computing, " 2005.
26. J. Keeney, D. Lewis, D. O'Sullivan, A. Roelens, V. Wade, A. Boran, and R. Richardson, "Runtime semantic interoperability for gathering ontology-based network context, " in 10th IEEE/IFIP Network Operations and Management Symposium (NOMS), 2006, pp. 56-65.
27. P. Ray, N. Parameswaran, J. Strassner et al., "Ontology mapping for the interoperability problem in network management, " IEEE Journal on Selected Areas in Communications, vol. 23, no. 10, pp. 2058-2068, 2005.
28. J. E. L. De Vergara, A. Guerrero, V. A. Villagŕa, and J. Berrocal, "Ontology-based network management: study cases and lessons learned, " Journal of Network and Systems Management, vol. 17, no. 3, pp. 234-254, 2009.
29. M. H. Farzaneh and A. Knoll, "An ontology-based plug-and-play approach for in-vehicle time-sensitive networking (tsn), " in IEEE 7th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON), 2016.
30. A. K. Bandara, A. Kakas, E. C. Lupu, and A. Russo, "Using argumentation logic for firewall policy specification and analysis, " in Large Scale Management of Distributed Systems. Springer, 2006, pp. 185-196.
31. T. Klie, F. Gebhard, and S. Fischer, "Towards automatic composition of network management web services, " in 10th IFIP/IEEE International Symposium on Integrated Network Management, 2007, pp. 769-772.
32. A. Martinez, M. Yannuzzi, J. Lopez de Vergara, R. Serral-Gracia, and W. Ramirez, "An ontology-based information extraction system for bridging the configuration gap in hybrid sdn environments, " in IFIP/IEEE International Symposium on Integrated Network Management (IM), 2015, pp. 441-449.
33. N. F. Noy, M. Sintek, S. Decker, M. Crubézy, R. W. Fergerson, and M. A. Musen, "Creating semantic web contents with protege-2000, " IEEE intelligent systems, vol. 16, no. 2, pp. 60-71, 2001.
34. 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 8th International Conference on Computing Technology and Information Management (ICCM), vol. 1, 2012.
35. F. Reimann, S. Graf, F. Streit, M. Gla, and J. Teich, "Timing analysis of ethernet avb-based automotive e/e architectures, " in IEEE 18th Conference on Emerging Technologies Factory Automation (ETFA), 2013.
36. 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 incar infotainment, " in IEEE Vehicular Networking Conference (VNC), 2012, pp. 187-194.
37. 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 IEEE Vehicular Networking Conference, 2013, pp. 47-54.
38. 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 IEEE 40th Conference on Local Computer Networks (LCN), 2015.
39. S. Thangamuthu, N. Concer, P. J. L. Cuijpers, and J. J. Lukkien, "Analysis of ethernet-switch traffic shapers for in-vehicle networking applications, " in Design, Automation Test in Europe Conference Exhibition (DATE), 2015, pp. 55-60.
40. D. Thiele, R. Ernst, and J. Diemer, "Formal worst-case timing analysis of ethernet tsn's time-aware and peristaltic shapers, " in IEEE Vehicular Networking Conference (VNC), 2015, pp. 251-258.
41. D. Thiele and R. Ernst, "Formal worst-case performance analysis of time-sensitive ethernet with frame preemption, " in IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016.
42. M. H. Farzaneh, S. Shafaei, and A. Knoll, "Formally verifiable modeling of in-vehicle time-sensitive networks (tsn) based on logic programming, " in IEEE Vehicular Networking Conference (VNC), 2016.
43. F. Pozo, G. Rodriguez-Navas, H. Hansson, and W. Steiner, "Smt-based synthesis of ttethernet schedules: A performance study, " in International Symposium on Industrial Embedded Systems (SIES). IEEE, 2015, pp. 1-4.