160 likes | 173 Views
SysML-Modelica Transformation Specification (ADTF Meeting, Long Beach, 12/9/2009). Chris Paredis Georgia Tech On behalf of the SysML-Modelica Working Group. Presentation Overview. Objectives, Focus, Scope What is Modelica? Transformation Roadmap Current Status Illustrative Example
E N D
SysML-Modelica Transformation Specification(ADTF Meeting, Long Beach, 12/9/2009) Chris Paredis Georgia Tech On behalf of the SysML-Modelica Working Group
Presentation Overview • Objectives, Focus, Scope • What is Modelica? • Transformation Roadmap • Current Status • Illustrative Example • 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) • Nicolas Rouquette (JPL) • WladimirSchamai (EADS)
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
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
Modelica: Standard Library motor torque
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)
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: http://www.openmodelica.org
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
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)
Simple Example ModelicaModel SysML Descriptive Model SysML Analytical Model
SysML4Modelica Formal, Bidirectional Transformation Modelica
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 forAnalyses and Trade Studies in Modelica • Next Steps: • Submit RFC for vote at March meeting • Open source reference implementations http://www.omgwiki.org/OMGSysML/doku.php?id=sysml-modelica:sysml_and_modelica_integration