Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma

1 1

Proje Grubu: EEEAG Sayfa Sayısı: 115 Proje No: 109E261 Proje Bitiş Tarihi: 01.03.2013 Metin Dili: Türkçe İndeks Tarihi: 29-07-2022

Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma

Öz:
-
Anahtar Kelime:

Erişim Türü: Erişime Açık
  • [AVIZIENIS et al. (2004)] AVIZIENIS A., Laprie J.-C., Randell B., Landwehr C., Basic concepts and taxonomy of dependable and secure computing, Dependable and Secure Computing, IEEE Transactions on, 1, 11–33, (2004).
  • [RANDELL (1975)] RANDELL B., System structure for software fault tolerance, SIGPLAN Not., 10, 437–449, (1975). URL http://doi.acm.org/10.1145/390016.808467
  • [RAMANATHAN (1993)] RAMANATHAN P., Shin K. G., Use of common time base for checkpointing and rollback recovery in a distributed system, IEEE Trans. Softw. Eng., 19, 571–583, (1993). URL http://dx.doi.org/10.1109/32.232022
  • [SCHMIDT (2012)] SCHMIDT K. W., Schmidt E. G., Distributed real-time protocols for industrial control systems: Framework and examples, Parallel and Distributed Systems, IEEE Transactions on, 23, 1856–1866, (2012).
  • [LARSEN et al. (1994) ] LARSEN K. G., Pettersson P., Yi W., Uppaal in a nutshell,.
  • [KARTAL et al. (2013)] KARTAL Y. B., Schmidt K. W., Schmidt E. G., Modeling and formal verification of TIOA based distributed real-time systems, Software Engineering, IEEE Transactions on, Submitted.
  • [KARTAL et al. (2013a)] KARTAL Y. B., Schmidt K. W., Schmidt E. G., Dependability design for a distributed real-time protocol family, Parallel and Distributed Systems, IEEE Transactions on, Submitted.
  • [KAYA et al. (2013)] KAYA A., Schmidt E. G., Schmidt K. W., Moor T., Dynamic distributed realtime industrial communication protocol (D2RIP): Architecture, implementation and experimental evaluation, Computer Standards and Interfaces, Submitted.
  • [BAILLIEUL (2007)] BAILLIEUL J., Antsaklis P., Control and communication challenges in networked real-time systems, Proceedings of the IEEE, 95, 9–28, (2007).
  • [MOYNE (2007)] MOYNE J., Tilbury D., The emergence of industrial control networks for manufacturing control, diagnostics, and safety data, Proceedings of the IEEE, 95, 29–47, (2007).
  • [DECOTIGNIE (2005)] DECOTIGNIE J.-D., Ethernet-based real-time and industrial communications, Proceedings of the IEEE, 93, 1102–1117, (2005).
  • [DECOTIGNIE (2009)] DECOTIGNIE J.-D., The many faces of industrial Ethernet [past , present], Industrial Electronics Magazine, IEEE, 3, 8–19, (2009).
  • [THOMESSE (2005)] THOMESSE J.-P., Fieldbus technology in industrial automation, Proceedings of the IEEE, 93, 1073–1101, (2005).
  • [FELSER (2009)] FELSER M., Real-time Ethernet for automation applications, in: Zurawski R., (Ed.), Embedded Systems Handbook, Second Edition: Networked Embedded Systems, CRC Press, Inc., Boca Raton, FL, USA, , (2009), pp. 21–1–21–20 2nd edition.
  • [IEEE (2002)] IEEE 1588 standard for a precision clock synchronization protocol for networked measurement and control systems, http://ieee1588.nist.gov, (2002).
  • [EIDSON (2006)] EIDSON J. C., Measurement, Control, and Communication Using IEEE 1588 , Springer, (2006).
  • [JANSEN (2004)] JANSEN D., Buttner H., Real-time Ethernet the EtherCAT solution, Computing & Control Engineering Journal, 15, 16–21, (2004).
  • [SCHEMM (2004)] SCHEMM E., Sercos to link with Ethernet for its third generation, Computing & Control Engineering Journal, 15, 30–33, (2004).
  • [NESIC et al. (2009)] NESIC D., Teel A., Carnevale D., Explicit computation of the sampling period in emulation of controllers for nonlinear sampled-data systems, Automatic Control, IEEE Transactions on, 54, 619–624, (2009).
  • [DEP (2007)] 1st IFAC workshop on dependable control of discrete systems, (2007).
  • [FELSER (2004)] FELSER M., Sauter T., Standardization of industrial Ethernet - the next battlefield?, Factory Communication Systems, 2004. Proceedings. 2004 IEEE International Workshop on, 413–420, (2004).
  • [PRO (2004)] Real-time Ethernet: Profinet IO: Proposal for a publicly available specification for real-time Ethernet, Doc. IEC 65C/359/NP, (2004).
  • [MOD (2002)] Schneider automation – modbus messaging on TCP/IP implementation guide, http://www.modbus.org/, (2002).
  • [KWEON (2003)] KWEON S.-K., Shin K. G., Statistical real-time communication over Ethernet, Parallel , Distributed Systems, IEEE Transactions on, 14, 322–335, (2003).
  • [KWEON et al. (2004) ] KWEON S.-K., Cho M.-G., Shin K. G., Soft real-time communication over Ethernet with adaptive traffic smoothing, Parallel and Distributed Systems, IEEE Transactions on, 15, 946–959, (2004).
  • [FELSER (2005)] FELSER M., Real-time Ethernet - industry prospective, Proceedings of the IEEE, 93, 1118–1129, (2005).
  • [LIU (2007)] LIU L., Frey G., Simulation approach for evaluating response times in networked automation systems, Emerging Technologies & Factory Automation, 2007. ETFA. IEEE Conference on, 1061–1068, (2007).
  • [SCHARBARG (2007)] SCHARBARG J.-L., Fraboul C., Simulation for end-to-end delays distribution on a switched Ethernet, Emerging Technologies & Factory Automation, 2007. ETFA. IEEE Conference on, 1092–1099, (2007).
  • [WANG et al. (2002)Wang, Song, Chen, , Sun] WANG Z., Song Y., Chen J., Sun Y.,Real time characteristics of Ethernet and its improvement, , (in: 4th World Congr. Intelligent Control , Automation), (2002), pp. 1311–1318.
  • [EIP (2004)] Real-time Ethernet: Ethernet/IP with time synchronization: Proposal for a publicly available specification for real-time Ethernet, Doc. IEC 65C/361/NP, (2004).
  • [MORAES et al. (2011)] MORAES R., Carreiro F., Bartolomeu P., Silva V., Fonseca J., Vasques F., Enforcing the timing behavior of real-time stations in legacy bus-based industrial ethernet networks, Computer Standards and Interfaces, 33, 249–261, (2011).
  • [TCN (2004)] Real-time Ethernet: TCnet (Time-Critical Control Network): Proposal for a publicly available specification for real-time Ethernet, Doc. IEC 65C/353/NP, (2004).
  • [EPL (2004)] Real-time Ethernet: EPL (Ethernet powerlink): Proposal for a publicly available specification for real-time Ethernet, Doc. IEC 65C/356a/NP, (2004).
  • [EPA (2004)] Real-time Ethernet: EPA (Ethernet for plant automation): Proposal for a publicly available specification for real-time Ethernet, Doc. IEC 65C/357/NP, (2004).
  • [PEDREIRAS et al. (2005)] PEDREIRAS P., Gai P., Almeida L., Buttazzo G., FTT-Ethernet: a flexible real-time communication protocol that supports dynamic QoS management on Ethernet-based systems, Industrial Informatics, IEEE Transactions on, 1, 162–172, (2005).
  • [KAYNAR et al. (2003)] KAYNAR D. E., Lynch N., Segala R., Vaandrager F., The theory of timed I/O automata, Tech. Rep. MIT-LCS-TR-917, MIT Laboratory for Computer Science, (Cambridge, MA).
  • [KAYNAR et al. (2003a)] KAYNAR D. E., Lynch N., Segala R., Vaandrager F.,Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems, , (in: 24th IEEE International Real-Time Systems Symposium), (2003), .
  • [WANG YI, (1997)] WANG YI P. P., Daniels M., Automatic verification of real-time communicating systems by constraint solving.
  • [NELSON (1990)] NELSON V., Fault-tolerant computing: fundamental concepts, Computer, 23, 19 –25, (1990).
  • [AVIZIENIS et al. (2001)] AVIZIENIS A., Laprie J. C., Randell B., Fundamental concepts of dependability, Technical Report Series University Of Newcastle, 1145, 7–12, (2001).
  • [MEYER (1999)] MEYER B., Every little bit counts: toward more reliable software, Computer, 32, 131 –135, (1999).
  • [CHILLAREGE et al. (1992)] CHILLAREGE R., Bhandari I., Chaar J., Halliday M., Moebus D., Ray B., Wong M.-Y., Orthogonal defect classification-a concept for in-process measurements, IEEE Transactions on Software Engineering, 18, 943–956, (1992).
  • [PAULK et al. (1993)] PAULK M. C., Curtis B., Chrissis M. B., Weber C. V., Capability maturity model, version 1.1, IEEE Softw., 10, 18–27, (1993). URL http://dx.doi.org/10.1109/52.219617
  • [AVIZIENIS (1967)] AVIZIENIS A., Design of fault-tolerant computers, in: Proceedings of the November 14-16, 1967, fall joint computer conference, AFIPS ’67 (Fall), (ACM, New York, NY, USA, ), (1967), pp. 733–743. URL http://doi.acm.org/10.1145/1465611.1465708
  • [HORNING et al. (1974)] HORNING J. J., Lauer H. C., Melliar-Smith P. M., Randell B., A program structure for error detection and recovery, in: Operating Systems, Proceedings of an International Symposium, (Springer-Verlag, London, UK, UK, ), (1974), pp. 171– 187. URL http://dl.acm.org/citation.cfm?id=647641.733522
  • [SHIN (1984)] SHIN K. G., Lee Y. H., Evaluation of error recovery blocks used for cooperating processes, IEEE Trans Soft Eng, SE-10, 692–700, (1984).
  • [GOZC ¨ U (2011)] G ¨ OZC ¨ U A. K., Implementation and evaluation of a synchronous time-slotted ¨ medium access protocol for networked industrial embedded systems, Master’s thesis, Middle East Technical University, (Turkey).
  • [TURAN (2011)] TURAN U., Implementing and evaluating the coordination layer, timesynchronization of a new protocol for industrial communication networks, Master’s thesis, Middle East Technical University, (Turkey).
  • [AYBAR (2011)] AYBAR G., Simulation and performance evaluation of a distributed real-time communication protocol for industrial embedded systems, Master’s thesis, Middle East Technical University, (Turkey).
  • [GOZCU et al. (2012)] GOZCU A. K., Turan U., Schmidt E. G., Schmidt K. W.,The implementation of dynamic distributed real time industrial communication protocol (D2RIP), (in: Signal Processing and Communications Applications Conference (SIU), 2012 20th), (2012), .
  • [KARTAL et al. (2012)] KARTAL Y. B., Schmidt K. W., Schmidt E. G., The verification of a novel framework for real-time shared medium communication network protocols, (in: Signal Processing and Communications Applications Conference (SIU), 2012 20th), (2012), .
  • [ERL (2006–2013)] FG DES manufacturing system, www.rt.e-technik.uni-erlangen. de/FGdes/productionline.html, (2006–2013).
  • [MOOR et al. (2008)] MOOR T., Schmidt K., Perk S., libFAUDES - an open source C++ library for discrete event systems, Discrete Event Systems, 9th International Workshop on, 125–130, (2008).
  • [LIB (2006–2013)] libFAUDES software library for discrete event systems, www.rt.eei. uni-erlangen.de/FGdes/faudes, (2006–2013).
  • [CORRELL (2006)] Correll K., Barendt N.,Design considerations for software only implementations of the IEEE 1588 precision time protocol, , (in: In Conference on IEEE 1588 Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems), (2006), .
  • [LUB (2011)] Lubuntu, http://lubuntu.net/, (2011).
  • [INT (2012)] Intel 82574l Gigabit Ethernet Controller, http://ark.intel.com/products/ 32209/Intel-82574L-Gigabit-Ethernet-Controller, (2012).
  • [PTP (2011)] The Linux Ptp Project, http://linuxptp.sourceforge.net/, (2011).
  • [SCHMIDT et al. (2008)] SCHMIDT K., Schmidt E., Zaddach J.,Safe operation of distributed discrete-event controllers: A networked implementation with real-time guarantees, (in: IFAC World Congress), (2008), .
  • [SCHMIDT et al. (2007)] SCHMIDT K., Schmidt E., Zaddach J., A shared-medium communication architecture for distributed discrete event systems, Control & Automation, Mediterranean Conference on, 1–6, (2007).
  • [GARLAND et al. (2005)] GARLAND S. J., Kaynar D., Lynch N. A., Tauber J. A., Vaziri M., TIOA tutorial, (2005).
  • [XIAOWAN HUANG 1997)] XIAOWAN HUANG S. A. S., Anu Singh, Using integer clocks to verify the timing-sync sensor network protocol,.
  • [G´omez (2007)] GOMEZ R., Bowman H.,Efficient detection of zeno runs in timed automata, ´ in: Proceedings of the 5th international conference on Formal modeling , analysis of timed systems, FORMATS’07, (Springer-Verlag, Berlin, Heidelberg, ), (2007), pp. 195– 210. URL http://dl.acm.org/citation.cfm?id=1779879.1779894
