Model and Dependency Management in Mechatronic Design

Managing consistency is a major concern in the design of complex engineering systems. At times, inconsistencies may lead to wrong decisions, resulting in design flaws which can compromise safety an ...

[1]  Ulrik Brandes,et al.  Graph-Theoretic Concepts in Computer Science , 2002, Lecture Notes in Computer Science.

[2]  Thomas Erl,et al.  SOA Principles of Service Design , 2007 .

[3]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[4]  Christiaan J. J. Paredis,et al.  Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests , 2010, MoDELS.

[5]  Vineet Sinha,et al.  Using dependency models to manage complex software architecture , 2005, OOPSLA '05.

[6]  M. M. Andreasen,et al.  A mapping of design decision-making , 2004 .

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

[8]  Gausemeier Jürgen,et al.  Towards the Design of Self-Optimizing Mechatronic Systems: Consistency Between Domain-Spanning and Domain-Specific Models , 2007 .

[9]  Christiaan J. J. Paredis,et al.  5.5.1 An Overview of the SysML‐Modelica Transformation Specification , 2010 .

[10]  Ananya Kanjilal,et al.  UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams , 2010, ICDCIT.

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

[12]  Tetsuo Tomiyama,et al.  Supporting conceptual design based on the function-behavior-state modeler , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

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

[14]  Max Jacobson,et al.  A Pattern Language: Towns, Buildings, Construction , 1981 .

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

[16]  Maria C. Yang,et al.  The Role of Sketch Finish and Style in User Responses to Early Stage Design Concepts , 2011 .

[17]  Nam P. Suh,et al.  Axiomatic Design: Advances and Applications , 2001 .

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

[19]  Kim B. Clark,et al.  Design Rules: The Power of Modularity , 2000 .

[20]  Russell S. Peak,et al.  STEP, XML, and UML: Complementary Technologies1 , 2004, J. Comput. Inf. Sci. Eng..

[21]  Christiaan J. J. Paredis,et al.  A Conceptual Framework for Consistency Management in Model-Based Systems Engineering , 2011 .

[22]  Carl During,et al.  Integrating Multi-Domain Models for the Design and Development of Mechatronic Systems , 2010 .

[23]  Gerrit Maarten Bonnema,et al.  System Evolution Barriers and How to Overcome Them , 2010 .

[24]  Tyson R. Browning,et al.  Managing complex product development projects with design structure matrices and domain mapping matrices , 2007 .

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

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

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

[28]  Wim Gielingh,et al.  An assessment of the current state of product data technologies , 2008, Comput. Aided Des..

[29]  Sandeep Neema,et al.  Foundation for Model Integration: Semantic Backplane , 2012 .

[30]  Chris McMahon,et al.  The Design Society , 2012 .

[31]  Christiaan J. J. Paredis,et al.  Maintaining consistency between system architecture and dynamic system models with SysML4Modelica , 2012, MPM '12.

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

[33]  P. John Clarkson,et al.  The P3 platform: an approach and software system for developing diagrammatic model-based methods in design research , 2009 .

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

[35]  Hans Vangheluwe,et al.  Consistency between geometric and dynamic views of a mechanical system , 2007, SCSC.

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

[37]  Christiaan J. J. Paredis,et al.  Enabling Multi-View Modeling with SysML Profiles and Model Transformations , 2009 .

[38]  Christiaan J. J. Paredis,et al.  Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations , 2009 .

[39]  Carl During,et al.  Designing mechatronic systems, a model-based perspective, an attempt to achieve SysML-Matlab/Simulink model integration , 2009, 2009 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

[40]  Robert L. Nagel,et al.  Function Design Framework (Fdf): Integrated Process and Function Modeling for Complex Systems , 2008 .

[41]  Christiaan J. J. Paredis,et al.  Virtual Verification of System Designs against System Requirements , 2010, MoDELS Workshops.

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

[43]  Tetsuo Tomiyama,et al.  A review of function modeling: Approaches and applications , 2008, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[44]  Kristina Shea,et al.  Computational Synthesis of Product Architectures Based on Object-Oriented Graph Grammars , 2012 .

[45]  Wim Dehaene,et al.  From UML/SysML to Matlab/Simulink: Current State and Future Perspectives , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[46]  Wilhelm Schäfer,et al.  Management of Cross-Domain Model Consistency during the Development of Advanced Mechatronic Systems , 2009 .

[47]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[48]  Hilding Elmqvist,et al.  Methods for Tearing Systems of Equations in Object-Oriented Modeling , 1994 .

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

[50]  Peter Fritzson,et al.  Mechanical CAD with Multibody Dynamic Analysis Based on Modelica Simulation , 2003 .

[51]  Emden R. Gansner,et al.  Graphviz and Dynagraph – Static and Dynamic Graph Drawing Tools , 2003 .

[52]  Ursula Frank,et al.  Specification technique for the description of self-optimizing mechatronic systems , 2009 .

[53]  Clifford Goodman,et al.  American Society of Mechanical Engineers , 1988 .

[54]  N. S. W. P. Bhattacharya,et al.  Integration of CATIA with Modelica , 2006 .

[55]  E. K. Gannett,et al.  THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS , 1965 .

[56]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[57]  Hans Tragter,et al.  Multi domain design: integration and reuse , 2010 .

[58]  Christiaan J. J. Paredis,et al.  Execution of UMLState Machines Using Modelica , 2010, EOOLT.

