1 Modeling & Simulation Interoperability (MSI) Challenge Team INCOSE MBSE Initiative Team MBSE Workshop Speakers: Russell Peak and Dirk Zwemer 30 January 2011 International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA

2 Modeling & Simulation Interoperability Team (MSI) Team Objectives Overall Objective: Advance how models interact together throughout the system lifecycle Key Sub-Objective: Better interconnect system specification & design models with diverse engineering analysis and simulation models –Ex. Interconnecting SysML-based system models with traditional models: CAD, CAE, reliability, costing, programmatics, PLM,...

3 Modeling & Simulation Interoperability Team (MSI) Team Members

4 Modeling & Simulation Interoperability Team (MSI) New Members & New Collaborations in Jeffery Banks (Northrop Grumman) –SysML parametrics modeling & simulation for information systems using Rhapsody/Melody Bruce Beihoff (Whirlpool) –SysML applications for physics-based modeling Dirk Zwemer (InterCAX) –SysML parametrics applications (smart grid, supply chains,...) Challenge Teams: Space Systems, Smart Grid –SysML interoperability with orbit simulation (AGI/STK) –SysML parametrics-bsaed smart grid model Sandia –SysML interoperability with embedded systems simulation (Orchestra) Systems Engineering Research Center (SERC) UARC –RT21 VV&A project, RT24 Integrated M&S/DoDAF project

5 Contents SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Embedded systems simulation applications (with Sandia) Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)

6 SysML and MBSE: A Quick-Start Course Copyright © Georgia Tech and InterCAX. All Rights Reserved. SysML Parametrics Primer: Fuel_Tank block & instances on block definition diagram (bdd), parametrics diagram (par) 10.2 gal 5.5 gal ft310 gauge ft330 gauge SysML parametrics diagram Capturing equation-based knowledge

7 SysML and MBSE: A Quick-Start Course Copyright © Georgia Tech and InterCAX. All Rights Reserved. Fuel_Tank parametrics execution ParaMagic interoperating w/ equation solvers such as Mathematica instance ft330 state 1.0 (before solving) state 1.0 (before solving) Given my current_amount, how full is my tank? instance ft330 state 1.1 (after solving)

8 SysML and MBSE: A Quick-Start Course Copyright © Georgia Tech and InterCAX. All Rights Reserved. Fuel_Tank parametrics execution Changing input/output direction (causality) in the same instance instance ft330 state 2.0 (after changing causalities, and before solving) state 2.1 (after solving) What current_amount will give me a tank that is half full? instance ft330 state 2.1 (after solving)

9 SysML and MBSE: A Quick-Start Course Copyright © Georgia Tech and InterCAX. All Rights Reserved. Fuel_Tank “DNA signature” Interacting with equation graph structure via Panorama tool Model DNA Signature of instance ft330 (flattened equation structure auto-generated from SysML)

10 SysML and MBSE: A Quick-Start Course Copyright © Georgia Tech and InterCAX. All Rights Reserved. Exercise 0: Automobile Fuel Capacity & Mileage Stage 3 Model (p1/3)

11 SysML and MBSE: A Quick-Start Course Copyright © Georgia Tech and InterCAX. All Rights Reserved. Exercise 0: Automobile Fuel Capacity & Mileage Stage 3 Model (p2/3) Example Instances (after solving) Model DNA Signature

12 SysML and MBSE: A Quick-Start Course Copyright © Georgia Tech and InterCAX. All Rights Reserved. Exercise 0: Automobile Fuel Capacity & Mileage Stage 3 Model (p3/3) state 1.1 (after solving)

13 Contents SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)

14 Complex Aggregates Enabling advanced scalable modeling object-oriented, multi-directional, multi-dimensional do-loops using exact same structure model

15 Complex Aggregates Enabling advanced scalable modeling object-oriented, multi-directional, multi-dimensional do-loops using exact same structure model

16 Contents SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)

17 SysML and MBSE: A Quick-Start Course Copyright © Georgia Tech and InterCAX. All Rights Reserved. “DNA Signatures” Autogenerated from SysML parametrics Model DNA Signature of instance ft330 (flattened equation structure auto-generated from SysML) Updates Complex and primitive aggregates - Animation - Hide/show based on SysML structure

