Chris Paredis Georgia Tech SysML Modelica Integration Working Group Meeting (SE DSIG Meeting, San Antonio, TX, 9/17/2009) Chris Paredis Georgia Tech

Agenda 8:30: Introductions 8:45: Recap of current status 9:00: meeting Andrew Watson Feedback on RFC approach 10:00: Break 10:30: Review of remaining issues in transformation specification 11:30: Responsibilities and timeline

Remaining Issues: Current Phase Substantive: When to use profile? When to use parametrics? «modelicaType» Express constraints on stereotypes more formally (preferably in OCL) Inheritance and redeclaration of packages; packages contained in models Part III: Modelica meta-model Part IV: Correspondence

Remaining Issues: Current Phase Editorial: Fill in gaps in Part I Replace figures with jpg and fix capitalization on stereotypes Reformat information in Part II to updated structure

Remaining Issues: Longterm Arrays Local Type Modifications

Backup slides for meeting with Andrew Watson

Modelica: Dynamic Systems Modeling motor torque

Simple Example SysML Descriptive Model Modelica Model SysML Analytical Model

SysML4Modelica Formal mapping Modelica

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, 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) SysML-Modelica Transformation Specification TBD 2009 1.2 Specification ParaMagic implementation with OpenModelica Solver Future Modelica Version ? Future Directions? Include modelica standard library also

Options for Future: SysML – Modelica Transformation Specification Request for Comments (RFC) Request for Proposals (RFP) SysML v2.0 Fold SysML-Modelica profile into SysML language Not standardize Working Group has decided to explore the RFC option further

Request for Comments (RFC): Definition Any Contributing, Domain or Platform Member with technology that: is relevant to a current Task Force adoption plan; conforms to all applicable OMG Specifications; and is available in a commercially-available implementation may make an unsolicited Submission to the TFC of the relevant Task Force for presentation to that TF for consideration through a Request for Comments. (Section 4.3, OMG Policies and Procedures, v2.8) For non-controversial specifications that are ready

Request for Comments (RFC): Process Submit to the TFC of the relevant Task Force an unsolicited proposal for adoption through RFC The Task Force which received the proposal may recommend its issuance by its parent TC as an RFC. The TC obtains AB approval and may then, by majority vote, cause OMG to issue the Submission as an RFC. The comment period opens. Any party (including non-members) may send comments. Typically lasts 60 days. TF considers comments and decides, by majority vote, whether to recommend the Submission to its parent TC for adoption If the TF recommends adoption, the parent TC shall obtain AB approval before making a final decision on whether to recommend the Submission for adoption by the Board of Directors, using an electronic poll needing a 2/3 majority to pass

Request for Comments (RFC): Process Possible Timeline Finalize Transformation Specification (December 2009) Reference Implementation (January 2010) Submit RFC proposal (March 2010 meeting) AB approval (March or June 2010 meeting) Comment period (Summer 2010) TF approval (September 2010 meeting) Submission for adoption (December 2010 meeting)

Request for Comments (RFC): Summary Seems appropriate for this non-controversial specification Requires vendor implementation and active user community SysML and Modelica communities are very active Initial discussions with tool vendors: NoMagic, InterCAx, Sparx? OpenModelica, Dynasim (Dassault Systemes) Is faster than the other options Would be the (first?) formal definition of an MDA transformation specification