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

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)

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 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

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  

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)

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

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

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

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 SysML Descriptive Model Modelica Model SysML Analytical Model

Formal, Bidirectional Transformation SysML4Modelica Formal, Bidirectional Transformation Modelica

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 http://www.omgwiki.org/OMGSysML/doku.php? id=sysml-modelica:sysml_and_modelica_integration