18 Model “DNA Signatures” Using SysML Parametrics Panorama Tool by Andy Scott (Undergrad Research Asst.) and Russell Peak (Director, Modeling & Simulation Lab) Examples as of ~9/2009 — Low/Medium Complexity b. Mini Snowman a. Snowman c. Snowflake d. Mouse g. Robot f. ? e. Cactus Test: Match the actual model titles (below) to their “DNA signatures” with imagined titles (left). _____ 1. South Florida water mgt. (hydrology) model _____ 2. 2-spring physics model _____ 3. 3-year company financial model _____ 4. UAV road scanning system model _____ 5. Car gas mileage model _____ 6. Airframe mechanical part model _____ 7. Design verification model (automated test for two Item 6. designs) Test: Match the actual model titles (below) to their “DNA signatures” with imagined titles (left). __g__ 1. South Florida water mgt. (hydrology) model __a__ 2. 2-spring physics model __e__ 3. 3-year company financial model __c__ 4. UAV road scanning system model __b__ 5. Car gas mileage model __d__ 6. Airframe mechanical part model __f__ 7. Design verification model (automated test for two Item 6. designs)

19 Recent Models: ~Medium Complexity Model size = O(100s) equations, O(1000+) variables supply chain metrics “Galaxy with Black Hole” mfg. sustainability: airframe wing “Tumbleweed” electronics recycling network mfg. sustainability: automotive transmissions “Angler Fish” “Turtle Bird” “Turtle”

20 Recent Models : ~ Medium Complexity F-86 Cast Wing Section [adapted from Bras, Romaniw, et al.] – p1/3 cast wing – total assembly (JoinNosesToSpar highlighted) SysML parametrics stats === structural stats 23 blocks 218 value properties 38 part properties 0 reference properties 0 shared properties 12 complex aggregate properties 0 primitive properties 195 constraint properties - regular 0 constraint properties - xfwExternal 0 constraint properties - cMathematica === instance stats 184 block instances 1879 value property slots 165 part property slots 0 reference property slots 0 shared property slots 53 complex aggregate members 0 primitive aggregate members 346 constraint property eqns - regular 0 constraint property eqns - xfwExternal 0 constraint property eqns - cMathematica

21 Recent Models : ~ Medium Complexity F-86 Cast Wing Assembly [adapted from Bras, Romaniw, et al.] – p2/3 cast wing – JoinNosesToSpar (machine highlighted)

22 Requirements Verification in FireSat Sources: INCOSE SSWG and InterCAX LLC; Georgia Tech ASE 6006 NGDMC

23 Req. Verification in FireSat SysML model (including operational costs, etc.) “DNA signature” auto-generated from SysML parametrics model Model source:

24 Contents SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)

25 Smart Grid SysML Model Dirk Zwemer INCOSE Smart Grid Challenge Team and Modeling & Simulation Interoperability Team Jan. 30, 2011 MBSE Workshop INCOSE IW2011

26

27 Smart Grid Model Summary Objective – simulate effect of “Smart Meters” on electricity consumption Tools - MagicDraw SysML, ParaMagic, Mathematica, MS Excel Metric - Total Daily Expense for all Users

28 SmartGrid Parametric Model

29 Source Subtypes

30 Customer Subtypes

31 SmartGrid Parametric Model

32 SmartGrid Parametric Model For one to many power plants, output (MW) is defined over 24 hour period. Cost model for each power plant is based on variable, fixed and capacity costs.

33 SmartGrid Parametric Model At Bulk Generation level, output supply is aggregated and weighted average cost is calculated.

34 SmartGrid Parametric Model At Operations level, cost and supply data are read and pricing signals are generated.

35 SmartGrid Parametric Model Customers with Smart Meters read pricing signals and shift demand pattern during day. Demand shift obeys elasticity function.

36 SmartGrid Parametric Model Customer demand and daily expense is aggregated. Key metric is total daily expense.

37 Bulk Generation CostsPower CapacityLifetimeVariableFixedCapacityPeriod 1Period 2Period 3Period 4Period 5Period 6Period 7Period 8 NameMWYears$/kW-hr$M/yr$/KWMW Gas Nuclear Solar Total