[59]  Jürgen Gausemeier,et al.  COMPUTER-AIDED CROSS-DOMAIN MODELING OF MECHATRONIC SYSTEMS , 2010 .

[60]  W. E. Eder,et al.  Theory of Technical Systems: A Total Concept Theory for Engineering Design , 1988 .

[61]  Jocelyn Simmonds,et al.  A tool for automatic UML model consistency checking , 2005, ASE '05.

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

[63]  A. Mujumdar.  Applications of Artificial Intelligence in Engineering , 1996 .

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

[65]  John S. Gero,et al.  The Situated Function — Behaviour — Structure Framework , 2004 .

[66]  Stephanie C. Thompson.  Rational design theory: a decision-based foundation for studying design methods , 2011 .

[67]  John S. Gero,et al.  The Situated Function - Behaviour - Structure Framework , 2002, AID.

[68]  Jozef Hooman,et al.  COUPLING SIMULINK AND UML MODELS , .

[69]  Daniel Malmquist,et al.  Optimization of Mechatronic Systems for supporting Early Design Decisions , 2012 .

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

[71]  Kristina Shea,et al.  A Computational Product Model for Conceptual Design Using SysML , 2009 .

[72]  Tetsuo Tomiyama,et al.  Development of design methodology for upgradable products based on function–behavior–state modeling , 2005, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[73]  G. Maarten Bonnema,et al.  3.3.1 A3 Architecture Overviews: Focusing architectural knowledge to support evolution of complex systems * , 2010 .

[74]  Martin Törngren,et al.  Systematic and Cost-efficient Tool Integration for Embedded Systems : The iFEST approach , 2012 .

[75]  Holger Giese,et al.  Summary of the workshop on multi-paradigm modeling: concepts and tools , 2006, MoDELS'06.

[76]  Andrew P. Sage,et al.  Handbook of Systems Engineering and Management , 2011 .

[77]  G. Hazelrigg.  Systems Engineering: An Approach to Information-Based Design , 1996 .

[78]  Cheng Yee Low,et al.  Specifying the Principle Solution in Mechatronic Development Enterprises , 2008, 2008 2nd Annual IEEE Systems Conference.

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

[80]  Niels Henrik Mortensen,et al.  A MECHATRONIC CASE STUDY HIGHLIGHTING THE NEED FOR RE-THINKING THE DESIGN APPROACH , 2011 .

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

[82]  Gerrit Maarten Bonnema,et al.  Funkey architecting : an integrated approach to system architecting using functions, key drivers and system budgets , 2008 .

[83]  Hideaki Takeda,et al.  Metamodel: A key to intelligent CAD systems , 1989 .

[84]  Achim D. Brucker,et al.  Metamodel-based UML Notations for Domain-specific Languages , 2007 .

[85]  Takashi Kiriyama,et al.  An Integrated Modelling Environment Using the Metamodel , 1994 .

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

[87]  Tom Mens,et al.  A Framework for Managing Consistency of Evolving UML Models , 2005 .

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

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

[90]  Christiaan J. J. Paredis,et al.  Integrating Models and Simulations of Continuous Dynamics Into SysML , 2012, J. Comput. Inf. Sci. Eng..

[91]  Klaus Zeman,et al.  USING SYSML IN THE PRODUCT DEVELOPMENT PROCESS OF MECHATRONIC SYSTEMS , 2010 .

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

[93]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..

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

[95]  E. L. Harder,et al.  The Institute of Electrical and Electronics Engineers, Inc. , 2019, 2019 IEEE International Conference on Software Architecture Companion (ICSA-C).

[96]  Lucienne Blessing,et al.  DRM, a Design Research Methodology , 2009 .

[97]  Sundar Murugappan,et al.  FEAsy: A Sketch-Based Interface Integrating Structural Analysis in Early Design , 2009 .

[98]  Carl During,et al.  Managing dependencies in mechatronic design: a case study on dependency management between mechanical design and system design , 2014, Engineering with Computers.

[99]  R. Mizoguchi,et al.  Tools and Methods of Competitive Engineering , 2007 .

[100]  C.J.H. Mann,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2009 .

[101]  Jacob Buur,et al.  A theoretical approach to mechatronics design , 1990 .

[102]  Hans Vangheluwe,et al.  Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools , 2011, MoDELS Workshops.

[103]  Ahsan Qamar,et al.  An Integrated Approach towards Model-Based Mechatronic Design , 2011 .

[104]  E G Welp,et al.  DOMAIN ALLOCATION IN MECHATRONIC PRODUCTS , 2004 .

[105]  Carl During,et al.  DESIGNING MECHATRONIC SYSTEMS: A MODEL-INTEGRATION APPROACH , 2011 .

[106]  Charles A. Pratt.  The society for computer simulation , 1984, SIML.

[107]  Udo Lindemann,et al.  A Multilayer Approach for Early Cost Estimation of Mechatronical Products , 2007 .

[108]  Anthony Finkelstein,et al.  A Foolish Consistency: Technical Challenges in Consistency Management , 2000, DEXA.

[109]  Emden R. Gansner,et al.  Drawing graphs with dot , 2006 .

[110]  M. Flath,et al.  Conceptual design of mechatronic systems supported by semi-formal specification , 2001, 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics. Proceedings (Cat. No.01TH8556).

[111]  J. Hauser,et al.  The House of Quality , 1988 .

[112]  Klaus Zeman,et al.  Consistency Checking of Mechatronic Design Models , 2010 .