SysML-Modelica Transformation Specification (SE DSIG Meeting, Jacksonville, 3/22/2010)

1. SysML-Modelica Transformation Specification(SE DSIG Meeting, Jacksonville, 3/22/2010) 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 • Details of Specification • Implementation: Demo • Summary • Active Working GroupMembers • Yves Bernard (EADS) • Roger Burkhart (Deere & Co) • Hans-Peter De Koning (ESA) • Sandy Friedenthal (Lockheed Martin) • Peter Fritzson (Linköping University) • NerijusJankevicius (NoMagic) • Alek Kerzhner (Georgia Tech) • Chris Paredis (Georgia Tech) • Axel Reichwein (Georgia Tech) • Nicolas Rouquette (JPL) • WladimirSchamai (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

4. What is Modelica? • State-of-the-art Modeling Languagefor System Dynamics • Differential Algebraic Equations (DAE) • Discrete Events • Formal, object-oriented language • Ports represent energy flow (undirected) orsignal 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 (www.modelica.org) • EUROSYSLIB project — 20+ libs under development(http://www.itea2.org/public/project_leaflets/EUROSYSLIB_profile_oct-07.pdf)

7. Roadmap – Future

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 mappinga bidirectional mapping between the SysML4Modelica profile and the Modelica meta-model  ongoing implementation, verification • Annex A – Robotic Sample Problem to be completed

9. Organization of Transformation 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

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

12. Two-Tank Example – Dynamics

13. Modelica Restricted Classes

14. Modelica Restricted Classes

15. Modelica Restricted Classes —SysML4Modelica Stereotypes

16. ModelicaPredefinedTypes

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

18. Modelica Components = Properties

19. Modelica Components = PropertiesSysML4Modelica Stereotypes • Several of these attributes are captured as opaque Modelica expressions

20. Modelica Components = PropertiesSysML4Modelica Stereotypes • Several of these attributes are captured as opaque Modelica expressions

21. Local Type Modifications

22. Local Type Modifications

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

24. Modelica Equations/Algorithms —SysML4Modelica Stereotypes

25. Modelica Connections

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

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

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

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

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

31. Implementation Target 1 MOFLON TGG hand-codedJava OpenModelicaCompiler MagicDraw MOFLONgeneratedJava

32. Implementation Target 2 QVT hand-codedJava OpenModelicaCompiler MagicDraw /Papyrus Eclipse

33. Implementation 3 Acceleo hand-codedJava OpenModelicaCompiler Papyrus Eclipse

34. SysML4Modelica in Context SysMLDescriptive Model SysML4ModelicaAnalytical Model

35. SysML4Modelica in Context ModelicaModel SysML Descriptive Modelin Analysis Context SysML4ModelicaAnalytical Model

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 mappinga bidirectional mapping between the SysML4Modelica profile and the Modelica meta-model  ongoing implementation, verification • Annex A – Robotic Sample Problem to be completed

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

38. Discussion?