Abstract
Control software performs important roles in various branches of industry. Its complexity and importance are still growing, thus it is crucial to provide engineers with new methods to improve its quality. One of possible solutions is modeling, which could be introduced into the overall development process. The paper proposes an approach to modeling of requirements dedicated to control systems developed according to the IEC 61131-3 standard. Such a solution supports four kinds of requirements. The first group specifies expected behavior of Program Organization Units (POUs, namely programs, function blocks, functions, and classes). The other two present performance requirements oriented towards POU execution and communication between devices in Distributed Control Systems (DCSs). The last type is dedicated to displays in a Human-Machine Interface (HMI) and specifies their expected operation. The proposed approach has been introduced in the CPDev engineering environment for programming various kinds of controllers.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Vyatkin, V.: Software Engineering in Industrial Automation: State-of-the-Art Review. IEEE Transactions on Industrial Informatics 9, 1234–1249 (2013)
Kormann, B., Vogel-Heuser, B.: Automated test case generation approach for PLC control software exception handling using fault injection. In: IECON 2011 - 37th Annual Conference on IEEE Industrial Electronics Society, pp. 365–372 (2011)
Winkler, D., Hametner, R., Biffl, S.: Automation component aspects for efficient unit testing. In: IEEE Conference on Emerging Technologies Factory Automation, ETFA 2009, pp. 1–8 (2009)
Wenger, M., Zoitl, A.: Re-use of IEC 61131-3 Structured Text for IEC 61499. In: 2012 IEEE International Conference on Industrial Technology (ICIT), pp. 78–83 (2012)
Dubinin, V., Vyatkin, V.: Semantics-Robust Design Patterns for IEC 61499. IEEE Transactions on Industrial Informatics 8, 279–290 (2012)
Hastbacka, D., Vepsalainen, T., Kuikka, S.: Model-driven development of industrial process control applications. The Journal of Systems and Software 84, 1100–1113 (2011)
Estevez, E., Marcos, M.: Model-Based Validation of Industrial Control Systems. IEEE Transactions on Industrial Informatics 8, 302–310 (2012)
OMG: Unified Modeling Language (OMG UML), Infrastructure, V2.4.1 (2011)
OMG: Systems Modeling Language (OMG SysML), V1.3 (2012)
IEC: IEC 61131-3 - Programmable controllers - Part 3: Programming languages (2013)
Thramboulidis, K., Perdikis, D., Kantas, S.: Model driven development of distributed control applications. The International Journal of Advanced Manufacturing Technology 33, 233–242 (2007)
IEC: IEC 61499-1 - Function blocks - Part 1: Architecture (2005)
Zaeh, M., Poernbacher, C.: Model-driven development of PLC software for machine tools. Production Engineering 2, 39–46 (2008)
Laleau, R., Semmak, F., Matoussi, A., Petit, D., Hammad, A., Tatibouet, B.: A first attempt to combine SysML requirements diagrams and B. Innovations in Systems and Software Engineering 6, 47–54 (2010)
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 (2014) (to be published)
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)
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 (2014) (to be published)
Jamro, M., Trybus, B.: Testing Procedure for IEC 61131-3 Control Software. In: 12th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems (PDeS), pp. 192–197 (2013)
Jamro, M., Trybus, B.: IEC 61131-3 Programmable Human Machine Interfaces for Control Devices. In: 2013 The 6th International Conference on Human System Interaction (HSI), pp. 48–55 (2013)
Linhares, M., de Oliveira, R., Farines, J., Vernadat, F.: Introducing the modeling and verification process in SysML. In: IEEE Conference on Emerging Technologies and Factory Automation, ETFA, pp. 344–351 (2007)
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)
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)
MODICON, Inc.: Modicon MODBUS Protocol Reference Guide (1996)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Jamro, M. (2015). SysML Modeling of Functional and Non-functional Requirements for IEC 61131-3 Control Systems. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds) Progress in Automation, Robotics and Measuring Techniques. ICA 2015. Advances in Intelligent Systems and Computing, vol 350. Springer, Cham. https://doi.org/10.1007/978-3-319-15796-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-15796-2_10
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15795-5
Online ISBN: 978-3-319-15796-2
eBook Packages: EngineeringEngineering (R0)