APA SCHMİDT Ş (2013). Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma. , 1 - 115.
Chicago SCHMİDT Şenan Ece Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma. (2013): 1 - 115.
MLA SCHMİDT Şenan Ece Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma. , 2013, ss.1 - 115.
AMA SCHMİDT Ş Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma. . 2013; 1 - 115.
Vancouver SCHMİDT Ş Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma. . 2013; 1 - 115.
IEEE SCHMİDT Ş "Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma." , ss.1 - 115, 2013.
ISNAD SCHMİDT, Şenan Ece. "Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma". (2013), 1-115.
APA SCHMİDT Ş (2013). Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma. , 1 - 115.
Chicago SCHMİDT Şenan Ece Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma. (2013): 1 - 115.
MLA SCHMİDT Şenan Ece Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma. , 2013, ss.1 - 115.
AMA SCHMİDT Ş Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma. . 2013; 1 - 115.
Vancouver SCHMİDT Ş Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma. . 2013; 1 - 115.
IEEE SCHMİDT Ş "Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma." , ss.1 - 115, 2013.
ISNAD SCHMİDT, Şenan Ece. "Ethernet üzerinden dinamik, dağıtılmış ve güvenilir endüstriyel haberleşme protokolları: Genel tasarım iş çerçevesi, gerçekleştirim ve deneysel çalışma". (2013), 1-115.