Integrating viewpoints in the development of mechatronic products

The development of mechatronic products involves multiple stakeholders which have different viewpoints and therefore use different concepts, models and tools to deal with their concerns of interest. This paper argues that an increased emphasis needs to be placed on the relations between viewpoints to be able to deal with the evolving scope and requirements on mechatronic products. We study relations between viewpoints at the levels of people, models and tools, and present solutions that are used to formally and explicitly capture such relations. Viewpoint contracts are used to define the vocabulary, assumptions and constraints required for ensuring smooth communication between stakeholders (people level). Dependency models capture relations between product properties belonging to different viewpoints, and how such dependencies relate to predictions and decisions (model level). Tool integration models describe the relations between tools in terms of traceability, data exchange, invocation and notifications (tool level). A major contribution of this paper is a unification approach, elaborating how these solutions can be used synergetically to integrate viewpoints. An industrial robot case study is utilized to illustrate the challenges and solutions with respect to relations between viewpoints, including the unification approach.

[1]  Christiaan J. J. Paredis,et al.  A Domain-Specific Language for Dependency Management in Model-Based Systems Engineering , 2013, MPM@MoDELS.

[2]  Jürgen Gausemeier,et al.  Architecture and Design Methodology of Self-Optimizing Mechatronic Systems , 2010 .

[3]  Kleanthis Thramboulidis,et al.  The 3+1 SysML View-Model in Model Integrated Mechatronics , 2010, J. Softw. Eng. Appl..

[4]  E. Rechtin,et al.  The art of systems architecting , 1996, IEEE Spectrum.

[5]  Timothy P. Kelliher,et al.  Engineering Complex Systems With Models and Objects , 1997 .

[6]  Christiaan J. J. Paredis,et al.  System-level model integration of design and simulation for mechatronic systems based on SysML , 2011 .

[7]  Kenneth M. Ragsdell,et al.  An Approach Toward Integrating Top-Down and Bottom-Up Product Concept and Design Selection , 2011 .

[8]  Dolev Dotan,et al.  Verification of embedded system's specification using collaborative simulation of SysML and simulink models , 2009, 2009 International Conference on Model-Based Systems Engineering.

[9]  Ragnhild Van Der Straeten,et al.  Model refactorings through rule-based inconsistency resolution , 2006, SAC.

[10]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[11]  Thomas A. Henzinger,et al.  Timed Interfaces , 2002, EMSOFT.

[12]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[13]  Pieter J. Mosterman,et al.  Computer Automated Multi-Paradigm Modeling : An Introduction , 2000 .

[14]  Albert Albers,et al.  System Architecture Modeling in a Software Tool Based on the Contact and Channel Approach (C&C-A) , 2011 .

[15]  Remco M. Dijkman Consistency in multi-viewpoint architectural design , 2006 .

[16]  Alan M. Christie,et al.  Software Process Automation: Interviews, Survey, and Workshop Results. , 1997 .

[17]  Tom Mens,et al.  Maintaining Consistency between UML Models Using Description Logic , 2004, Obj. Logiciel Base données Réseaux.

[18]  Flavio Oquendo,et al.  Software Architecture , 2004, Lecture Notes in Computer Science.

[19]  Edward A. Lee,et al.  Cyber-physical system design contracts , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[20]  Joseph M. Sussman,et al.  Collected Views on Complexity in Systems , 2002 .

[21]  Yun Yang,et al.  Classification of and experimentation on tool interfacing in software development environments , 1996, Proceedings 1996 Asia-Pacific Software Engineering Conference.

[22]  Waguih ElMaraghy,et al.  Complexity of Multi-Disciplinary Design , 2007 .

[23]  Roberto Passerone,et al.  Multi-Viewpoint State Machines for Rich Component Models , 2009 .

[24]  Lionel Roucoules,et al.  Multi-domain product modelling: from requirements to cad and simulation tools. , 2009 .

[25]  Colin Atkinson,et al.  Reducing accidental complexity in domain models , 2008, Software & Systems Modeling.

[26]  Reiko Heckel,et al.  A Combined Reference Model- and View-Based Approach to System Specification , 1997, Int. J. Softw. Eng. Knowl. Eng..

[27]  Christiaan J. J. Paredis,et al.  Multi-view Modeling to Support Embedded Systems Engineering in SysML , 2010, Graph Transformations and Model-Driven Engineering.

[28]  Shuichi Fukuda,et al.  Fuzzy modelling of consensus during design conflict resolution , 2012 .

[29]  Anton Cervin,et al.  Delay-Aware Period Assignment in Control Systems , 2008, 2008 Real-Time Systems Symposium.

[30]  Hans Vangheluwe,et al.  A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

[31]  Christiaan J. J. Paredis,et al.  Dependency Modeling and Model Management in Mechatronic Design , 2012, J. Comput. Inf. Sci. Eng..

[32]  Ahsan Qamar,et al.  Model and Dependency Management in Mechatronic Design , 2013 .

[33]  Manfred Broy,et al.  Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments , 2010, Proceedings of the IEEE.

[34]  Tom Mens,et al.  Using Description Logic to Maintain Consistency between UML Models , 2003, UML.

[35]  Clemens Reichmann,et al.  Model Level Coupling of Heterogeneous Embedded Systems , 2004 .

