Skip to main content

SysML Modeling of Functional and Non-functional Requirements for IEC 61131-3 Control Systems

  • Conference paper

Part of the Advances in Intelligent Systems and Computing book series (AISC,volume 350)

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.

Keywords

  • control software
  • IEC 61131-3
  • modeling
  • requirements

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-15796-2_10
  • Chapter length: 10 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   139.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-15796-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   179.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Vyatkin, V.: Software Engineering in Industrial Automation: State-of-the-Art Review. IEEE Transactions on Industrial Informatics 9, 1234–1249 (2013)

    CrossRef  Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. Dubinin, V., Vyatkin, V.: Semantics-Robust Design Patterns for IEC 61499. IEEE Transactions on Industrial Informatics 8, 279–290 (2012)

    CrossRef  Google Scholar 

  6. Hastbacka, D., Vepsalainen, T., Kuikka, S.: Model-driven development of industrial process control applications. The Journal of Systems and Software 84, 1100–1113 (2011)

    CrossRef  Google Scholar 

  7. Estevez, E., Marcos, M.: Model-Based Validation of Industrial Control Systems. IEEE Transactions on Industrial Informatics 8, 302–310 (2012)

    CrossRef  Google Scholar 

  8. OMG: Unified Modeling Language (OMG UML), Infrastructure, V2.4.1 (2011)

    Google Scholar 

  9. OMG: Systems Modeling Language (OMG SysML), V1.3 (2012)

    Google Scholar 

  10. IEC: IEC 61131-3 - Programmable controllers - Part 3: Programming languages (2013)

    Google Scholar 

  11. Thramboulidis, K., Perdikis, D., Kantas, S.: Model driven development of distributed control applications. The International Journal of Advanced Manufacturing Technology 33, 233–242 (2007)

    CrossRef  Google Scholar 

  12. IEC: IEC 61499-1 - Function blocks - Part 1: Architecture (2005)

    Google Scholar 

  13. Zaeh, M., Poernbacher, C.: Model-driven development of PLC software for machine tools. Production Engineering 2, 39–46 (2008)

    CrossRef  Google Scholar 

  14. 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)

    CrossRef  Google Scholar 

  15. 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)

    Google Scholar 

  16. 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  Google Scholar 

  17. 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)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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  Google Scholar 

  22. 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  Google Scholar 

  23. MODICON, Inc.: Modicon MODBUS Protocol Reference Guide (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Marcin Jamro .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)