Challenges of parallel evolution in production automation focusing on requirements specification and fault handling

At-Automatisierungstechnik

Volumn 62, Issue 11, 2014, Pages 758-770

  Vogel Heuser, Birgit ^a   Legat, Christoph ^a   Folmer, Jens ^a   Rösch, Susanne ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

automation software; fault handling; Machine and plant automation; parallel evolution; requirement specification

Indexed keywords

EID: 84910114837     PISSN: 01782312     EISSN: 2196677X     Source Type: Journal    
DOI: 10.1515/auto-2014-1111     Document Type: Article

References (43)

1. Robert K Yin. Case study research: Design and methods, volume 5. sage, 2009
2. B. Vogel-Heuser, J. Folmer, and C. Legat. Anforderungen an die Softwareevolution in der Automatisierung der Machinen und Anlagenbaus. at - Automatisierungstechnik, 62(3):163-174, 2014
3. C. Legat, J. Folmer, and B. Vogel-Heuser. Evolution in industrial plant automation: A case study. In 39th Annual Conference of the IEEE Industrial Electronics Society, pages 4386-4391. IEEE, 2013
4. R. Birkhofer, G. Feldmeier, J. Kalhoff, C. KleedÖrfer,M. Leidner, R. Mildenberger,M. Mühlhause, J. Niemann, R. Schrieber, J. Wickinger, M. Winzenick, and M. Wollschläger. Life-Cycle-Management for Automation Products and Systems - A Guideline by the System Aspects Working Group of the ZVEI Automation Division. Technical report, Zentralverband Elektrotechnikund Elektronikindustrie e.V., 2010
5. J. Ladiges, I. Wior, E. Arroyo, A. Fay, C. Haubeck, and W. Lamersdorf. Evolution of production facilities and its impact on nonfunctional requirements. In 11th IEEE International Conference on Industrial Informatics, pages 224-229. IEEE, 2013
6. M. Kowal, C. Legat, D. Lorefice, C. Prehofer, I. Schäfer, and B. Vogel-Heuser:. Delta Modeling for Variant-rich and Evolving Manufacturing Systems. In 36th International Conference on Software Engineering Workshops, 2014
7. T. Roehm, B. Bruegge, T.-M. Hesse, and B. Paech. Towards Identification of Software Improvements and Specification Updates by Comparing Monitored and Specified End-User Behavior. In 29th IEEE International Conference on Software Maintenance, pages 464-467. IEEE, 2013
8. S. Getir, A. van Hoorn, L. Grunske, and M. Tichy. Co-Evolution of Software Architecture and Fault Tree Models: An Explorative Case Study on a Pick and Place Factory Automation System. 5th International Workshop Non-functional Properties in modeling: Analysis, Languages, Processes, page 32, 2013
9. T. Kehrer, U. Kelter, and G. Taentzer. Consistency-preserving edit scripts in model versioning. In 2013 IEEE/ACM 28th International Conference on Automated Software Engineering, pages 191-201. IEEE, 2013
10. M. M. Lehman. Programs, life cycles, and laws of software evolution. Proceedings of the IEEE, 68(9):1060-1076, 1980
11. IEC International Electrotechnical Commission. IEEE Standard Glossary of Software Engineering Terminology, December 31 1990
12. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11-33, 2004
13. F. J. R. Rojo, R. Roy, and E. Shehab. Obsolescence management for long-life contracts: State of the art and future trends. The International Journal of Advanced Manufacturing Technology, 49(9-12):1235-1250, 2010
14. J. Buckley, T. Mens, M. Zenger, A. Rashid, and G. Kniesel. Towards a taxonomy of software change. Journal of Software Maintenance and Evolution: Research and Practice, 17(5):309-332, 2005
15. M. M. Lehman and J. F. Ramil. Software evolution and software evolution processes. Annals of Software Engineering, 14(1-4):275-309, 2002
16. M. Göhring and A. Fay. Method for the analysis of temporal change of physical structure in the instrumentation and control life-cycle. Nuclear Engineering and Technology, 45(5):653- 664, 2013
17. H.-P. Wiendahl, H. A. El Maraghy, P. Nyhuis, M. F. Zäh, H.-H. Wiendahl, N. Duffie, and M. Brieke. Changeable manufacturing-classification, design and operation. CIRP Annals-Manufacturing Technology, 56(2):783-809, 2007
18. M. G. Mehrabi, A. G. Ulsoy, and Y. Koren. Reconfigurable manufacturing systems: Key to future manufacturing. Journal of Intelligent Manufacturing, 11(4):403-419, 2000
19. S. J. I. Herzig, A. Qamar, A. Reichwein, and C. J. J. Paredis. A conceptual framework for consistency management in modelbased systems engineering. In ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, pages 1329-1339. American Society of Mechanical Engineers, 2011
20. S. Feldmann, K. Kernschmidt, and B. Vogel-Heuser. Combining a SysML-based modeling approach and semantic technologies for analyzing change influences in manufacturing plant models. In 47th CIRP Conference on Manufacturing Systems, Ontario, Canada, 2014
21. J. D. A. Walsh, F. Bordeleau, and B. Selic. Domain analysis of dynamic system reconfiguration. Software & Systems Modeling, 6(4):355-380, 2007
22. P. Vrbal and V. Marík. Capabilities of dynamic reconfiguration of multiagent-based industrial control systems. IEEE Transactions on Systems, Man and Cybernetics Part A: Systems and Humans, 40(2):213-223, 2010
23. J. Bendtsen, K. Trangbaek, and J. Stoustrup. Plug-and-Play Control - Modifying Control Systems Online. IEEE Transactions on Control Systems Technology, 21(1):79-93, 2013
24. S. Bodenburg and J. Lunze. Plug-and-Play control - Theory and implementation. In 11th IEEE International Conference on Industrial Informatics, pages 165-170. IEEE, 2013
25. C. Sünder, V. Vyatkin, and A. Zoitl. Formal Validation of Downtimeless System Evolution in Embedded Automation Controllers. ACM Transactions on Embedded Control Systems, 2011
26. E. Westkämper. Adaptable Production Structures. In Manufacturing Technologies for Machines of the Future (21st Century Technologies), chapter 4, pages 87-120. Springer, 2003
27. B. Ramesh and M. Jarke. Toward reference models for requirements traceability. IEEE Transactions on Software Engineering, 27(1):58-93, 2001
28. M. Felici. Taxonomy of evolution and dependability. In 2nd International Workshop on Unanticipated Software Evolution, pages 95-104, 2003
29. Institute for Automation and Information Systems. The Pick and Place Unit - Demonstrator for Evolution in Industrial Plant Automation. http://www.ppu-demonstrator.org, 2014
30. E. Park, D. M. Tilbury, and P. P. Khargonekar. A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism. IEEE Transactions on Systems, Man, and Cybernetics Part C: Applications and Reviews,, 31(2):168-188, 2001
31. R. Laleau, F. Semmak, A. Matoussi, D. Petit, A. Hammad, and B. Tatibouet. A first attempt to combine SysML requirements diagrams and B. Innovations in Systems and Software Engineering, 6(1-2):47-54, 2010
32. S. Feldmann, S. RÖsch, C. Legat, and B. Vogel-Heuser. Keeping requirements and test cases consistent: Towards an ontologybased approach. In IEEE International Conference on Industrial Informatics (INDIN), pages 732-738, IEEE, 2014
33. M. Bauer. Data-Driven Method for Process Analysis. PhD thesis, University College, London, 2005
34. T. Hubauer, S. Lamparter, M. Roshchin, N. Solomakhina, and S. Watson. Analysis of data quality issues in real-world industrial data. In Annual Conference of the Prognostics and Health Management Society, New Orleans, USA, 2013
35. D. Witsch and B. Vogel-Heuser. PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering - Aspects on behavioral semantics and model-checking. In 18th IFAC World Congress, 2011
36. DIN Deutsches Institut für Normung e.V. DIN EN 13128: Sicherheit von Werkzeugmaschinen - Fräsmaschinen (einschließlich Bohr-Fräsmaschinen), 2009
37. P. Clements and L. Northrop. Software product lines: Practices and Patterns. Addison-Wesley, 2002
38. S. Feldmann, J. Fuchs, and B. Vogel-Heuser. Modularity, variant and version management in plant automation - future challenges and state of the art. In International Design Conference, pages 1689-1698, 2012
39. U. Ryssel, J. Ploennigs, and K. Kabitzsch. Automatic variationpoint identification in function-block-basedmodels. In ACM SIGPLAN Notices, volume 46, pages 23-32. ACM, 2010
40. C. K. Roy and J. R. Cordy. A survey on software clone detection research. Technical Report 2007-541, Queen's University at Kingston, Ontario, Canada, 2007
41. L. Dobrica and E. Niemela. A survey on software architecture analysis methods. IEEE Transactions on Software Engineering, 28(7):638-653, 2002
42. T. Mens and T. Tourwé. A survey of software refactoring. IEEE Transactions on Software Engineering, 30(2):126-139, 2004
43. D. Coleman, D. Ash, B. Lowther, and P. Oman. Using metrics to evaluate software system maintainability. Computer, 27(8):44-49, 1994