메뉴 건너뛰기




Volumn , Issue , 2018, Pages 13-24

IEEE 802.1Qbv gate control list synthesis using array theory encoding

Author keywords

Networks; Scheduling; SMT; Tsn

Indexed keywords

ECONOMIC AND SOCIAL EFFECTS; IEEE STANDARDS; NETWORKS (CIRCUITS); PETROLEUM RESERVOIR EVALUATION; SCALE (DEPOSITS); SCHEDULING; SIGNAL ENCODING; SURFACE MOUNT TECHNOLOGY;

EID: 85052481828     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2018.00008     Document Type: Conference Paper
Times cited : (159)

References (39)
  • 2
    • 84979756069 scopus 로고    scopus 로고
    • Institute of Electrical and Electronics Engineers, Inc, retrieved 06-Jul-2017
    • Institute of Electrical and Electronics Engineers, Inc, "Time-Sensitive Networking Task Group, " http://www. ieee802. org/ 1/pages/tsn. html, 2016, retrieved 06-Jul-2017.
    • (2016) Time-Sensitive Networking Task Group
  • 4
    • 85058490259 scopus 로고    scopus 로고
    • Institute of Electrical and Electronics Engineers, Inc
    • Institute of Electrical and Electronics Engineers, Inc, "802. 1Qci-Per-Stream Filtering and Policing, " http://www. ieee802. org/1/pages/802. 1ci. htmll, 2017.
    • (2017) 802. 1Qci-Per-Stream Filtering and Policing
  • 5
    • 85058464869 scopus 로고    scopus 로고
    • Institute of Electrical and Electronics Engineers, Inc
    • Institute of Electrical and Electronics Engineers, Inc, "802. 1Qbu-Frame Preemption, " http://www. ieee802. org/1/ pages/802. 1bu. html, 2017.
    • (2017) 802. 1Qbu-Frame Preemption
  • 6
    • 85051182420 scopus 로고    scopus 로고
    • Institute of Electrical and Electronics Engineers, Inc
    • Institute of Electrical and Electronics Engineers, Inc, "802. 1CB-Frame Replication and Elimination for Reliability, " http://www. ieee802. org/1/pages/802. 1cb. html, 2017.
    • (2017) 802. 1CB-Frame Replication and Elimination for Reliability
  • 7
    • 85052465640 scopus 로고    scopus 로고
    • Institute of Electrical and Electronics Engineers, Inc, draft 3. 1
    • Institute of Electrical and Electronics Engineers, Inc, "802. 1Qbv-Enhancements for Scheduled Traffic, " http:// www. ieee802. org/1/pages/802. 1bv. html, 2016, draft 3. 1.
    • (2016) 802. 1Qbv-Enhancements for Scheduled Traffic
  • 9
    • 0141684229 scopus 로고    scopus 로고
    • The time-triggered architecture
    • H. Kopetz and G. Bauer, "The time-triggered architecture, " Proceedings of the IEEE, vol. 91, no. 1, pp. 112-126, 2003.
    • (2003) Proceedings of the IEEE , vol.91 , Issue.1 , pp. 112-126
    • Kopetz, H.1    Bauer, G.2
  • 11
    • 35148824363 scopus 로고    scopus 로고
    • What's decidable about arrays?
    • Springer-Verlag
    • A. R. Bradley, Z. Manna, and H. B. Sipma, "What's Decidable About Arrays?" in Proc. VMCAI. Springer-Verlag, 2006.
    • (2006) Proc. VMCAI
    • Bradley, A.R.1    Manna, Z.2    Sipma, H.B.3
  • 12
    • 0002891241 scopus 로고
    • Towards a mathematical science of computation
    • North-Holland
    • J. Mccarthy, "Towards a Mathematical Science of Computation, " in In IFIP Congress. North-Holland, 1962, pp. 21-28.
    • (1962) IFIP Congress , pp. 21-28
    • McCarthy, J.1
  • 13
    • 79951804265 scopus 로고    scopus 로고
    • An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks
    • IEEE
    • W. Steiner, "An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks, " in Proc. RTSS. IEEE, 2010.
    • (2010) Proc. RTSS.
    • Steiner, W.1
  • 14
    • 84933587849 scopus 로고    scopus 로고
    • SMT-based task-and network-level static schedule generation for time-triggered networked systems
    • S. S. Craciunas and R. Serna Oliver, "SMT-based task-and network-level static schedule generation for time-triggered networked systems, " in Proc. RTNS. ACM, 2014.
    • (2014) Proc. RTNS. ACM
    • Craciunas, S.S.1    Serna Oliver, R.2
  • 15
    • 84958765375 scopus 로고    scopus 로고
    • Combined task-and network-level scheduling for distributed time-triggered systems
    • S. S. Craciunas and R. Serna 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    Serna Oliver, R.2
  • 16
    • 85058475256 scopus 로고    scopus 로고
    • Complete modelling of AVB in network calculus framework
    • J. A. R. De Azua and M. Boyer, "Complete modelling of AVB in network calculus framework, " in Proc. RTNS. ACM, 2014.
    • (2014) Proc. RTNS. ACM
    • De Azua, J.A.R.1    Boyer, M.2
  • 17
    • 84884634865 scopus 로고    scopus 로고
    • Improved scheduling of control tasks
    • IEEE
    • A. Cervin, "Improved scheduling of control tasks, " in Proc. ECRTS. IEEE, 1999.
    • (1999) Proc. ECRTS.
    • Cervin, A.1
  • 19
    • 48949101163 scopus 로고    scopus 로고
    • Lazy satisfiability modulo theories
    • R. Sebastiani, "Lazy Satisfiability Modulo Theories, " JSAT, vol. 3, no. 3-4, pp. 141-224, 2007.
    • (2007) JSAT , vol.3 , Issue.3-4 , pp. 141-224
    • Sebastiani, R.1
  • 20
    • 84950996979 scopus 로고    scopus 로고
    • OptiMathSAT: A tool for optimization modulo theories
    • Springer
    • R. Sebastiani and P. Trentin, "OptiMathSAT: A Tool for Optimization Modulo Theories. " in Proc. CAV, ser. LNCS, vol. 9206. Springer, 2015.
    • (2015) Proc. CAV, Ser. LNCS , vol.9206
    • Sebastiani, R.1    Trentin, P.2
  • 21
    • 85052148586 scopus 로고    scopus 로고
    • Z-an optimizing SMT solver
    • Springer-Verlag New York, Inc.
    • N. Bjorner, A.-D. Phan, and L. Fleckenstein, "?Z-An Optimizing SMT Solver, " in Proc. TACAS. Springer-Verlag New York, Inc., 2015.
    • (2015) Proc. TACAS.
    • Bjorner, N.1    Phan, A.-D.2    Fleckenstein, L.3
  • 22
    • 80052312354 scopus 로고    scopus 로고
    • Satisfiability modulo theories: Introduction and applications
    • L. De Moura and N. Bjorner, "Satisfiability modulo theories: Introduction and applications, " Commun. ACM, vol. 54, no. 9, pp. 69-77, 2011. [Online]. Available: http://doi. acm. org/10. 1145/1995376. 1995394
    • (2011) Commun. ACM , vol.54 , Issue.9 , pp. 69-77
    • De Moura, L.1    Bjorner, N.2
  • 23
    • 84997109743 scopus 로고    scopus 로고
    • Satisfiability checking: Theory and applications
    • Springer
    • E. á brahám and G. Kremer, "Satisfiability checking: Theory and applications, " in Proc. SEFM. Springer, 2016.
    • (2016) Proc. SEFM.
    • Abrahám, E.1    Kremer, G.2
  • 24
    • 47249164288 scopus 로고    scopus 로고
    • Z3: An efficient SMT solver
    • Springer-Verlag
    • L. De Moura and N. Bjorner, "Z3: An efficient SMT solver, " in Proc. TACAS. Springer-Verlag, 2008.
    • (2008) Proc. TACAS.
    • De Moura, L.1    Bjorner, N.2
  • 25
    • 33947620656 scopus 로고    scopus 로고
    • Using network calculus to optimize the AFDX network
    • F. Frances, C. Fraboul, and J. Grieu, "Using network calculus to optimize the AFDX network, " in Proc. ERTS, 2006.
    • (2006) Proc. ERTS
    • Frances, F.1    Fraboul, C.2    Grieu, J.3
  • 26
    • 85008472801 scopus 로고    scopus 로고
    • Timing analysis of rate-constrained traffic in TTEthernet using network calculus
    • L. Zhao, P. Pop, Q. Li, J. Chen, and H. Xiong, "Timing analysis of rate-constrained traffic in TTEthernet using network calculus, " Real-Time Systems, vol. 53, no. 2, pp. 254-287, 2017.
    • (2017) Real-Time Systems , vol.53 , Issue.2 , pp. 254-287
    • Zhao, L.1    Pop, P.2    Li, Q.3    Chen, J.4    Xiong, H.5
  • 27
    • 0024685691 scopus 로고
    • The cyclic executive model and ada
    • T. P. Baker and A. Shaw, "The cyclic executive model and ada, " Real-Time Systems, vol. 1, no. 1, pp. 7-25, 1989.
    • (1989) Real-Time Systems , vol.1 , Issue.1 , pp. 7-25
    • Baker, T.P.1    Shaw, A.2
  • 29
    • 84862081944 scopus 로고    scopus 로고
    • Static scheduling of a time-triggered network-on-chip based on SMT solving
    • IEEE
    • J. Huang, J. O. Blech, A. Raabe, C. Buckl, and A. Knoll, "Static scheduling of a time-triggered network-on-chip based on SMT solving. " in Proc. DATE. IEEE, 2012.
    • (2012) Proc. DATE.
    • Huang, J.1    Blech, J.O.2    Raabe, A.3    Buckl, C.4    Knoll, A.5
  • 31
    • 2142658756 scopus 로고    scopus 로고
    • Schedulability-driven communication synthesis for time triggered embedded systems
    • P. Pop, P. Eles, and Z. Peng, "Schedulability-driven communication synthesis for time triggered embedded systems, " Real-Time Syst., vol. 26, no. 3, pp. 297-325, 2004.
    • (2004) Real-Time Syst. , vol.26 , Issue.3 , pp. 297-325
    • Pop, P.1    Eles, P.2    Peng, Z.3
  • 32
    • 85021821793 scopus 로고    scopus 로고
    • Synchronization Quality of IEEE 802. 1AS in Large-Scale Industrial Automation Networks
    • IEEE
    • M. Gutiérrez, W. Steiner, R. Dobrin, and S. Punnekkat, "Synchronization Quality of IEEE 802. 1AS in Large-Scale Industrial Automation Networks, " in Proc. RTAS. IEEE, 2017.
    • (2017) Proc. RTAS.
    • Gutiérrez, M.1    Steiner, W.2    Dobrin, R.3    Punnekkat, S.4
  • 33
    • 84989967424 scopus 로고    scopus 로고
    • Urgency-based scheduler for time-sensitive switched ethernet networks
    • J. Specht and S. Samii, "Urgency-Based Scheduler for Time-Sensitive Switched Ethernet Networks, " in Proc. ECRTS. IEEE Computer Society, 2016.
    • (2016) Proc. ECRTS. IEEE Computer Society
    • Specht, J.1    Samii, S.2
  • 34
    • 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. Schmidt, "Extending IEEE 802. 1 AVB with time-triggered scheduling: A simulation study of the coexistence of synchronous and asynchronous traffic, " in Proc. VNC. IEEE Computer Society, 2013.
    • (2013) Proc. VNC. IEEE Computer Society
    • Meyer, P.1    Steinbach, T.2    Korf, F.3    Schmidt, T.4
  • 35
    • 84890750162 scopus 로고    scopus 로고
    • Introducing support for scheduled traffic over IEEE audio video bridging networks
    • G. Alderisi, G. Patti, and L. L. Bello, "Introducing support for scheduled traffic over IEEE audio video bridging networks, " in Proc. ETFA. IEEE Computer Society, 2013.
    • (2013) Proc. ETFA. IEEE Computer Society
    • Alderisi, G.1    Patti, G.2    Bello, L.L.3
  • 37
    • 85062426398 scopus 로고    scopus 로고
    • No-wait Packet Scheduling for IEEE Time-sensitive Networks (TSN)
    • F. Dürr and N. G. Nayak, "No-wait Packet Scheduling for IEEE Time-sensitive Networks (TSN), " in Proc. RTNS. ACM, 2016.
    • (2016) Proc. RTNS. ACM
    • Dürr, F.1    Nayak, N.G.2


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