메뉴 건너뛰기




Volumn , Issue , 2017, Pages 1-8

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

Author keywords

[No Author keywords available]

Indexed keywords

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

EID: 85044455687     PISSN: 19460740     EISSN: 19460759     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2017.8247599     Document Type: Conference Paper
Times cited : (29)

References (43)
  • 1
    • 85064398935 scopus 로고    scopus 로고
    • Date last accessed 10-April). [Online]
    • Time-sensitive networking. (Date last accessed 10-April-2017). [Online]. Available: http://www.ieee802.org/1/pages/tsn.html.
    • (2017) Time-sensitive Networking
  • 2
    • 84958765375 scopus 로고    scopus 로고
    • Combined task- And network-level scheduling for distributed time-triggered systems
    • 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.
    • (2016) Real-Time Systems , vol.52 , Issue.2 , pp. 161-200
    • Craciunas, S.S.1    Oliver, R.S.2
  • 3
    • 79951804265 scopus 로고    scopus 로고
    • An evaluation of SMT-based schedule synthesis for timetriggered multi-hop networks
    • 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.
    • (2010) 31st IEEE Real-Time Systems Symposium , pp. 375-384
    • Steiner, W.1
  • 6
    • 78649267729 scopus 로고    scopus 로고
    • (Date last accessed 10-April ). [Online]
    • Data distribution service. (Date last accessed 10-April, 2017). [Online]. Available: http://www.omg.org/spec/DDS/.
    • (2017) Data Distribution Service
  • 7
    • 85006059176 scopus 로고    scopus 로고
    • Chromosome: A run-time environment for plug & play-capable embedded real-time systems
    • 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.
    • (2014) ACM SIGBED Review , vol.11 , Issue.3 , pp. 36-39
    • Buckl, C.1    Geisinger, M.2    Gulati, D.3    Ruiz-Bertol, F.J.4    Knoll, A.5
  • 12
    • 85044455465 scopus 로고    scopus 로고
    • Stateflow. (Date last accessed 10-April, ). [Online]
    • Stateflow. (Date last accessed 10-April, 2017). [Online]. Available: https://de.mathworks.com/products/stateflow.html/.
    • (2017)
  • 17
    • 84861740876 scopus 로고    scopus 로고
    • A logic-based modeling and verification of cps
    • N. Saeedloei and G. Gupta, "A logic-based modeling and verification of cps, " SIGBED Rev., vol. 8, no. 2, pp. 31-34, 2011.
    • (2011) SIGBED Rev , vol.8 , Issue.2 , pp. 31-34
    • Saeedloei, N.1    Gupta, G.2
  • 18
    • 0031337405 scopus 로고    scopus 로고
    • A constraint-based approach for specification and verification of real-time systems
    • 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.
    • (1997) Proc. Real-Time Systems Symposium , pp. 230-239
    • Gupta, G.1    Pontelli, E.2
  • 19
    • 85013079314 scopus 로고    scopus 로고
    • A methodology for modeling and verification of cyber-physical systems based on logic programming
    • 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.
    • (2016) SIGBED Rev , vol.13 , Issue.2 , pp. 34-42
    • Saeedloei, N.1    Gupta, G.2
  • 24
    • 33646748281 scopus 로고    scopus 로고
    • Ontology-based integration of management behaviour and information definitions using swrl and owl
    • Springer
    • 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.
    • (2005) Ambient Networks , pp. 12-23
    • Guerrero, A.1    Villagŕa, V.A.2    De Vergara, J.E.L.3    Berrocal, J.4
  • 27
    • 27644495072 scopus 로고    scopus 로고
    • Ontology mapping for the interoperability problem in network management
    • 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.
    • (2005) IEEE Journal on Selected Areas in Communications , vol.23 , Issue.10 , pp. 2058-2068
    • Ray, P.1    Parameswaran, N.2    Strassner, J.3
  • 36
    • 84873950131 scopus 로고    scopus 로고
    • Simulative assessments of ieee 802.1 ethernet avb and time-triggered ethernet for advanced driver assistance systems and incar infotainment
    • 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.
    • (2012) IEEE Vehicular Networking Conference (VNC) , pp. 187-194
    • Alderisi, G.1    Caltabiano, A.2    Vasta, G.3    Iannizzotto, G.4    Steinbach, T.5    Bello, L.L.6
  • 37
    • 84896857340 scopus 로고    scopus 로고
    • Extending ieee 802.1 avb with time-triggered scheduling: A simulation study of the coexistence of synchronous and asynchronous traffic
    • 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.
    • (2013) IEEE Vehicular Networking Conference , pp. 47-54
    • Meyer, P.1    Steinbach, T.2    Korf, F.3    Schmidt, T.C.4
  • 40
    • 84962034245 scopus 로고    scopus 로고
    • Formal worst-case timing analysis of ethernet tsn's time-aware and peristaltic shapers
    • 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.
    • (2015) IEEE Vehicular Networking Conference (VNC) , pp. 251-258
    • Thiele, D.1    Ernst, R.2    Diemer, J.3
  • 42
    • 85013054110 scopus 로고    scopus 로고
    • Formally verifiable modeling of in-vehicle time-sensitive networks (tsn) based on logic programming
    • 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.
    • (2016) IEEE Vehicular Networking Conference (VNC)
    • Farzaneh, M.H.1    Shafaei, S.2    Knoll, A.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.