38 Customer Demand BasePower Demand PricePeriod 1Period 2Period 3Period 4Period 5Period 6Period 7Period 8 NameElasticity$/kW-hrMW Factory_ Neighborhood_ Total

39 Results: SmartGrid vs DumbGrid Daily Expense: SmartGrid $60,228 DumbGrid $66,477

40 Contents SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)

41 Snowflake Composition Five (5) Levels Snowflake de Spring

42 Snowflakes de Physica

43 Recent Models: ~Medium Complexity Model size = O(100s) equations, O(1000+) variables supply chain metrics “Galaxy with Black Hole” mfg. sustainability: airframe wing “Tumbleweed” electronics recycling network mfg. sustainability: automotive transmissions “Angler Fish” “Turtle Bird” “Turtle” WIP 12K equations 100K, 1M,...

44 Contents SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)

45 System M&S Examples in STK Based on original models by AGI.

46 Two-way interoperability SysML-STK (throughout simulation run-time) - Changeable inputs (SysML to STK): satellite and ground station properties - Results (STK to SysML ): duration of ea. link session with ea. ground station

47 Initial prototype: STK & SysML parametrics (for req. verification,...)

48 Contents SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)

49 SysML and MBSE: A Quick-Start Course Copyright © Georgia Tech and InterCAX. All Rights Reserved. Productionizing/Deploying GIT XaiTools ™ Technology for Executing SysML Parametrics Tool Vendor SysML Authoring Tools Prototypes by GIT Products by InterCAX LLC Atego (formerly Artisan) StudioYes c.2005 ParaSolver ™ 1 st release: Q EmbeddedPlusE+ SysML / RSAYes c.2006 — No MagicMagicDrawYes c.2007 ParaMagic ® 1 st release: 2008-Jul-21 Telelogic/IBMRhapsody—Melody ™ 1 st release: Q Sparx SystemsEnterprise Architect—EA Parametrics Coming 2011 n/aXMI import/exportYes c.2006 Others [1] Full disclosure: InterCAX LLC is a spin-off company originally created to commercialize technology from RS Peak’s GIT group. GIT has licensed technology to InterCAX and has an equity stake in the company. RS Peak is one of several business partners in InterCAX. Commercialization of the SysML/composable object aspects has been fostered by the GIT VentureLab incubator program ( via an InterCAX VentureLab project initiated October

50 Contents SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Embedded systems simulation applications (with Sandia) Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)

51 SysML-Enabled Design & Simulation of Embedded Systems Exploring use of SysML as front-end design tool for embedded systems to support system simulation Collaborative effort between Sandia and InterCAX (funded by Sandia) Tools interoperating in proof-of-concept prototypes: –SysML authoring tool: MagicDraw (No Magic Inc.) –Embedded systems simulation tool: Orchestra (Sandia) –DSL/interface enabler: Maestro (InterCAX) Orchestra POC Greg Wickstrom Sandia National Laboratories PO Box 5800 MS0340 Albuquerque, NM (505)

52 Test Case: Hypothetical Machine Original Document-based Design Capture (Visio)

53 Test Case: Hypothetical Machine As captured in SysML — a rich, user-friendly, computer-sensible formulation — view1 (ibds)

54 Test Case: Hypothetical Machine As captured in SysML — a rich, user-friendly, computer-sensible formulation — view2 (bdds)

55 Sample Resulting XML-based Interface Content Automatically transforming SysML-based design intent into Orchestra simulation inputs

56 Sample Benefits Richer, more flexible/modular/reusable design capture vs. traditional Visio-based approach Automated transformation to support simulation Enhanced consistency Additional design views (at no-extra-charge ): bdds, requirements,...

57 Contents SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)

58 MBSE & Manufacturing SysML-discrete event simulation interoperability (McGinnis et al.) DSL + Model Transformation = 10x reduction in simulation development time and effort

© 2010 Chris Paredis 59 Exploring System Architectures Using SysML and ModelCenter Optimization Interoperability (C Paredis et al.) Given: –Component models –Objectives / preferences Find: –Best system architecture –Best component parameters –Best controller Given: –Component models –Objectives / preferences Find: –Best system architecture –Best component parameters –Best controller Excavator pump_vdisp cylinder accum How to connect and size these? engine v_3way

