OMG: Transformation OMG: Transformation SysML4Modelica

41 Pages·2012·1.52 MB·English

www.thalesgroup.com
OMG: Transformation
SysML4Modelica &
simulations
L. RIOUX
Thales Research & Technology
Research & Technology
The information contained in this document and any attachments are the property of THALES. You are hereby notified that any review, dissemination, distribution, copying or
otherwise use of this document is strictly prohibited without Thales prior written approval. ©THALES 2011. Template trtp version 7.0.8
2 / Agenda
SysML 4 MODELICA: (OMG)
Modelica
OMG standard: SysML4Modelica transformation
Co-simulation: SysML & Simulink
Simulink
Co-simulation SysML/Simulink with Cosimate (IBM).
Conclusions
D
D
D D D
D
D
The information contained in this document and any attachments are the property of THALES. You are hereby notified that any review, dissemination, distribution, copying or
otherwise use of this document is strictly prohibited without Thales prior written approval. ©THALES 2011. Template trtp version 7.0.8
3 / Using SysML to Federate Models
Model Object
D Model Dependency
D
D
D
D D D
D
D
D
D
D
D
D
D D D
D
D
D
System Model
D
D
D D
D
D D
The information contained in this document and any attachments are the property of THALES. You are hereby notified that any review, dissemination, distribution, copying or
otherwise use of this document is strictly prohibited without Thales prior written approval. ©THALES 2011. Template trtp version 7.0.8
4 / Using SysML to Federate Models
Model Object
D Model Dependency D
D
D D
D D
D
D
Profile
D
B Tool B
Domain A Profile D
A SysML D
Profile
D D
C
Domain C
D
Profile D D
D D
System Model D
D
Tool D
The information contained in this document and any attachments are the property of THALES. You are hereby notified that any review, dissemination, distribution, copying or
otherwise use of this document is strictly prohibited without Thales prior written approval. ©THALES 2011. Template trtp version 7.0.8
5 / Equations simulation with SysML
Simulator SysML 3rd party Simulator Simulink
(time
synchronisation)
Model Model
1- Co-simulation SysML Simulink
Model Model
2- Code generation SysML Code Simulink
Generation
C/ C/
C++C/ CC/++
3- Full Integration Model Simulation
SysML Modelica
(SysML Centric)
+ Modelica
The information contained in this document and any attachments are the property of THALES. You are hereby notified that any review, dissemination, distribution, copying or
otherwise use of this document is strictly prohibited without Thales prior written approval. ©THALES 2011. Template trtp version 7.0.8
6 / coupling of SysML and simulation tools
Related works
Reichmann et al. Hooman ATEGO – ACE C. Nytsch-Geusen
(2004), et al. (2009) (2007), A. Pop et
al., (2007),
Telelogic (2004)A
T. A. Johnson et al.,
Rhapsody® IBM-Cosimate
(2008)
(2010)
ModelicaML (2009)
SysML4Modelica
(OMG 2010)
Coupling Code Co- Co-simulation Full integration
method Generation simulation of Simulink / Conversion to
of SysML Modelica
Simulink execution
and
Rose® RT
Simulation By independent By By independent By Modelica
time module Simulink module
management (Rhapsody) (Cosimate)
The information contained in this document and any attachments are the property of THALES. You are hereby notified that any review, dissemination, distribution, copying or
otherwise use of this document is strictly prohibited without Thales prior written approval. ©THALES 2011. Template trtp version 7.0.8
7 / System simulation with SysML
Modelica language
(www.modelica.org)
The information contained in this document and any attachments are the property of THALES. You are hereby notified that any review, dissemination, distribution, copying or
otherwise use of this document is strictly prohibited without Thales prior written approval. ©THALES 2011. Template trtp version 7.0.8
8 / What is Modelica? (www.modelica.org)
State-of-the-art Modeling Language for System Dynamics
Differential Algebraic Equations (DAE)
Discrete Events
Represents DAE models in an object-oriented, engineering-oriented
language
Multi-(physical)-domain modeling
Permit non-causal modeling
High level Specification
Declarative Language
With equations and mathematical functions
Ports represent energy flow (undirected) or
signal flow (directed)
A causal, equation-based, declarative (f-m*a=0)
The information contained in this document and any attachments are the property of THALES. You are hereby notified that any review, dissemination, distribution, copying or
otherwise use of this document is strictly prohibited without Thales prior written approval. ©THALES 2011. Template trtp version 7.0.8
9 /
Example: detailed vehicle model
• Vehicle dynamics (3-dim. mechanics)
• Drive trains (1-dim. mechanics)
courtesy: Modelon AB
• Hydraulics
• Combustion
• Air Conditioning
(Thermofluid systems)
• Electrical/electronic systems
• Electrical machines
courtesy Modelon AB
• Hierarchical state machines
• Control (Input/output blocks, ...)
The information contained in this document and any attachments are the property of THALES. You are hereby notified that any review, dissemination, distribution, copying or
otherwise use of this document is strictly prohibited without Thales prior written approval. ©THALES 2011. Template trtp version 7.0.8
10 / Modelica example
algorithm
class LowPassFilter
y := 0;
parameter Real T=1;
xpower := 1;
Real u, y(start=1);
equation
for i in 1:n+1 loop
T*der(y) + y = u;
y := y + a[i]*xpower;
end LowPassFilter;
xpower := xpower*x;
end for;