Skip to main content

2015 | OriginalPaper | Buchkapitel

SysML-Based Modeling of Token Passing Paradigm in Distributed Control Systems

verfasst von : Marcin Jamro, Dariusz Rzonca

Erschienen in: Computer Networks

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Distributed control systems are often used in many branches of industry and frequently replace standalone controllers. However, their operation is more complex and include aspects of communication between various devices. To operate correctly, it is crucial to ensure that timeliness of communication is satisfied. In this paper, the approach to modeling of the token passing paradigm, as well as the multi-master communication with token exchange has been presented. The proposed models are based on a few kinds of SysML diagrams, namely Block Definition, Internal Block, State Machine, and Sequence Diagrams. The paper presents a set of dedicating modeling rules together with their detailed explanation.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Silva, M., Pereira, F., Soares, F., Leao, C., Machado, J., Carvalho, V.: An overview of industrial communication networks. In: Flores, P., Viadero, F. (eds.) New Trends in Mechanism and Machine Science. Mechanisms and Machine Science, vol. 24, pp. 933–940. Springer International Publishing, Switzerland (2015)CrossRef Silva, M., Pereira, F., Soares, F., Leao, C., Machado, J., Carvalho, V.: An overview of industrial communication networks. In: Flores, P., Viadero, F. (eds.) New Trends in Mechanism and Machine Science. Mechanisms and Machine Science, vol. 24, pp. 933–940. Springer International Publishing, Switzerland (2015)CrossRef
2.
Zurück zum Zitat Stój, J.: Real-time communication network concept based on frequency division multiplexing. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2012. CCIS, vol. 291, pp. 247–260. Springer, Heidelberg (2012) CrossRef Stój, J.: Real-time communication network concept based on frequency division multiplexing. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2012. CCIS, vol. 291, pp. 247–260. Springer, Heidelberg (2012) CrossRef
3.
Zurück zum Zitat Gaj, P., Jasperneite, J., Felser, M.: Computer communication within industrial distributed environment - a survey. IEEE Trans. Ind. Inf. 9(1), 182–189 (2013)CrossRef Gaj, P., Jasperneite, J., Felser, M.: Computer communication within industrial distributed environment - a survey. IEEE Trans. Ind. Inf. 9(1), 182–189 (2013)CrossRef
4.
Zurück zum Zitat Kwiecień, A., Sidzina, M., Maćkowski, M.: The concept of using multi-protocol nodes in real-time distributed systems for increasing communication reliability. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2013. CCIS, vol. 370, pp. 177–188. Springer, Heidelberg (2013) CrossRef Kwiecień, A., Sidzina, M., Maćkowski, M.: The concept of using multi-protocol nodes in real-time distributed systems for increasing communication reliability. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2013. CCIS, vol. 370, pp. 177–188. Springer, Heidelberg (2013) CrossRef
5.
Zurück zum Zitat Thomesse, J.P.: Fieldbus technology in industrial automation. Proc. IEEE 93(6), 1073–1101 (2005)CrossRef Thomesse, J.P.: Fieldbus technology in industrial automation. Proc. IEEE 93(6), 1073–1101 (2005)CrossRef
6.
Zurück zum Zitat IEC 61158 Standard: Industrial Communication Networks - Fieldbus Specifications (2007) IEC 61158 Standard: Industrial Communication Networks - Fieldbus Specifications (2007)
7.
Zurück zum Zitat Jestratjew, A., Kwiecień, A.: Using HTTP as field network transfer protocol. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2011. CCIS, vol. 160, pp. 306–313. Springer, Heidelberg (2011) CrossRef Jestratjew, A., Kwiecień, A.: Using HTTP as field network transfer protocol. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2011. CCIS, vol. 160, pp. 306–313. Springer, Heidelberg (2011) CrossRef
8.
Zurück zum Zitat Jestratjew, A., Kwiecien, A.: Performance of HTTP protocol in networked control systems. IEEE Trans. Ind. Inf. 9(1), 271–276 (2013)CrossRef Jestratjew, A., Kwiecien, A.: Performance of HTTP protocol in networked control systems. IEEE Trans. Ind. Inf. 9(1), 271–276 (2013)CrossRef
9.
Zurück zum Zitat OMG: OMG Systems Modeling Language, V1.3 (2012) OMG: OMG Systems Modeling Language, V1.3 (2012)
10.
Zurück zum Zitat OMG: OMG Unified Modeling Language, Infrastructure, V2.4.1 (2011) OMG: OMG Unified Modeling Language, Infrastructure, V2.4.1 (2011)
11.
Zurück zum Zitat Jamro, M., Rzońca, D., Trybus, B.: Communication performance tests in distributed control systems. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2013. CCIS, vol. 370, pp. 200–209. Springer, Heidelberg (2013) CrossRef Jamro, M., Rzońca, D., Trybus, B.: Communication performance tests in distributed control systems. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2013. CCIS, vol. 370, pp. 200–209. Springer, Heidelberg (2013) CrossRef
12.
Zurück zum Zitat Jamro, M., Rzonca, D.: Measuring, monitoring, and analysis of communication transactions performance in distributed control system. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2014. CCIS, vol. 431, pp. 147–156. Springer, Heidelberg (2014) CrossRef Jamro, M., Rzonca, D.: Measuring, monitoring, and analysis of communication transactions performance in distributed control system. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2014. CCIS, vol. 431, pp. 147–156. Springer, Heidelberg (2014) CrossRef
13.
Zurück zum Zitat Jamro, M., Trybus, B.: An approach to SysML modeling of IEC 61131–3 control software. In: 2013 18th International Conference on Methods and Models in Automation and Robotics (MMAR), pp. 217–222 (2013) Jamro, M., Trybus, B.: An approach to SysML modeling of IEC 61131–3 control software. In: 2013 18th International Conference on Methods and Models in Automation and Robotics (MMAR), pp. 217–222 (2013)
14.
Zurück zum Zitat Jamro, M.: Automatic generation of implementation in SysML-based model-driven development for IEC 61131–3 control software. In: 2014 19th International Conference on Methods and Models in Automation and Robotics (MMAR), pp. 468–473 (2014) Jamro, M.: Automatic generation of implementation in SysML-based model-driven development for IEC 61131–3 control software. In: 2014 19th International Conference on Methods and Models in Automation and Robotics (MMAR), pp. 468–473 (2014)
15.
Zurück zum Zitat Jamro, M.: SysML modeling of POU-oriented unit tests for IEC 61131–3 control software. In: 2014 19th International Conference on Methods and Models in Automation and Robotics (MMAR), pp. 82–87 (2014) Jamro, M.: SysML modeling of POU-oriented unit tests for IEC 61131–3 control software. In: 2014 19th International Conference on Methods and Models in Automation and Robotics (MMAR), pp. 82–87 (2014)
16.
Zurück zum Zitat Jamro, M.: Development and execution of POU-oiented performance tests for IEC 61131-3 control software. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds.) Recent Advances in Automation, Robotics and Measuring Techniques. AISC, vol. 267, pp. 91–102. Springer, Heidelberg (2014) CrossRef Jamro, M.: Development and execution of POU-oiented performance tests for IEC 61131-3 control software. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds.) Recent Advances in Automation, Robotics and Measuring Techniques. AISC, vol. 267, pp. 91–102. Springer, Heidelberg (2014) CrossRef
17.
Zurück zum Zitat Jamro, M., Rzonca, D., Sadolewski, J., Stec, A., Swider, Z., Trybus, B., Trybus, L.: CPDev engineering environment for modeling, implementation, testing, and visualization of control software. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds.) Recent Advances in Automation, Robotics and Measuring Techniques. AISC, vol. 267, pp. 81–90. Springer, Heidelberg (2014) CrossRef Jamro, M., Rzonca, D., Sadolewski, J., Stec, A., Swider, Z., Trybus, B., Trybus, L.: CPDev engineering environment for modeling, implementation, testing, and visualization of control software. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds.) Recent Advances in Automation, Robotics and Measuring Techniques. AISC, vol. 267, pp. 81–90. Springer, Heidelberg (2014) CrossRef
18.
Zurück zum Zitat Hastbacka, D., Vepsalainen, T., Kuikka, S.: Model-driven development of industrial process control applications. J. Syst. Softw. 84(7), 1100–1113 (2011)CrossRef Hastbacka, D., Vepsalainen, T., Kuikka, S.: Model-driven development of industrial process control applications. J. Syst. Softw. 84(7), 1100–1113 (2011)CrossRef
19.
20.
Zurück zum Zitat Azmoodeh, M., Georgalas, N., Fisher, S.: Model-driven systems development and integration environment. BT Technol. J. 23(3), 96–110 (2005)CrossRef Azmoodeh, M., Georgalas, N., Fisher, S.: Model-driven systems development and integration environment. BT Technol. J. 23(3), 96–110 (2005)CrossRef
21.
Zurück zum Zitat Marcos, M., Estevez, E., Iriondo, N., Orive, D.: Analysis and validation of IEC 61131–3 applications using a MDE approach. In: 2010 IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1–8 (2010) Marcos, M., Estevez, E., Iriondo, N., Orive, D.: Analysis and validation of IEC 61131–3 applications using a MDE approach. In: 2010 IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1–8 (2010)
22.
Zurück zum Zitat Saifan, A., Dingel, J.: A survey of using model-based testing to improve quality attributes in distributed systems. In: Elleithy, K. (ed.) Advanced Techniques in Computing Sciences and Software Engineering, pp. 283–288. Springer, Netherlands (2010)CrossRef Saifan, A., Dingel, J.: A survey of using model-based testing to improve quality attributes in distributed systems. In: Elleithy, K. (ed.) Advanced Techniques in Computing Sciences and Software Engineering, pp. 283–288. Springer, Netherlands (2010)CrossRef
23.
Zurück zum Zitat Gniewek, L.: Sequential control algorithm in the form of Fuzzy interpreted petri net. IEEE Trans. Syst. Man Cybern.: Syst. 43(2), 451–459 (2013)CrossRef Gniewek, L.: Sequential control algorithm in the form of Fuzzy interpreted petri net. IEEE Trans. Syst. Man Cybern.: Syst. 43(2), 451–459 (2013)CrossRef
24.
Zurück zum Zitat Olejnik, R.: Modelling of half-duplex radio access for hopemesh experimental WMN using petri nets. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2014. CCIS, vol. 431, pp. 108–117. Springer, Heidelberg (2014) CrossRef Olejnik, R.: Modelling of half-duplex radio access for hopemesh experimental WMN using petri nets. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2014. CCIS, vol. 431, pp. 108–117. Springer, Heidelberg (2014) CrossRef
25.
Zurück zum Zitat Wenger, M., Zoitl, A., Froschauer, R., Rooker, M., Ebenhofer, G., Strasser, T.: Model-driven engineering of networked industrial automation systems. In: 8th IEEE International Conference on Industrial Informatics (INDIN) 2010, pp. 902–907 (2010) Wenger, M., Zoitl, A., Froschauer, R., Rooker, M., Ebenhofer, G., Strasser, T.: Model-driven engineering of networked industrial automation systems. In: 8th IEEE International Conference on Industrial Informatics (INDIN) 2010, pp. 902–907 (2010)
26.
Zurück zum Zitat Schimmel, A., Zoitl, A., Froschauer, R., Rooker, M., Ebenhofer, G.: Model-driven communication routing in industrial automation and control systems. In: 2010 8th IEEE International Conference on Industrial Informatics (INDIN), pp. 896–901 (2010) Schimmel, A., Zoitl, A., Froschauer, R., Rooker, M., Ebenhofer, G.: Model-driven communication routing in industrial automation and control systems. In: 2010 8th IEEE International Conference on Industrial Informatics (INDIN), pp. 896–901 (2010)
27.
Zurück zum Zitat Thramboulidis, K., Perdikis, D., Kantas, S.: Model driven development of distributed control applications. Int. J. Adv. Manuf. Technol. 33(3–4), 233–242 (2007)CrossRef Thramboulidis, K., Perdikis, D., Kantas, S.: Model driven development of distributed control applications. Int. J. Adv. Manuf. Technol. 33(3–4), 233–242 (2007)CrossRef
28.
Zurück zum Zitat Zaeh, M., Poernbacher, C.: Model-driven development of PLC software for machine tools. Prod. Eng. 2(1), 39–46 (2008)CrossRef Zaeh, M., Poernbacher, C.: Model-driven development of PLC software for machine tools. Prod. Eng. 2(1), 39–46 (2008)CrossRef
29.
Zurück zum Zitat Zhou, Z., Tang, B., Xu, C.: Design of distributed industrial monitoring system based on virtual token ring. In: 2nd IEEE Conference on Industrial Electronics and Applications, 2007, ICIEA 2007, pp. 598–603, May 2007 Zhou, Z., Tang, B., Xu, C.: Design of distributed industrial monitoring system based on virtual token ring. In: 2nd IEEE Conference on Industrial Electronics and Applications, 2007, ICIEA 2007, pp. 598–603, May 2007
30.
Zurück zum Zitat Tovar, E., Vasques, F.: Real-time fieldbus communications using Profibus networks. IEEE Trans. Ind. Electron. 46(6), 1241–1251 (1999)CrossRef Tovar, E., Vasques, F.: Real-time fieldbus communications using Profibus networks. IEEE Trans. Ind. Electron. 46(6), 1241–1251 (1999)CrossRef
Metadaten
Titel
SysML-Based Modeling of Token Passing Paradigm in Distributed Control Systems
verfasst von
Marcin Jamro
Dariusz Rzonca
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-19419-6_13

Premium Partner