In this paper, we combine modeling constructs from systems modeling language (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. Complementing these SysML constructs, the modelica language has emerged as a standard for modeling the continuous dynamics of systems in terms of hybrid discrete-event and differential algebraic equation systems. In this paper, the synergy between SysML and Modelica is explored at three different levels: the definition of continuous dynamics models in SysML, the use of triple graph grammar based transformations to map between these SysML constructs and the corresponding Modelica models, and the integration of simulation experiments with other SysML constructs to support MBSE. Throughout the paper, an example of a car suspension is used to demonstrate these contributions.

References

References
1.
Sage
,
A. P.
, and
Armstrong
,
J. E.
, Jr.
, 2000,
Introduction to Systems Engineering
,
Wiley
,
New York
.
2.
Fisher
,
J.
, 1998, “
Model-Based Systems Engineering: A New Paradigm
,” in INCOSE Insight, Vol. 1, pp. 3–16.
3.
Estefan
,
J.
, 2007, “
Survey of Model-Based Systems Engineering (MBSE) Methodologies
,” Incose MBSE Focus Group, Vol.
25
.
4.
Gero
,
J. S.
, 1990, “
Design Prototypes: A Knowledge Representation Schema for Design
,”
AI Mag.
,
11
, pp.
26
36
.
5.
Object Management Group, 2007, “OMG Systems Modeling Language Specification.”
6.
Booch
,
G.
,
Jacobson
,
I.
, and
Rumbaugh
,
J.
, 2005,
The Unified Modeling Language User Guide
,
Addison-Wesley Professional
,
Reading, MA
.
7.
Karban
,
R.
,
Zamparelli
,
M.
,
Bauvir
,
B.
,
Koehler
,
B.
,
Noethe
,
L.
, and
Balestra
,
A.
, 2008, “
Exploring Model Based Engineering for Large Telescopes-Getting Started With Descriptive Models
,”
Proceedings of SPIE Astronomical Telescopes and Instrumentation
,
Society of Photo-Optical Insrumentation Engineers
,
Marseille, France
.
8.
Schürr
,
A.
, 1995, “
Specification of Graph Translators With Triple Graph Grammars
,”
Lect. Notes Comput. Sci
,
903
, pp.
151
163
.
9.
Buede
,
D. M.
, 2000,
The Engineering Design of Systems: Models and Methods
,
Wiley
,
New York
.
10.
Friedenthal
,
S.
,
Moore
,
A.
, and
Steiner
,
R.
, 2008,
A Practical Guide to SysML: Systems Model Language
,
Morgan Kaufmann
,
Burlington, MA
.
11.
Peak
,
R. S.
, and
Wilson
,
M. W.
, 2001, “
Enhancing Engineering Design and Analysis Interoperability Part 2: A High Diversity Example
,”
First MIT Conference Computational Fluid and Structural Mechanics (CFSM)
,
Cambridge, MA
, pp. 704–709.
12.
Peak
,
R. S.
,
Burkhart
,
R. M.
,
Friedenthal
,
S. A.
,
Wilson
,
M. W.
,
Bajaj
,
M.
, and
Kim
,
I.
, 2007, “
Simulation-Based Design Using SysML-Part1: A Parametrics Primer
,”
INCOSE International Symposium
,
San Diego, CA
, pp.
1
20
.
13.
Peak
,
R.
,
Friedenthal
,
S.
,
Moore
,
A.
,
Burkhart
,
R.
,
Waterbury
,
S.
,
Bajaj
,
M.
, and
Kim
,
I.
, 2005, “
Experiences Using SysML Parametrics to Represent Constrained Object-Based Analysis Templates
,”
7th NASA-ESA Workshop on Product Data Exchange (PDE)
,
Atlanta, GA
, pp.
1
16
.
14.
Pop
,
A.
,
Akhvlediani
,
D.
, and
Fritzson
,
P.
, 2007, “
Towards Unified Systems Modeling With the ModelicaML UML Profile
,”
International Workshop on Equation-Based Object-Oriented Languages and Tools
,
Linköping University Electronic Press
,
Berlin, Germany
, pp. 13–24.
15.
Nytsch-Geusen
,
C.
, 2007, “
The Use of UML Within the Modelling Process of Modelica-Models
,”
International Workshop on Equation-Based Object-Oriented Languages and Tools
,
Linköping University Electronic Press
,
Berlin, Germany
, pp.
1
12
.
16.
Königs
,
A.
, and
Schürr
,
A.
, 2006, “
MDI: A Rule-Based Multi-Document and Tool Integration Approach
,”
Softw. Syst. Model.
,
5
(
4
), pp.
349
368
.
17.
Weisemoller
,
I.
, and
Schurr
,
A.
, 2007, “
A Comparison of Standard Compliant Ways to Define Domain Specific Languages
,”
4th International Workshop on Software Language Engineering
,
Nashville, TN
, pp.
31
45
.
18.
Johnson
,
T. A.
,
Paredis
,
C. J. J.
,
Burkhart
,
R.
, and
Jobe
,
J. M.
, 2007, “
Modeling Continuous System Dynamics in SysML
,”
2007 Proceedings of ASME International Mechanical Engineering Congress and Exposition
,
ASME
,
Seattle, WA
, pp.
1
9
.
19.
Keeney
,
R. L.
, 1994, “
Creativity in Decision Making With Value-Focused Thinking
,” in
Sloan Manage. Rev.
,
35
, pp.
33
41
.
20.
Christen
,
E.
, and
Bakalar
,
K.
, 1999, “
Vhdl-Ams—A Hardware Description Language for Analog and Mixed-Signal Applications,”
IEEE Trans. Circuits Syst., II: Express Briefs
,
40
(
10
), pp.
1263
1272
.
21.
Mitchell
,
E. E. L.
, and
Gauthier
,
J. S.
, 1976, “
Advanced Continuous Simulation Language (ACSL)
,”
Simulation
,
26
(
3
), pp.
72
78
.
22.
Paynter
,
H.
, 1961,
Analysis and Design of Engineering Systems
,
MIT
,
Cambridge, MA
.
23.
Modelica Association
, 2005,
Modelica Language Specification
,
Linköping
,
Sweden
.
24.
Fritzson
,
P.
,
Pop
,
A.
, and
Aronsson
,
P.
, 2008, OpenModelica System Documentation, http://www.ida.liu.se/labs/pelab/modelica/OpenModelica/releases/1.4.3/doc/OpenModelicaSystem.pdf
25.
Elmqvist
,
H.
,
Brück
,
D.
, and
Otter
,
M.
, 1995,
Dymola-User’s Manual
,
Dynasim AB, Lund
,
Sweden
.
26.
Amelunxen
,
C.
,
Konigs
,
A.
,
Rotschke
,
T.
, and
Schurr
,
A.
, 2006, “
Moflon: A Standard-Compliant Metamodeling Framework With Graph Transformations
,”
Lect. Notes Comput. Sci.
,
4066
, p.
361
.
27.
NoMagic, Magicdraw, http://www.magicdraw.com
28.
Dirckze, R., 2002, java metadata interface (jmi) Specification Version 1.0, http://jcp.org/aboutJava/communityprocess/final/jsr040/
29.
Fritzson
,
P.
, 2004,
Principles of Object-Oriented Modeling and Simulation With Modelica 2.1
,
IEEE Press
,
Piscataway, NJ
.
30.
Keeney
,
R. L.
, and
Raiffa
,
H.
, 1976,
Decisions With Multiple Objectives: Preferences and Value Tradeoffs
,
Wiley
,
New York
.
31.
Czarnecki
,
K.
, and
Helsen
,
S.
, 2003, “
Classification of Model Transformation Approaches
,”
Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture
,
Anaheim, CA
, pp.
1
17
.
You do not currently have access to this content.