Integrating Models and Simulations of Continuous Dynamics Into SysML

In this paper, we combine modeling constructs from SysML and Modelica to improve the support for Model-Based Systems Engineering (MBSE). The Object Management Group has recently developed the Systems Modeling Language (OMG SysML™). This visual modeling language provides a comprehensive set of diagrams and constructs for modeling many common aspects of systems engineering problems, such as system requirements, structures, functions, and behaviors. Complementin g these SysML constructs, the Modelica language has emerged as a standard for modeling the continuous dynamics of systems in terms of hybrid discreteevent and differential algebraic equation systems. In this paper, the synergy between SysML and Modelica is explored at three different levels: the de finition of continuous dynamics models in SysML; the use of a triple graph grammar to maintain a bidirectional mapping between these SysML constructs and the corresponding Modelica models; and the integration of simulation experiments with othe r SysML constructs to support MBSE. Throughout the paper, an example of a car suspension is used t o demonstrate these contributions.

[1]  Adrian Pop,et al.  Towards Unified System Modeling with the ModelicaML UML Profile , 2007, EOOLT.

[2]  Dennis M. Buede,et al.  The Engineering Design of Systems: Models and Methods , 1999 .

[3]  Singiresu S Rao,et al.  A Comparative Study of Evidence Theories in the Modeling, Analysis, and Design of Engineering Systems , 2013 .

[4]  Andy Schürr,et al.  A Comparison of Standard Compliant Ways to Define Domain Specific Languages , 2008, MoDELS.

[5]  Tobias Rötschke,et al.  MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations , 2006, ECMDA-FA.

[6]  Andy Schürr,et al.  MDI: A Rule-based Multi-document and Tool Integration Approach , 2006, Software & Systems Modeling.

[7]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[8]  Javier Fernández de Cañete,et al.  Introduction to Systems , 2011 .

[9]  Ekkart Kindler,et al.  Reconciling TGGs with QVT , 2007, MODELS'07.

[10]  F. B. Vernadat,et al.  Decisions with Multiple Objectives: Preferences and Value Tradeoffs , 1994 .

[11]  Dennis M. Buede,et al.  The Engineering Design of Systems , 2009 .

[12]  John B. Kidd,et al.  Decisions with Multiple Objectives—Preferences and Value Tradeoffs , 1977 .

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

[14]  R. L. Keeney,et al.  Decisions with Multiple Objectives: Preferences and Value Trade-Offs , 1977, IEEE Transactions on Systems, Man, and Cybernetics.

[15]  H. Raiffa,et al.  Decisions with Multiple Objectives , 1993 .

[16]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[17]  Russell S. Peak,et al.  Enhancing Engineering Design and Analysis Interoperability Part 2: A High Diversity Example , 2001 .

[18]  Christiaan J. J. Paredis,et al.  Modeling Continuous System Dynamics in SysML , 2007 .

[19]  E. E. Mitchell,et al.  Advanced Continuous Simulation Language (ACSL) , 1976 .

[20]  Vincenzo Arrichiello Introduction to Systems Engineering , 2014, CIISE.

[21]  Jim Steel,et al.  MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. , 2005 .

[22]  Ernst Christen,et al.  Vhdl-ams---a hardware description language for analog and mixed-signal applications , 1999 .

[23]  Christoph Nytsch-Geusen The use of the UML within the modelling process of Modelica-models , 2007, EOOLT.

[24]  Jerry Fisher,et al.  From the Editor: Model-Based Systems Engineering: A New Paradigm , 1998 .

[25]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[26]  L. Noethe,et al.  Exploring model based engineering for large telescopes: getting started with descriptive models , 2008, Astronomical Telescopes + Instrumentation.

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

[28]  Peter Fritzson,et al.  Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach , 2014 .

[29]  Ivar Jacobson,et al.  Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .