1. SysML-Modelica Transformation Specification (SE DSIG Meeting, Jacksonville, 3/22/2010) Chris Paredis Georgia Tech On behalf of the SysML-Modelica Working Group 1

2. Presentation Overview Objectives, Focus, Scope What is Modelica? Transformation Roadmap Current Status Details of Specification Implementation: Demo Summary 2 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) Axel Reichwein (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: a SysML4Modelica profile and a mapping between Modelica and the 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 3

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 4

5. Modelica: Standard Library 5 motor torque

6. Other Modelica Libraries Modelica association — 20+ free libs (www.modelica.org) EUROSYSLIB project — 20+ libs under development (http://www.itea2.org/public/project_leaflets/EUROSYSLIB_profile_oct-07.pdf) 6

7. Roadmap – Future SysMLSysML-ModelicaModelica December, 2009 Initial Draft of Transformation Specification January 2010 Open Source Reference implementations March June, 2010 Submit RFC proposal, AB Approval March-June June-September 2010 Comment period June September 2010 meeting TF approval September December 2010 meeting Submission for adoption 7

8. Current Status Draft of Transformation Specification  Part I — Introduction  final editing  Part II — SysML4Modelica profile  final editing  Part III — Modelica meta-model  final editing  Part IV — SysML-Modelica mapping a bidirectional mapping between the SysML4Modelica profile and the Modelica meta-model  ongoing implementation, verification  Annex A – Robotic Sample Problem  to be completed 8

9. Organization of Transformation 9 SysML-Modelica Transformation follows MDA principles (ormsc/09-02-01: MDA Foundation Model - Santa Clara AB initial comments draft http://www.omg.org/members/cgi-bin/doc?ormsc/09-02-01.pdf)

10. Presentation Overview Objectives, Focus, Scope What is Modelica? Transformation Roadmap Current Status Details of Specification – Classes, Components, Equations, Connections Implementation: Demo Summary 10

11. Two-Tank Example Maintain levels at 0.25m and 0.4m Source produces 0.02 m 3 /s, increasing to 0.06 m 3 /s at time=150s (From: Peter Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, Wiley-IEEE Computer Society Press, 2003. ) 11

12. Two-Tank Example – Dynamics 12

13. Modelica Restricted Classes 13

14. Modelica Restricted Classes 14

15. Modelica Restricted Classes — SysML4Modelica Stereotypes 15

16. Modelica Predefined Types 16

17. Modelica Components = Properties No distinction between types of properties – record, type  «modelicaValueProperty» – connector  «modelicaPort» – model, class, block  «modelicaPart» – function, package  no usage, only definition 17

18. Modelica Components = Properties 18

19. Modelica Components = Properties SysML4Modelica Stereotypes 19 Several of these attributes are captured as opaque Modelica expressions

20. Modelica Components = Properties SysML4Modelica Stereotypes Several of these attributes are captured as opaque Modelica expressions 20

21. Local Type Modifications 21

22. Local Type Modifications 22

23. Modelica Equations/Algorithms Equations – Declarative – Must hold at all times Algorithms – Imperative – Must hold at all times – Execute in zero simulation time 23

24. Modelica Equations/Algorithms — SysML4Modelica Stereotypes 24

25. Modelica Connections 25

26. Modelica Connections Alternative: Leave connect statements in equation section 26

27. Modelica Connections parameter N is only known at compilation time 27 O-Line

28. Modelica Simulation May need to specify additional information: – Solver algorithm – Accuracy 28

29. Tough Issues Typing – Structural vs. nominal typing Local type modifications – Requires reification – Used extensively — no “instances” in Modelica Expressions – Opaque 29

30. Presentation Overview Objectives, Focus, Scope What is Modelica? Transformation Roadmap Current Status Details of Specification – Classes, Components, Equations, Connections Implementation: Demo Summary 30

31. Implementation Target 1 31 OpenModelica Compiler MOFLON TGG MOFLON generated Java hand-coded Java MagicDraw

32. Implementation Target 2 32 OpenModelica Compiler QVT Eclipse hand-coded Java MagicDraw / Papyrus

33. Implementation 3 33 OpenModelica Compiler Eclipse hand-coded Java Papyrus Acceleo

34. SysML4Modelica in Context 34 SysML4Modelica Analytical Model SysML Descriptive Model

35. SysML4Modelica in Context 35 Modelica Model SysML4Modelica Analytical Model SysML Descriptive Model in Analysis Context

36. Current Status Draft of Transformation Specification  Part I — Introduction  final editing  Part II — SysML4Modelica profile  final editing  Part III — Modelica meta-model  final editing  Part IV — SysML-Modelica mapping a bidirectional mapping between the SysML4Modelica profile and the Modelica meta-model  ongoing implementation, verification  Annex A – Robotic Sample Problem  to be completed 36

37. Next Steps Complete Reference Implementation – Are the vendors willing to help? Final editing + Robot example – Working session on Thursday 9-5 in City Terrace 9 Review of Spec Document Workflow for how to use SysML4Modelica Submission of RFC – Letters of Intent 37

38. Discussion? 38