-
2
-
-
84979756069
-
-
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
-
-
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
-
-
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
-
-
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
-
-
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
-
-
-
8
-
-
85042749690
-
Design optimization of cyber-physical distributed systems using IEEE time-sensitive networks (TSN)
-
P. Pop, M. Lander Raagaard, S. S. Craciunas, and W. Steiner, "Design optimization of cyber-physical distributed systems using IEEE time-sensitive networks (TSN), " IET Cyber-Physical Systems: Theory and Applications, vol. 1, no. 1, pp. 86-94, 2016.
-
(2016)
IET Cyber-Physical Systems: Theory and Applications
, vol.1
, Issue.1
, pp. 86-94
-
-
Pop, P.1
Lander Raagaard, M.2
Craciunas, S.S.3
Steiner, W.4
-
9
-
-
0141684229
-
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
-
10
-
-
85046344657
-
Scheduling real-time communication in IEEE 802. 1QBV time sensitive networks
-
S. S. Craciunas, R. Serna Oliver, M. Chmelik, and W. Steiner, "Scheduling Real-Time Communication in IEEE 802. 1Qbv Time Sensitive Networks, " in Proc. RTNS. ACM, 2016.
-
(2016)
Proc. RTNS. ACM
-
-
Craciunas, S.S.1
Serna Oliver, R.2
Chmelik, M.3
Steiner, W.4
-
12
-
-
0002891241
-
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
-
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
-
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
-
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
-
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
-
Improved scheduling of control tasks
-
IEEE
-
A. Cervin, "Improved scheduling of control tasks, " in Proc. ECRTS. IEEE, 1999.
-
(1999)
Proc. ECRTS.
-
-
Cervin, A.1
-
18
-
-
69949133234
-
Satisfiability modulo theories
-
IOS Press
-
C. Barrett, R. Sebastiani, S. Seshia, and C. Tinelli, "Satisfiability modulo theories, " in Handbook of Satisfiability. IOS Press, 2009, vol. 185.
-
(2009)
Handbook of Satisfiability
, vol.185
-
-
Barrett, C.1
Sebastiani, R.2
Seshia, S.3
Tinelli, C.4
-
19
-
-
48949101163
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
30
-
-
84958774094
-
Scheduling the flexray bus using optimization techniques
-
H. Zeng, W. Zheng, M. Di Natale, A. Ghosal, P. Giusto, and A. Sangiovanni-Vincentelli, "Scheduling the flexray bus using optimization techniques, " in Proc. DAC. ACM, 2009.
-
(2009)
Proc. DAC. ACM
-
-
Zeng, H.1
Zheng, W.2
Di Natale, M.3
Ghosal, A.4
Giusto, P.5
Sangiovanni-Vincentelli, A.6
-
31
-
-
2142658756
-
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
-
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
-
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
-
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
-
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
-
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
|