[36]  Alberto L. Sangiovanni-Vincentelli,et al.  Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems , 2012, Eur. J. Control.

[37]  權寧住,et al.  Mechatronics , 2019, CIRP Encyclopedia of Production Engineering.

[38]  Anthony L Wasserman Tool Integration in Software Engineering Environments , 1989, SEE.

[39]  Richard G. Dewar,et al.  A new research agenda for tool integration , 2007, J. Syst. Softw..

[40]  Aleksandr A. Kerzhner Using logic-based approaches to explore system architectures for systems engineering , 2012 .

[41]  P. Häußler,et al.  Structural and Controller Optimization in Dynamic Mechatronic Systems , 2010, SOCO 2009.

[42]  Hong-Sen Yan,et al.  Integrated control and mechanism design for the variable input-speed servo four-bar linkages , 2009 .

[43]  Rolf Siegers 3.3.2 The ABCs of AFs: Understanding Architecture Frameworks , 2005 .

[44]  Randall Frost,et al.  Jazz and the Eclipse Way of Collaboration , 2007, IEEE Software.

[45]  Jr. Brooks F.P. No Silver Bullet Essence and Accidents of Software Engineering , 1987 .

[46]  Rajeev Alur,et al.  Regular Specifications of Resource Requirements for Embedded Control Software , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

[47]  L. Brisolara,et al.  Using UML as a front-end for an efficient Simulink-based multithread code generation targeting MPSoCs , 2007 .

[48]  Antonio Vallecillo On the Combination of Domain Specific Modeling Languages , 2010, ECMFA.

[49]  Niklas Adamsson Interdisciplinary integration in complex product development : managerial implications of embedding software in manufactured goods , 2007 .

[50]  Jacob Buur,et al.  Design models in mechatronic product development , 1989 .

[51]  Mark Klein,et al.  Conflict resolution in cooperative design , 1989, Artif. Intell. Eng..

[52]  Michael Wagner,et al.  Model-Driven Tool Integration with ModelBus , 2016 .

[53]  MedvidovicNenad,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000 .

[54]  Edward A. Lee,et al.  Design Contracts for Cyber-Physical Systems : Making Timing Assumptions Explicit , 2012 .

[55]  David Carney,et al.  Principles of CASE Tool Integration , 1994 .

[56]  Bradley R. Schmerl,et al.  View Consistency in Architectures for Cyber-Physical Systems , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[57]  Bashar Nuseibeh,et al.  ViewPoints: a vehicle for method and tool integration , 1992, [1992] Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering.

[58]  Pascal Potvin,et al.  An IMS DSL Developed at Ericsson , 2015 .

[59]  Laurence Tratt,et al.  Model transformations and tool integration , 2005, Software & Systems Modeling.

[60]  Wim Desmet,et al.  Integrated structure and control design for mechatronic systems with configuration-dependent dynamics , 2009 .

[61]  Panos Y. Papalambros,et al.  Combined Optimal Design and Control With Application to an , 2002 .

[62]  Tom Mens,et al.  Maintaining Consistency between UML Models with Description Logic Tools. , 2003 .

[63]  Ragnhild Van Der Straeten,et al.  Detecting and resolving model inconsistencies using transformation dependency analysis , 2006, MoDELS'06.

[64]  Bernhard Schätz,et al.  Consistency in model-based development , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[65]  Michael J. Pratt,et al.  Introduction to ISO 10303 - the STEP Standard for Product Data Exchange. pp , 2001, J. Comput. Inf. Sci. Eng..

[66]  J. Amerongen Mechatronic design , 2003 .

[67]  Perdita Stevens,et al.  «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications , 2003, Lecture Notes in Computer Science.

[68]  Anthony Finkelsteiin A Foolish Consistency: Technical Challenges in Consistency Management , 2000 .

[69]  Tony Shell The synthesis of optimal systems design solutions , 2003 .

[70]  David Wang,et al.  Simultaneous plant-controller design optimization of a two-link planar manipulator , 2006 .

[71]  Diana Malvius,et al.  Integrated information management in complex product development , 2009 .

[72]  A. Sangiovanni-Vincentelli,et al.  Frankenstein : Contract-Based Design for Cyber-Physical Systems ∗ g , 2013 .

[73]  Alberto L. Sangiovanni-Vincentelli,et al.  Contract-based system-level composition of analog circuits , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[74]  Niels Henrik Mortensen,et al.  Challenges in Designing Mechatronic Systems , 2013 .

[75]  Martin Törngren,et al.  Model based development of automotive embedded systems , 2008 .

[76]  Tyson R. Browning,et al.  Design Structure Matrix Methods and Applications , 2012 .

[77]  Martin Törngren,et al.  On the modeling and generation of service-oriented tool chains , 2012, Software & Systems Modeling.

[78]  M. N. Wicks Tool Integration in Software Engineering Environments , 2005 .

[79]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[80]  Hans Vangheluwe,et al.  FTG+PM: An Integrated Framework for Investigating Model Transformation Chains , 2013, SDL Forum.

[81]  Edward F. Crawley,et al.  Design Structure Matrix Methods and Applications , 2012 .

[82]  George A. Hazelrigg,et al.  A Framework for Decision-Based Engineering Design , 1998 .