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

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.

[1]  Marcin Jamro.  SysML modeling of POU-oriented unit tests for IEC 61131-3 control software , 2014, 2014 19th International Conference on Methods and Models in Automation and Robotics (MMAR).

[2]  Jürgen Jasperneite,et al.  Computer Communication Within Industrial Distributed Environment—a Survey , 2013, IEEE Transactions on Industrial Informatics.

[3]  Philippe Wenger,et al.  New Trends in Mechanism and Machine Science , 2020, Mechanisms and Machine Science.

[4]  N. Georgalas,et al.  Model-driven systems development and integration environment , 2005 .

[5]  Jürgen Dingel,et al.  A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems , 2008, SCSS.

[6]  Jacek Stój.  Real-Time Communication Network Concept Based on Frequency Division Multiplexing , 2012, CN.

[7]  Gerhard Ebenhofer,et al.  Model-driven communication routing in industrial automation and control systems , 2010, 2010 8th IEEE International Conference on Industrial Informatics.

[8]  Cheng Xu,et al.  Design of Distributed Industrial Monitoring System Based on Virtual Token Ring , 2007, 2007 2nd IEEE Conference on Industrial Electronics and Applications.

[9]  Andrzej Kwiecien,et al.  Performance of HTTP Protocol in Networked Control Systems , 2013, IEEE Transactions on Industrial Informatics.

[10]  Eduardo Tovar,et al.  Real-time fieldbus communications using Profibus networks , 1999, IEEE Trans. Ind. Electron..

[11]  Andrzej Kwiecien,et al.  The Concept of Using Multi-protocol Nodes in Real-Time Distributed Systems for Increasing Communication Reliability , 2013, CN.

[12]  Andrzej Kwiecien,et al.  Using HTTP as Field Network Transfer Protocol , 2011, CN.

[13]  David Hästbacka,et al.  Model-driven development of industrial process control applications , 2011, J. Syst. Softw..

[14]  Marcin Jamro,et al.  Communication Performance Tests in Distributed Control Systems , 2013, CN.

[15]  Leslaw Gniewek.  Sequential Control Algorithm in the Form of Fuzzy Interpreted Petri Net , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[16]  Marcin Jamro,et al.  Measuring, Monitoring, and Analysis of Communication Transactions Performance in Distributed Control System , 2014, CN.

[17]  Michael F. Zäh,et al.  Model-driven development of PLC software for machine tools , 2008, Prod. Eng..

[18]  Celina Pinto Leão,et al.  An Overview of Industrial Communication Networks , 2015 .

[19]  Marcin Jamro.  Development and Execution of POU-Oriented Performance Tests for IEC 61131-3 Control Software , 2014, Recent Advances in Automation, Robotics and Measuring Techniques.

[20]  Marcin Jamro,et al.  An approach to SysML modeling of IEC 61131-3 control software , 2013, 2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR).

[21]  Marcin Jamro.  Automatic generation of implementation in SysML-based model-driven development for IEC 61131-3 control software , 2014, 2014 19th International Conference on Methods and Models in Automation and Robotics (MMAR).

[22]  Mourad Debbabi,et al.  Systems Modeling Language , 2010 .

[23]  Jean-Pierre Thomesse,et al.  Fieldbus Technology in Industrial Automation , 2005, Proceedings of the IEEE.

[24]  Remigiusz Olejnik.  Modelling of Half-Duplex Radio Access for HopeMesh Experimental WMN Using Petri Nets , 2014, CN.

[25]  Gerhard Ebenhofer,et al.  Model-driven engineering of networked industrial automation systems , 2010, 2010 8th IEEE International Conference on Industrial Informatics.

[26]  Marga Marcos,et al.  Analysis and validation of IEC 61131-3 applications using a MDE approach , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[27]  C. Wojcik.  Springer international publishing switzerland , 2016 .

[28]  Marcin Jamro,et al.  CPDev Engineering Environment for Modeling, Implementation, Testing, and Visualization of Control Software , 2014, Recent Advances in Automation, Robotics and Measuring Techniques.

[29]  Roman Szewczyk,et al.  Recent Advances in Automation, Robotics and Measuring Techniques , 2014, Recent Advances in Automation, Robotics and Measuring Techniques.

[30]  Kleanthis Thramboulidis,et al.  Model driven development of distributed control applications , 2007 .