-
1
-
-
85064398935
-
-
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
-
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
-
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
-
4
-
-
84997078987
-
Scheduling real-time communication in ieee 802.1qbv time sensitive networks
-
ACM
-
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.
-
(2016)
Proc. of the 24th International Conference on Real-Time Networks and Systems, Ser. RTNS '16
, pp. 183-192
-
-
Craciunas, S.S.1
Oliver, R.S.2
Chmeĺik, M.3
Steiner, W.4
-
5
-
-
84897853111
-
Task- And network-level schedule co-synthesis of ethernet-based time-triggered systems
-
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.
-
(2014)
19th Asia and South Pacific Design Automation Conference (ASP-DAC)
, pp. 119-124
-
-
Zhang, L.1
Goswami, D.2
Schneider, R.3
Chakraborty, S.4
-
6
-
-
78649267729
-
-
(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
-
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
-
8
-
-
0035013227
-
Designing concurrent, distributed, and real-time applications with uml
-
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.
-
(2001)
IEEE Proc. of the 23rd International Conference on Software Engineering, Ser. ICSE '01
, pp. 737-738
-
-
Gomaa, H.1
-
10
-
-
84947766127
-
-
Berlin, Heidelberg: Springer Berlin Heidelberg
-
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.
-
(1996)
AutoFocus - A Tool for Distributed Systems Specification
, pp. 467-470
-
-
Huber, F.1
Schätz, B.2
Schmidt, A.3
Spies, K.4
-
11
-
-
84893547540
-
Modeling multicore programmable logic controllers in networked automation systems
-
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.
-
(2013)
IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society
, pp. 4398-4403
-
-
Farzaneh, M.H.1
Feldmann, S.2
Legat, C.3
Folmer, J.4
Vogel-Heuser, B.5
-
12
-
-
85044455465
-
-
Stateflow. (Date last accessed 10-April, ). [Online]
-
Stateflow. (Date last accessed 10-April, 2017). [Online]. Available: https://de.mathworks.com/products/stateflow.html/.
-
(2017)
-
-
-
14
-
-
0242444222
-
Taming heterogeneity - The ptolemy approach
-
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.
-
(2003)
Proc. of the IEEE
, vol.91
, Issue.1
, pp. 127-144
-
-
Eker, J.1
Janneck, J.W.2
Lee, E.A.3
Liu, J.4
Liu, X.5
Ludvig, J.6
Neuendorffer, S.7
Sachs, S.8
Xiong, Y.9
-
15
-
-
84923286539
-
Marte: A profile for rt/e systems modeling, analysis-and simulation?
-
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.
-
(2008)
Proc. of the 1st International Conference on Simulation Tools and Techniques for Communications Networks and Systems & Workshops, Ser. Simutools '08
, pp. 431-438
-
-
Mallet, F.1
De Simone, R.2
-
16
-
-
84896693115
-
Uppaal in a nutshell
-
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.
-
(1997)
International Journal on Software Tools for Technology Transfer
, vol.1
, Issue.1
, pp. 134-152
-
-
Larsen, K.G.1
Pettersson, P.2
Yi, W.3
-
17
-
-
84861740876
-
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
-
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
-
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
-
20
-
-
70350752327
-
Declarative networking
-
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.
-
(2009)
Commun. ACM
, vol.52
, Issue.11
, pp. 87-95
-
-
Loo, B.T.1
Condie, T.2
Garofalakis, M.3
Gay, D.E.4
Hellerstein, J.M.5
Maniatis, P.6
Ramakrishnan, R.7
Roscoe, T.8
Stoica, I.9
-
21
-
-
70350657041
-
Declarative network verification
-
Springer
-
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.
-
(2009)
International Symposium on Practical Aspects of Declarative Languages
, pp. 61-75
-
-
Wang, A.1
Basu, P.2
Loo, B.T.3
Sokolsky, O.4
-
22
-
-
78650118182
-
Practical declarative network management
-
New York, NY, USA: ACM
-
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.
-
(2009)
Proc. of the 1st ACM Workshop on Research on Enterprise Networking, Ser. WREN '09
-
-
Hinrichs, T.L.1
Gude, N.S.2
Casado, M.3
Mitchell, J.C.4
Shenker, S.5
-
23
-
-
77957226452
-
Applying prolog to develop distributed systems
-
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.
-
(2010)
Theory and Practice of Logic Programming
, vol.10
, Issue.4-6
, pp. 691-707
-
-
Lopes, N.P.1
Navarro, J.A.2
Rybalchenko, A.3
Singh, A.4
-
24
-
-
33646748281
-
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
-
25
-
-
85005949536
-
-
S. Van der Meer, B. Jennings, D. O'Sullivan, D. Lewis, and N. Agoulmine, "Ontology based policy mobility for pervasive computing, " 2005.
-
(2005)
Ontology Based Policy Mobility for Pervasive Computing
-
-
Van Der Meer, S.1
Jennings, B.2
O'Sullivan, D.3
Lewis, D.4
Agoulmine, N.5
-
26
-
-
34250784473
-
Runtime semantic interoperability for gathering ontology-based network context
-
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.
-
(2006)
10th IEEE/IFIP Network Operations and Management Symposium (NOMS)
, pp. 56-65
-
-
Keeney, J.1
Lewis, D.2
O'Sullivan, D.3
Roelens, A.4
Wade, V.5
Boran, A.6
Richardson, R.7
-
27
-
-
27644495072
-
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
-
28
-
-
72449177318
-
Ontology-based network management: Study cases and lessons learned
-
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.
-
(2009)
Journal of Network and Systems Management
, vol.17
, Issue.3
, pp. 234-254
-
-
De Vergara, J.E.L.1
Guerrero, A.2
Villagŕa, V.A.3
Berrocal, J.4
-
30
-
-
33845242072
-
Using argumentation logic for firewall policy specification and analysis
-
Springer
-
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.
-
(2006)
Large Scale Management of Distributed Systems
, pp. 185-196
-
-
Bandara, A.K.1
Kakas, A.2
Lupu, E.C.3
Russo, A.4
-
31
-
-
34748874811
-
Towards automatic composition of network management web services
-
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.
-
(2007)
10th IFIP/IEEE International Symposium on Integrated Network Management
, pp. 769-772
-
-
Klie, T.1
Gebhard, F.2
Fischer, S.3
-
32
-
-
84942574760
-
An ontology-based information extraction system for bridging the configuration gap in hybrid SDN environments
-
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.
-
(2015)
IFIP/IEEE International Symposium on Integrated Network Management (IM)
, pp. 441-449
-
-
Martinez, A.1
Yannuzzi, M.2
Lopez De Vergara, J.L.3
Serral-Gracia, R.4
Ramirez, W.5
-
33
-
-
0035267939
-
Creating semantic web contents with protege-2000
-
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.
-
(2001)
IEEE Intelligent Systems
, vol.16
, Issue.2
, pp. 60-71
-
-
Noy, N.F.1
Sintek, M.2
Decker, S.3
Crubézy, M.4
Fergerson, R.W.5
Musen, M.A.6
-
34
-
-
84866975322
-
Performance comparison of ieee 802.1q and ieee 802.1 avb in an ethernet-based in-vehicle network
-
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.
-
(2012)
8th International Conference on Computing Technology and Information Management (ICCM)
, vol.1
-
-
Lim, H.T.1
Herrscher, D.2
Chaari, F.3
-
35
-
-
84890761159
-
Timing analysis of ethernet avb-based automotive e/e architectures
-
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.
-
(2013)
IEEE 18th Conference on Emerging Technologies Factory Automation (ETFA)
-
-
Reimann, F.1
Graf, S.2
Streit, F.3
Gla, M.4
Teich, J.5
-
36
-
-
84873950131
-
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
-
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
-
38
-
-
84973902443
-
Beware of the hidden! how cross-traffic affects quality assurances of competing real-time ethernet standards for in-car communication
-
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.
-
(2015)
IEEE 40th Conference on Local Computer Networks (LCN)
-
-
Steinbach, T.1
Lim, H.T.2
Korf, F.3
Schmidt, T.C.4
Herrscher, D.5
Wolisz, A.6
-
39
-
-
84945947536
-
Analysis of ethernet-switch traffic shapers for in-vehicle networking applications
-
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.
-
(2015)
Design, Automation Test in Europe Conference Exhibition (DATE)
, pp. 55-60
-
-
Thangamuthu, S.1
Concer, N.2
Cuijpers, P.J.L.3
Lukkien, J.J.4
-
40
-
-
84962034245
-
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
-
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
-
43
-
-
84959556249
-
SMT-based synthesis of ttethernet schedules: A performance study
-
IEEE
-
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.
-
(2015)
International Symposium on Industrial Embedded Systems (SIES).
, pp. 1-4
-
-
Pozo, F.1
Rodriguez-Navas, G.2
Hansson, H.3
Steiner, W.4
|