MDE of manufacturing automation software - Integrating SysML and standard development tools

Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014

Volumn , Issue , 2014, Pages 267-273

  Schütz, Daniel ^a   Legat, Christoph ^a   Vogel Heuser, Birgit ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; INDUSTRIAL INFORMATICS; MANUFACTURE; MODELING LANGUAGES; SOFTWARE DESIGN; SOFTWARE PROTOTYPING;

AUTOMATED CODE GENERATION; AUTOMATION SOFTWARE; MANUFACTURING AUTOMATION SOFTWARE; MODEL-DRIVEN ENGINEERING; RUNTIME ENVIRONMENTS; STANDARD DEVELOPMENT; SYSML PARAMETRIC DIAGRAMS; SYSTEMS MODELING LANGUAGES;

PROGRAM DEBUGGING;

EID: 84914147331     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2014.6945519     Document Type: Conference Paper

References (45)

1. A. Lüder, A. Klostermeyer, J. Peschke, A. Bratoukhine, and T. Sauter, "Distributed automation: PABADIS versus HMS," IEEE Trans. Ind. Informat., vol. 1, no. 1, pp. 31-38, 2005
2. D. C. Mcfarlane and S. Bussmann, "Developments in holonic production planning and control," Production Planning and Control, vol. 11, no. 6, pp. 522-536, 2000
3. K. Thramboulidis, "The 3+1 SysML View-Model in Model Integrated Mechatronics," Journal of Software Engineering and Applications, vol. 3, no. 2, pp. 109-118, 2010
4. C. Yang and V. Vyatkin, "Transformation of Simulink models to IEC 61499 Function Blocks for verification of distributed control systems," Control Engineering Practice, vol. 20, no. 12, pp. 1259-1269, 2012
5. M. Bonfé, C. Fantuzzi, and C. Secchi, "Design patterns for model-based automation software design and implementation," Control Engineering Practice, vol.-, pp.-, 2012
6. K. Thramboulidis and G. Frey, "Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation," Journal of Software Engineering and Applications, vol. 4, no. 4, pp. 217-226, 2011
7. E. Estévez, M. Marcos, and D. D. Orive, "Automatic generation of PLC automation projects from component-based models," The Int. J. of Advanced Manufacturing Technology, vol. 35, no. 5-6, pp. 527-540, 2007
8. V. Vyatkin, "The IEC 61499 standard and its semantics," IEEE Ind. Electron. Mag., vol. 3, no. 4, pp. 40-48, 2009
9. E. Estevez and M. Marcos, "Model-Based Validation of Industrial Control Systems," IEEE Trans. Ind. Informat., vol. 8, no. 2, pp. 302-310, 2012
10. D. Witsch and B. Vogel-Heuser, "PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control EngineeringAspects on Behavioral Semantics and Model-Checking," in IFAC World Congress, 2011, pp. 7866-7872
11. T. Vepsäläinen, S. Sierla, J. Peltola, and S. Kuikka, "Assessing the industrial applicability and adoption potential of the AUKOTON model driven control application engineering approach," in Industrial Informatics (INDIN), 2010, pp. 883-889
12. K. Goldberg, "Editorial: A Secret to Advancing Research and Increasing Citations to Your Papers," IEEE Trans. Autom. Sci. Eng., vol. 9, no. 3, pp. 457-457, 2012
13. B. Kormann, D. Tikhonov, and B. Vogel-Heuser, "Automated PLC Software Testing Using Adapted UML Sequence Diagrams," in Information Control Problems in Manufacturing (INCOM), vol. 14, no. 1, 2012
14. ARC Advisory Group, "PLC & PLC-based PAC Worldwide Outlook: Five year market analysis and technology forecast through 2016," 2011
15. R. France, B. Rumpe, and M. Schindler, "Why is it so hard to use models in software development: observations," Software and Systems Modeling, vol. 12, no. 4, pp. 665-668, 2013
16. T. Strasser, C. Sünder, and A. Valentini, "Model-driven embedded systems design environment for the industrial automation sector," in Industrial Informatics (INDIN), 2008, pp. 1120-1125
17. M. Colla and T. Leidi, "Tools integration through a central model and automatic generation of multi-platform control code," in First Workshop on Industrial Automation Tool Integration for Engineering Project Automation, ser. CEUR Workshop Proceedings, vol. 821, 2011
18. K. Thramboulidis, "IEC 61499 in Factory Automation," in Advances in Computer, Information, and Systems Sciences, and Engineering, K. Elleithy, T. Sobh, A. Mahmood, M. Iskander, and M. Karim, Eds. Springer Netherlands, 2006, pp. 115-124
19. International Electrotechnical Commision (IEC), IEC 61131 (Second Edition), IEC Std., 2003
20. E. Estévez, M. Marcos, N. Iriondo, and D. Orive, "Graphical Modeling of PLC-based Industrial Control Applications," in American Control Conference (ACC), 2007, pp. 220-225
21. E. Estévez, M. Marcos, A. Lüder, and L. Hundt, "PLCopen for achieving interoperability between development phases," in Emerging Technologies & Factory Automation (ETFA), 2010
22. C. Secchi, M. Bonfé, and C. Fantuzzi, "On the Use of UML for Modeling Mechatronic Systems," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 1, pp. 105-113, 2007
23. L. Bassi, C. Secchi, M. Bonfé, and C. Fantuzzi, "A SysML-Based Methodology for Manufacturing Machinery Modeling and Design," IEEE/ASME Trans. Mechatronics, vol. 16, no. 6, pp. 1049-1062, 2011
24. C. Sünder, V. Vyatkin, and A. Zoitl, "Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers," ACM Transactions on Embedded Computing Systems, vol. 12, no. 1, pp. 1-17, 2013
25. V. Vyatkin, H.-M. Hanisch, C. Pang, and C.-H. Yang, "Closed-Loop Modeling in Future Automation System Engineering and Validation," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 39, no. 1, pp. 17-28, 2009
26. R. Chhabra and M. R. Emami, "Holistic system modeling in mechatronics," Mechatronics, vol. 21, no. 1, pp. 166-175, 2011
27. G. Bianchi, N. Blefari-Melazzi, G. Bonafede, and E. Tintinelli, "QUASIMODO: quality of service-aware multicasting over DiffServ and overlay networks," IEEE Network, vol. 17, no. 1, pp. 38-45, 2003
28. M. Hirsch, D. Missal, and H. M. Hanisch, "Design and verification of distributed industrial manufacturing control systems," in Industrial Electronics Conference (IECON), 2008, pp. 152-157
29. M. Hirsch, "Systematic Design of Distributed Industrial Manufacturing Control Systems," Ph.D. dissertation, Martin-Luther-Universität Halle-Wittenberg, 2010
30. V. Dubinin, V. Vyatkin, and T. Pfeiffer, "Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499," in Robotics and Automation (ICRA), 2005, pp. 3996-4001
31. International Electrotechnical Commision (IEC), IEC 61499 Function Blocks-Part 1: Architecture, IEC Std., 2007
32. V. Vyatkin, "IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review," IEEE Trans. Ind. Informat., vol. 7, no. 4, pp. 768-781, 2011
33. K. Thramboulidis, "IEC 61499 as an Enabler of Distributed and Intelligent Automation: A State-of-the-Art Review-A Different View," Journal of Engineering, vol.-, pp. 1-9, 2013
34. Object Management Group (OMG), Unified Modeling Language (OMG UML) V2.2, Object Management Group Std., 2009
35. -, Systems Modeling Language (SysML) v1.1, Object Management Group (OMG) Std., 2008
36. International Electrotechnical Commision (IEC), IEC 61131 (Second Edition), IEC Std., 2003
37. Object Management Group (OMG), MOF Model To Text Transformation Language (MOFM2T) Specification V1.0, Object Management Group (OMG) Std., 2008
38. -, ISO/IEC 19502-Meta Object Facility (MOF) Specification V1.4.1, International Organization for Standardization (ISO) / International Electrotechnical Comission (IEC) Std., 2005
39. -, Object Constraint Language (OCL) V2.3.1, Object Management Group Std., 2009
40. 3S, "Codesys v3," [Online], Available: http://www.codesys.com/, 2013
41. M. Bonfé, C. Fantuzzi, and C. Secchi, "Design patterns for model-based automation software design and implementation," Control Engineering Practice, vol. 0, pp.-, 2012
42. D. Schütz, M. Obermeier, and B. Vogel-Heuser, "SysML-based Approach for Automation Software Development-Explorative Usability Evaluation of the Provided Notation," in Human-Computer Interaction (HCI), 2013
43. B. Vogel-Heuser, M. Obermeier, S. Braun, K. Sommer, F. Jobst, and K. Schweizer, "Evaluation of a UML-Based Versus an IEC 61131-3-Based Software Engineering Approach for Teaching PLC Programming," IEEE Trans. Educ., vol. 56, no. 3, pp. 329-335, 2013
44. V. Vyatkin, H.-M. Hanisch, S. Karras, T. Pfeiffer, and V. Dubinin, "Rapid engineering and re-configuration of automation objects aided by formal modelling and verification," Int. J. of Manufacturing Research, vol. 1, no. 4, pp. 382-404, 2006
45. S. Feldmann, C. Legat, D. Schütz, S. Ulewicz, and B. Vogel-Heuser, "Automatic rule-based inference of control software capabilities considering interdisciplinary aspects," in International Conference on Production Research (ICPR), 2013.