Towards effective management of inconsistencies in model-based engineering of automated production systems

IFAC-PapersOnLine

Volumn 28, Issue 3, 2015, Pages 916-923

  Feldmann, Stefan ^a   Herzig, Sebastian J I ^b   Kernschmidt, Konstantin ^a   Wolfenstetter, Thomas ^a   Kammerl, Daniel ^a   Qamar, Ahsan ^b   Lindemann, Udo ^a   Krcmar, Helmut ^a   Paredis, Christiaan J J ^b   Vogel Heuser, Birgit ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Inconsistency management; Model management; Multi disciplinary engineering; Ontologies

Indexed keywords

MODELING LANGUAGES; ONTOLOGY; AUTOMATION; DISTRIBUTED COMPUTER SYSTEMS;

AUTOMATED PRODUCTION SYSTEMS; CONCEPTUAL APPROACHES; INCONSISTENCY MANAGEMENT; MODEL MANAGEMENT; MODEL-BASED ENGINEERING; MODEL-BASED SYSTEMS ENGINEERING; MULTI DISCIPLINARY ENGINEERINGS; SEMANTIC WEB TECHNOLOGY; EFFECTIVE MANAGEMENT; MODEL-BASED SYSTEM ENGINEERINGS; MODELING FORMALISMS; NUMBER OF VIEWS; ONTOLOGY'S;

AUTOMATION; MODELING LANGUAGES;

EID: 84953867216     PISSN: None     EISSN: 24058963     Source Type: Conference Proceeding    
DOI: 10.1016/j.ifacol.2015.06.200     Document Type: Conference Paper

References (28)

1. Bassi, L., Secchi, C, Bonfé, M. and Fantuzzi, C. (2011). A SysML-Based Methodology for Manufacturing Machinery Modeling and Design. IEEE/ASME Trans. Mechatronics, 16(6), 1049-1062.
2. Boothroyd, G., Dewhurst, P. and Knight, W. (2002). Product Design for Manufacture and Assembly. Marcel Dekker, New York, NY, USA, 2nd edition.
3. Broy, M., Feilkas, M., Herrmannsdoerfer, M., Merenda, S. and Ratiu, D. (2010). Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments. Proc. IEEE, 98(4), 526-545.
4. Estévez, E. and Marcos, M. (2012). Model-Based Validation of Industrial Control Systems. IEEE Trans. Ind. Inform., 8(2), 302-310.
5. Finkelstein, A.C., Gabbay, D., Hunter, A., Kramer, J. and Nuseibeh, B. (1994). Inconsistency Handling in Multiperspective Specifications. IEEE Trans. Sofiw. Eng., 20(8), 569-578.
6. Gausemeier, J., Schäfer, W., Greenyer, J., Kahl, S., Pook, S. and Rieke, J. (2009). Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems. In Int. Conf. Eng. Des., 1-12.
7. Giarratano, J.C. and Riley, G. (1994). Expert Systems: Principles and Programming. PWS Publishing Co., Boston, MA, USA, 2nd edition.
8. Hehenberger, P., Egyed, A. and Zeman, K. (2010). Consistency Checking of Mechatronic Design Models. In ASME Int. Des. Eng. Techn. Conf. Comput. Inf. Eng. Conf, 1141-1148.
9. Herzig, S., Qamar, A., Reichwein, A. and Paredis, C.J. (2011). A Conceptual Framework for Consistency Management in Model-Based Systems Engineering. In ASME Int. Des. Eng. Techn. Conf. Comput. Inf. Eng. Conf, 1329-1339.
10. Herzig, S.J. and Paredis, C.J. (2014). A Conceptual Basis for Inconsistency Management in Model-based Systems Engineering. In CIRP Des. Conf, 52-57.
11. Hildebrandt, S., Lambers, L., Giese, H., Rieke, J., Schäfer, W., Lauder, M., Anjorin, A. and Schurr, A. (2013). A Survey of Triple Graph Grammar Tools. Electronic Communications of the EAASST, 57.
12. International Electrotechnical Commission, IEC (2014). Engineering data exchange format for use in industrial automation systems engineering - Automation Markup Language. IEC Standard 62714.
13. Isermann, R. (2008). Mechatronic Systems - Innovative Products with Embedded Control. Control Eng. Practice, 16(1), 14-29.
14. Kernschmidt, K. and Vogel-Heuser, B. (2013). An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering. In IEEE Int. Conf. Autom. Sci. Eng., 1113-1118.
15. Mens, T., Van Der Straeten, R. and D'Hondt, M. (2006). Detecting and Resolving Model Inconsistencies using Transformation Dependency Analysis. In Model Driven Eng. Languages Syst., 200-214.
16. NASA (2000). Report on Project Management in NASA: Phase II of the Mars Climate Orbiter Mishap Report. URL ftp://ftp.hq.nasa.gov/pub/pao/reports/2000/MCO-MIB-Report.pdf, retrieved 02/03/2015.
17. Reder, A. and Egyed, A. (2013). Determining the Cause of a Design Model Inconsistency. IEEE Trans. Softw. Eng., 39(11), 1531-1548.
18. Schätz, B., Braun, P., Huber, F. and Wisspeintner, A. (2003). Consistency in Model-Based Development. In IEEE Int. Conf. Workshop Eng. Comput.-Based Syst., 287-296.
19. Schmidt, D.C. (2006). Guest Editor's Introduction: Model-Driven Engineering. Comput, 39(2), 25-31.
20. Secchi, C, Bonfé, M. and Fantuzzi, C. (2007). On the use of UML for modeling mechatronic systems. IEEE Trans. Autom. Sci. Eng., 4(1), 105-113.
21. Spanoudakis, G. and Zisman, A. (2001). Inconsistency Management in Software Engineering: Survey and Open Research Issues. In Handbook of Software Engineering and Knowledge Engineering, 329-380.
22. Thramboulidis, K. (2013). Overcoming Mechatronic Design Challenges: the 3+1 SysML-view Model. J. Comput. Sci. Techn., 2(4), 6-14.
23. Van Der Straeten, R. and D'Hondt, M. (2006). Model Refactorings through Rule-Based Inconsistency Resolution. In ACM Symp. Appl. Comput, 1210-1217.
24. Van Der Straeten, R., Mens, T., Simmonds, J. and Junckers, V. (2003). Using Description Logic to Maintain Consistency between UML Models. In Lecture Notes in Computer Science, volume 2863, 326-340.
25. Vogel-Heuser, B., Legat, C, Folmer, J. and Feldmann, S. (2014). Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit. Technical Report TUM-AIS-TR-01-14-02, Technische Universität München. URL https://mediatum.ub.tum.de/node?id=1208973, retrieved 02/03/2015.
26. World Wide Web Consortium, W3C (2008). Extensible Markup Language (XML) 1.0. URL http://www.w3.org/TR/xml, retrieved 02/03/2015.
27. World Wide Web Consortium, W3C (2013). SPARQL Protocol and RDF Query Language 1.1. URL http://www.w3.org/TR/sparq111-overview/, retrieved 02/03/2015.
28. World Wide Web Consortium, W3C (2014). Resource Description Framework (RDF). URL http://www.w3.org/RDF/, retrieved 02/03/2015.