Design patterns for model-based automation software design and implementation

Control Engineering Practice

Volumn 21, Issue 11, 2013, Pages 1608-1619

  Bonfè, Marcello ^a   Fantuzzi, Cesare ^b   Secchi, Cristian ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF MODENA AND REGGIO EMILIA   (Italy)

Author keywords

Industry automation; Object modeling techniques; Object oriented programming; Programmable logic controllers

Indexed keywords

AUTOMATION SOFTWARE; COMPLEX MANUFACTURING SYSTEMS; CONTROL ENGINEERS; DESIGN AND IMPLEMENTATIONS; INDUSTRY AUTOMATION; OBJECT MODEL; OBJECT ORIENTED MODEL; PACKAGING INDUSTRY;

APPLICATION PROGRAMS; OBJECT ORIENTED PROGRAMMING; PROGRAMMABLE LOGIC CONTROLLERS;

SOFTWARE DESIGN;

EID: 84884818614     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2012.03.017     Document Type: Article

References (60)

1. 3S Smart Software Solutions (2010). Codesys V3-The IEC 61131-3 development system. http://www.3s-software.com.
2. Bassi L., Secchi C., Bonfè M., Fantuzzi C. A SysML-based methodology for manufacturing machinery modeling and design. IEEE/ASME Transactions on Mechatronics 2011, 16:1049-1062.
3. Bauer N., Engell S. A comparison of sequential function charts and Statecharts and an approach towards integration. Proceedings of the 2nd international workshop on integration of specification techniques for applications in engineering 2002, 58-69. Technische Universität, Berlin. H. Ehrig, M. Grosse-Rhode (Eds.).
4. Bonfè, M., & Fantuzzi, C. (2003). Design and verification of industrial logic controllers with UML and Statecharts. In IEEE conference on control applications, Istanbul, Turkey.
5. Bonfè, M., Fantuzzi, C., & Secchi, C. (2005). Verification of behavioral substitutability in object-oriented models for industrial controllers. In Proceedings of the IEEE international conference on robotics and automation (ICRA), Barcelona, Spain.
6. Bonfè M., Fantuzzi C., Secchi C. Behavioural inheritance in object-oriented models for mechatronic systems. International Journal of Manufacturing Research 2006, 1:421-441.
7. Burmester, S., Giese, H., & Tichi, M. (2005). Model-driven development of reconfigurable mechatronic systems with Mechatronic UML. In Lecture notes on computer science (Vol. 3599/2005).
8. Cengic, G., Ljungkrantz, O., & Akesson, K. (2006). A framework for component based distributed control software development using IEC 61499. In Proceedings of the IEEE international conference on emerging technologies and factory automation (ETFA). Prague, Czech Republic.
9. Chan W., Anderson R., Beame P., Burns S., Modugno F., Notkin D., et al. Model checking large software specifications. IEEE Transactions on Software Engineering 1998, 24:498-520.
10. Crane M., Dingel J. UML vs. classical vs. Rhapsody Statecharts: Not all models are created equal. Software and Systems Modeling 2007, 6:415-435.
11. Douglass B.P. Doing hard time: Developing real-time systems with UML, objects, frameworks and patterns 1999, Addison Wesley Longman.
12. Douglass B.P. Real time design patterns 2006, Addison Wesley.
13. Dubinin, V., Vyatkin, V., & Pfeiffer, T. (2005). Engineering of validatable automation systems based on an extension of UML combined with Function Blocks of IEC 61499. In IEEE international conference on robotics and automation (pp. 3996-4001), Barcelona, Spain.
14. Fantuzzi, C., Bonfè, M., & Secchi, C. (2009). A design pattern for model based software development for automatic machinery. In Proceedings of the 13th IFAC symposium on information control problems in manufacturing (INCOM), Moscow, Russia.
15. Ferrarini, L., & Veber, C. (2005). Design and implementation of distributed hierarchical automation and control systems with IEC 61499. In Proceedings of the IEEE international conference on industrial informatics (INDIN), Perth, Australia.
16. Gomaa H. Software modeling and design: UML, use cases patterns and software architectures 2011, Cambridge University Press.
17. Gonzalez, V., Diaz, A., Fernandez, P., Junquera, A., & Bayon, R. (2010). MIOOP, an object-oriented programming paradigm approach on the IEC 61131 standard. In IEEE conference on emerging technologies and factory automation, Bilbao, Spain.
18. Hametner, R., Zoitl, A., & Semo, M. (2010). Automation component architecture for the efficient development of industrial automation systems. In Proceedings of the 6th IEEE conference on automation science and engineering (CASE), Toronto, Canada.
19. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 1987, 8:231-274.
20. Harel D., Naamad A. The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering and Methodologies 1996, 5(4):293-333.
21. Heverhagen, T., Tracht, R., Hirschfeld, R., 2003. A profile for integrating function blocks into the unified modeling language. In SVERTS: Specification and validation of UML models for real time and embedded systems. Sixth international conference on the unified modeling language.
22. International Electrotechnical Commission (2002). IEC 61131-3. Programmable controllers-Part 3: Programming languages (2nd ed.). Final Draft International Standard (FDIS).
23. International Electrotechnical Commission (2003). IEC 61131-3. Programmable controllers-Part 3: Programming languages (2nd ed.). International Standard.
24. International Electrotechnical Commission (2005). IEC 61499-1. Function blocks for industrial process measurement and control-Part 1: Architecture. International Standard.
25. International Society of Automation (2008). Machine and unit states: An implementation example of ISA-88. ISA-TR88.00.02-2008. http://www.isa.org.
26. Katzke, U., & Vogel-Heuser, B. (2005). UML-PA as an engineering model for distributed process automation. In IFAC World Congress (Vol. 16). Prague, Czech Republic.
27. Klotz, T., Fordran, E., Straube, B., & Haufe, J. (2009). Formal verification of UML-modeled machine controls. In IEEE international conference on emerging technologies and factory automation, Mallorca, Spain.
28. Lobov, A., Lastra, J., & Tuokko, R. (2005). Application of UML in plant modeling for model-based verification: UML translation to TNCES. In IEEE International Conference on Industrial Informatics, Perth, Australia.
29. Lüder, A., Hundt, L., Foehr, M., Wagner, T., & Zaddach, J. -J. (2010). Manufacturing systems engineering with mechatronical units. In Proceedings of the IEEE international conference on emerging technologies and factory automation (ETFA), Bilbao, Spain.
30. Mathworks Inc. (2010a). Simulink ® PLC coder. http://www.mathworks.com.
31. Mathworks Inc. (2010b). Stateflow ®. http://www.mathworks.com.
32. Maurmaier, M., & Göhner, P. (2009). Model-driven development in industrial automation-automating the development of industrial automation systems using model transformations. In ICINCO-RA (pp. 244-249).
33. Object Management Group (2009). UML v. 2.2 superstructure specification. Document N. formal/2009-02-02. http://Http://www.omg.org/spec/UML/2.2/.
34. Object Management Group (2010). System modeling language (SysML) specification. v. 1.2. http://www.sysml.org/specs.
35. OMAC Users Group (2006). Guidelines for packaging machinery automation V3.1. http://www.omac.org.
36. Pazzi, L. (2000). Part-whole Statecharts for the explicit representation of compound behaviours. In A. Evans, S. Kent, & B. Selic (Eds.), Proceedings of UML 2000. Lecture notes on computer science (Vol. 1939, pp. 541-555). Springer-Verlag.
37. Pintér, G., & Majzik, I. (2005). Modeling and analysis of exception handling by using UML Statecharts. In Scientific engineering of distributed java applications. Lecture notes on computer science (Vol. 3049/2005, pp. 58-67).
38. PLCOpen Technical Committee 2 (2010). Technical specification-function blocks for motion control-Version 2.0. http://www.plcopen.org.
39. PLCOpen Technical Committee 6 (2009). Technical paper-XML formats for IEC 61131-3-Version 2.01. http://www.plcopen.org.
40. Ritala, T., & Kuikka, S. (2007). UML automation profile: Enhancing the efficiency of software development in the automation industry. In IEEE international conference on industrial informatics. Vienna, Austria.
41. Rockwell Automation Inc. (2010). RSLogix 5000 ®. http://www.rockwellautomation.com.
42. Samek, M. (2008). Practical statecharts in C/C++. (2nd ed.). Newnes.
43. Sanz R., Zalewski J. Pattern-based control systems engineering-Using design patterns to document, transfer, and exploit design knowledge. IEEE Control Systems Magazine 2003, 42-60.
44. Schünemann U. Programming PLCs with an object-oriented approach. Automation Technology in Practice 2007, 59-63.
45. Secchi C., Bonfè M., Fantuzzi C. On the use of UML for modeling mechatronic systems. IEEE Transactions on Automation Science and Engineering 2007, 4:105-113.
46. Selic B., Gullekson G., Ward P. Real-time object-oriented modeling 1994, John Wiley & Sons.
47. Storr, A., Lewek, J., & Lutz, R. (1997). Modelling and reuse of object-oriented machine software. In Proceedings of the European conference on integration in manufacturing (pp. 475-484), Dresden, Germany.
48. Thramboulidis, K. (2004). Using UML in control and automation: A model driven approach. In IEEE International conference on industrial informatics (pp. 587-593), Berlin, Germany.
49. Thramboulidis, K. (2008). Challenges in the development of mechatronic systems: The mechatronic component. In IEEE conference on emerging technologies and factory automation, Hamburg, Germany.
50. Thramboulidis K. Different perspectives. face to face; IEC 61499 function block model: Facts and fallacies. IEEE Industrial Electronics Magazine 2009, 3:7-26.
51. Thramboulidis K. The 3+1 SysML view-model in model integrated mechatronics. Journal of Software Engineering and Applications 2010, 3:109-118.
52. Tomizuka M. Mechatronics: From the 20th to 21st century. Control Engineering Practice 2002, 10:877-886.
53. Vogel-Heuser, B., Witsch, D., & Katzke, U. (2005). Automatic code generation from a UML model to IEC 61131-3 and system configuration tools. In International conference on control and automation (Vol. 16), Budapest, Hungary.
54. Vyatkin, V., Karras, S., & Pfeiffer, T. (2005). Architecture for automation system development based on IEC 61499 standard. In Proceedings of the IEEE international conference on industrial informatics (INDIN), Perth, Australia.
55. Werner B. Object-oriented extensions for IEC 61131-3. IEEE Industrial Electronics Magazine 2009, 3:36-39.
56. Witsch, D., Ricken, M., Kormann, B., & Vogel-Heuser, B. (2010). PLC-Statecharts: An approach to integrate UML-Statecharts in open-loop control engineering. In IEEE international conference on emerging technologies and factory automation, Osaka, Japan.
57. Witsch, D., & Vogel-Heuser, B. (2009). Close integration between UML and IEC 61131-3: New possibilities through object-oriented extensions. In IEEE international conference on emerging technologies and factory automation, Mallorca, Spain.
58. Younis, M., & Frey, G. (2006). UML-based approach for the re-engineering of PLC programs. In IECON 2006-32nd annual conference on IEEE industrial electronics (pp. 3691-3696).
59. Zoitl A., Strasser T., Sünder C., Baier T. Is IEC 61499 in harmony with IEC 61131-3?. IEEE Industrial Electronics Magazine 2009, 3:49-55.
60. Zoitl A., Vyatkin V. Different perspectives. Face to face; IEC 61499 architecture for distributed automation: the "glass half full" view. IEEE Industrial Electronics Magazine 2009, 3:7-26.