1. On behalf of the SysML-Modelica Working Group
SysML-Modelica Transformation Specification (ADTF Meeting, Long Beach, 12/9/2009)
Chris Paredis
Georgia Tech
On behalf of the SysML-Modelica Working Group

2. Presentation Overview
Objectives, Focus, Scope
What is Modelica?
Transformation Roadmap
Current Status
Illustrative Example
Summary
Active Working Group Members
Yves Bernard (EADS)
Roger Burkhart (Deere & Co)
Hans-Peter De Koning (ESA)
Sandy Friedenthal (Lockheed Martin)
Peter Fritzson (Linköping University)
Nerijus Jankevicius (NoMagic)
Alek Kerzhner (Georgia Tech)
Chris Paredis (Georgia Tech)
Nicolas Rouquette (JPL)
Wladimir Schamai (EADS)

3. Working Group Focus and Scope
Objective:
Leverage the strengths of both SysML and Modelica by integrating them to create a more expressive and formal MBSE language.
Define a formal Transformation Specification between Modelica and the SysML4Modelica profile
Scope:
Cover the Modelica constructs needed for the Modelica Standard Library to be used in SysML
Generate corresponding SysML constructs that fit within the profiling mechanism

4. What is Modelica?
State-of-the-art Modeling Language for System Dynamics
Differential Algebraic Equations (DAE)
Discrete Events
Formal, object-oriented language
Ports represent energy flow (undirected) or signal flow (directed)
Acausal, equation-based, declarative
Multi-domain modeling
Standardized by the Modelica Association

5. Modelica: Standard Library
motor torque

6. Other Modelica Libraries
Modelica association — 20+ free libs (
EUROSYSLIB project — 20+ libs under development (

7. The OpenModelica Project
Open source Modelica environment
OMC, The Modelica Compiler/Interpreter
OMShell, The Interactive Session Handler
OMNotebook, DrModelica Simple Electronic notebook
Graphic Model Editor – SimForge (developed by Technical University of Milan)
Modelica Development Tooling (MDT) as Eclipse Plugin
Modelica XML conversion
Debugger for extended subset algorithmic code
Supported by the Open Source Modelica Consortium
European ITEA2 project OPENPROD
PI: P. Fritzson; 25 Partners;  €11M
More info:  

8. Roadmap – Past (1) SysML SysML-Modelica Modelica September 1997
1.0 Specification
1998—2000
1.1—1.4 Specifications
March 2003
SysML RFP
2002—2005
2.0—2.2 Specifications
December 2005
Initial Modelica-SysML presentation at SE DSIG
(Kobi, Paredis)
July 2006
Adopted Specification
September 2006
Types in the Modelica Language
(Broman, Fritzson, Furic)
July 2007
Towards Unified Systems Modeling with the ModelicaML UML Profile
(Pop, Akhvlediani, Fritzson)

9. Roadmap – Past (2) SysML SysML-Modelica Modelica September 2007
1.0 Specification
3.0 Specification
November 2007
Modeling Continuous System Dynamics in SysML (Johnson, Paredis, Burkhart)
August 2007
INCOSE MBSE Project Phase 1
(Lockheed Martin, Deere, Georgia Tech)
November 2008
1.1 Specification
December 2008
SysML-Modelica Working Group
January 2009
1st Face-to-face meeting (Fritzson, Schamai, Paredis)
May 2009
3.1 Specification

10. Roadmap – Current Status
SysML
SysML-Modelica
Modelica
March, June 2009
Intermediate Reports to SE DSIG
Summer 2009
TGG implementation (Kerzhner)
June 2009
ModelicaML Technical Report (Schamai)
September 2009
ModelicaML Paper at Modelica Conference
(Schamai, Fritzson, Paredis, Pop)
TBD 2009
1.2 Specification
ParaMagic implementation with OpenModelica Solver
Future Modelica Version ?
Include modelica standard library also

11. Roadmap – Future SysML SysML-Modelica Modelica December, 2009
Initial Draft of Transformation Specification
January 2010
Open Source Reference implementation
March, 2010
Submit RFC proposal, AB Approval
Summer 2010
Comment period
September 2010 meeting
TF approval
December 2010 meeting
Submission for adoption
Include modelica standard library also

12. Current Status Draft of Transformation Specification
Part I — Introduction
Part II — SysML4Modelica profile
Part III — Modelica meta-model
Part IV — SysML-Modelica mapping, a bidirectional mapping between the SysML4Modelica profile and the Modelica meta-model
Annex A – Robotic Sample Problem

13. Organization of Transformation
SysML-Modelica Transformation follows MDA principles
(ormsc/ : MDA Foundation Model - Santa Clara AB initial comments draft

14. Simple Example SysML Descriptive Model Modelica Model
SysML Analytical Model

15. Formal, Bidirectional Transformation
SysML4Modelica
Formal, Bidirectional Transformation
Modelica

16. Descriptive Modeling in SysML
Summary
Objective:
Leverage the strengths of both SysML and Modelica by integrating them to create a more expressive and formal MBSE language.
Descriptive Modeling in SysML +
Formal Equation-Based Executable Modeling for Analyses and Trade Studies in Modelica
Next Steps:
Submit RFC for vote at March meeting
Open source reference implementations
id=sysml-modelica:sysml_and_modelica_integration