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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Vyatkin, V.: Software Engineering in Industrial Automation: State-of-the-Art Review. IEEE Transactions on Industrial Informatics 9, 1234–1249 (2013)CrossRefGoogle Scholar
  2. 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. 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. 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. 5.
    Dubinin, V., Vyatkin, V.: Semantics-Robust Design Patterns for IEC 61499. IEEE Transactions on Industrial Informatics 8, 279–290 (2012)CrossRefGoogle Scholar
  6. 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)CrossRefGoogle Scholar
  7. 7.
    Estevez, E., Marcos, M.: Model-Based Validation of Industrial Control Systems. IEEE Transactions on Industrial Informatics 8, 302–310 (2012)CrossRefGoogle Scholar
  8. 8.
    OMG: Unified Modeling Language (OMG UML), Infrastructure, V2.4.1 (2011)Google Scholar
  9. 9.
    OMG: Systems Modeling Language (OMG SysML), V1.3 (2012)Google Scholar
  10. 10.
    IEC: IEC 61131-3 - Programmable controllers - Part 3: Programming languages (2013)Google Scholar
  11. 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)CrossRefGoogle Scholar
  12. 12.
    IEC: IEC 61499-1 - Function blocks - Part 1: Architecture (2005)Google Scholar
  13. 13.
    Zaeh, M., Poernbacher, C.: Model-driven development of PLC software for machine tools. Production Engineering 2, 39–46 (2008)CrossRefGoogle Scholar
  14. 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)CrossRefGoogle Scholar
  15. 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. 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)CrossRefGoogle Scholar
  17. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  22. 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)CrossRefGoogle Scholar
  23. 23.
    MODICON, Inc.: Modicon MODBUS Protocol Reference Guide (1996)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Rzeszow University of TechnologyRzeszowPoland

Personalised recommendations