60 An Overview of the SysML-Modelica Transformation Specification Chris Paredis (Georgia Tech) Y. Bernard (Airbus), R. Burkhart (Deere & Co), H. de Koning (ESA/ESTEC), S. Friedenthal (Lockheed Martin Corp.), P. Fritzson (Linköping University), N. Rouquette (JPL), W. Schamai (EADS) 60Presentation for the INCOSE Symposium 2010 Chicago, IL USA

61 What is Modelica? (  State-of-the-art Modeling Language for System Dynamics –Differential Algebraic Equations (DAE) –Discrete Events  Formal, object-oriented language  Standardized by the Modelica Association –Open language specification – tool independent  Multi-domain modeling  Ports represent energy flow (undirected) or signal flow (directed)  Acausal, equation-based, declarative (f-m*a=0) 61

62 A Robot Example in Modelica motor torque

63 SysML-Modelica Transformation Specification: Context & Objective  Two complementary languages for Systems Engineering: –Descriptive modeling in SysML –Formal equation-based modeling for analyses and trade studies in Modelica  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  a Modelica abstract syntax metamodel  a mapping between Modelica and the profile Presentation for the INCOSE Symposium 2010 Chicago, IL USA63

64 SysML-Modelica Robot Example: Use Cases & Requirements 64

65 SysML-Modelica Robot Example: Analysis and Trade Study 65 Analysis models depend on descriptive models

66 SysML4Modelica Analytical Model: Relation to Modelica Native Model 66

67 SysML-Modelica Robot Example: Modelica model with simulation results 67

68 Specification Adoption Timeline & Status  SysML –SysML RFP: March 2003 –1.0 Specification: September 2007 –Currently: Revision Task Force 1.3  Modelica –1.0 Specification: September 1997 –3.1 Specification: May 2009  SysML-Modelica –Initial idea: July 2005 –INCOSE MBSE Challenge Project: August 2007 – now –OMG Working Group established: December 2008 –Approved for public comment (RFC): June 2010 –Adoption as OMG specification: 2011 (wip) 68

69 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 Modeling for Analyses and Trade Studies in Modelica 69

70 Contents SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)

71 Activity 2a in GIT RT21 Project Leveraged existing capabilities/examples status as of (with completed examples listed)

72 Activity 3a in GIT RT21 Project Extended capabilities/examples and created new ones status as of (with completed examples listed)

73 SysML and MBSE: A Quick-Start Course Copyright © Georgia Tech and InterCAX. All Rights Reserved. Curriculum History & Formats Offered Statistics as of Sept 2010 — u Full-semester Georgia Tech academic courses –ISYE / ME 8813 & 4803: Since Fall 2007 (~95 students total) u Industry short courses –Collaborative development & delivery with InterCAX LLC –Multiple [offerings,~students] and formats since Aug 2008 »SysML 101 [14,~260]; SysML 102 (hands-on) [12,~205] –Modes:» Onsite at industry/government locations »Open enrollment via Georgia Tech (Atlanta, DC, Orlando, Vegas,...) »Web-based “live” since Apr 2010 –Coming soon: 201/202, 301/302 (int/adv concepts, OCSMP prep,...) u Georgia Tech Professional Masters academic courses –Professional Masters in Applied Systems Engineering –ASE 6005 SysML-based MBSE course - Summer 2010 –ASE 6006 SE Lab (SysML-based system design project) - Fall 2010

74 Good Progress... More Welcome Members SysML parametrics advances –5-minute primer: fuel tank –Advanced modeling constructs: complex aggregates –Debugging and visualization: DNA signatures –Scalability testing & metrics –Expanding applications Smart grid modeling – D Zwemer (InterCAX) Information systems modeling – J Banks (NGC), FireSAT, biomedical, VV&A,... –SysML-LVC simulation interoperability example: STK –Expanding tool support and deployment Additional team progress –MBSE & manufacturing – SysML & DEVS – McGinnis et al. –SysML and optimization with ModelCenter – Paredis et al. –SysML-Modelica transformation spec – Paredis et al. –SERC RT21 Verification, Validation, and Accreditation project (VV&A) –Growing education opportunities (short courses, undergrad/grad courses,...)