team update @ mbse workshop speakers: russell peak and dirk zwemer 30 january 2011

Modeling & Simulation Interoperability (MSI)Challenge Team INCOSE MBSE Initiative http://www.omgwiki.org/MBSE/doku.php?id=mbse:modsim

Team Update @ MBSE WorkshopSpeakers: Russell Peak and Dirk Zwemer

30 January 2011International Workshop28 Jan 2 Feb 2011Phoenix, AZ, USA

Modeling & Simulation Interoperability Team (MSI) Team ObjectivesOverall 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 modelsEx. Interconnecting SysML-based system models with traditional models: CAD, CAE, reliability, costing, programmatics, PLM, ...

Modeling & Simulation Interoperability Team (MSI) Team Membershttp://www.omgwiki.org/MBSE/doku.php?id=mbse:modsim

Modeling & Simulation Interoperability Team (MSI) New Members & New Collaborations in 2010-2011Jeffery Banks (Northrop Grumman) SysML parametrics modeling & simulation for information systems using Rhapsody/MelodyBruce Beihoff (Whirlpool)SysML applications for physics-based modelingDirk Zwemer (InterCAX)SysML parametrics applications (smart grid, supply chains, ...) Challenge Teams: Space Systems, Smart GridSysML interoperability with orbit simulation (AGI/STK)SysML parametrics-bsaed smart grid modelSandiaSysML interoperability with embedded systems simulation (Orchestra)Systems Engineering Research Center (SERC) UARCRT21 VV&A project, RT24 Integrated M&S/DoDAF project

ContentsSysML parametrics advances 2010-20115-minute primer: fuel tankAdvanced modeling constructs: complex aggregatesDebugging and visualization: DNA signaturesScalability testing & metricsExpanding applicationsSmart 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 progressMBSE & 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, ...)

*SysML and MBSE: A Quick-Start CourseCopyright Georgia Tech and InterCAX. All Rights Reserved.

SysML Parametrics Primer: Fuel_Tank block & instances on block definition diagram (bdd), parametrics diagram (par)10.2 gal5.5 galft310 gaugeft330 gaugeSysML parametrics diagramCapturing equation-based knowledge


Fuel_Tank parametrics executionParaMagic interoperating w/ equation solvers such as Mathematicainstance ft330 state 1.0 (before solving)state 1.0 (before solving)Given my current_amount, how full is my tank?


Fuel_Tank parametrics executionChanging input/output direction (causality) in the same instanceinstance 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?


Fuel_Tank DNA signatureInteracting with equation graph structure via Panorama toolModel DNA Signature of instance ft330(flattened equation structure auto-generated from SysML)


Exercise 0: Automobile Fuel Capacity & MileageStage 3 Model (p1/3)


Exercise 0: Automobile Fuel Capacity & MileageStage 3 Model (p2/3)Example Instances (after solving) Model DNA Signature


Exercise 0: Automobile Fuel Capacity & MileageStage 3 Model (p3/3)state 1.1 (after solving)

ContentsSysML parametrics advances 2010-20115-minute primer: fuel tankAdvanced modeling constructs: complex aggregatesDebugging and visualization: DNA signaturesScalability testing & metricsExpanding applicationsSmart 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 progressMBSE & 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, ...)

Complex AggregatesEnabling advanced scalable modelingobject-oriented, multi-directional, multi-dimensional do-loops using exact same structure model



DNA SignaturesAutogenerated from SysML parametricsModel DNA Signature of instance ft330(flattened equation structure auto-generated from SysML)Updates 2010-2011- Complex and primitive aggregates- Animation- Hide/show based on SysML structure

Model DNA Signatures Using SysML ParametricsPanorama Tool by Andy Scott (Undergrad Research Asst.) and Russell Peak (Director, Modeling & Simulation Lab)Examples as of ~9/2009 Low/Medium Complexityb. Mini Snowmana. Snowmanc. Snowflaked. Mouseg. Robotf. ?e. CactusTest: 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)

www.msl.gatech.eduTest: 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)

Recent Models: ~Medium Complexity2010-10 Model size = O(100s) equations, O(1000+) variablessupply chain metricsGalaxy with Black Holemfg. sustainability: airframe wingTumbleweedelectronics recycling networkmfg. sustainability: automotive transmissionsAngler FishTurtle BirdTurtle

Recent Models: ~Medium Complexity F-86 Cast Wing Section [adapted from Bras, Romaniw, et al.] p1/3cast wing total assembly(JoinNosesToSpar highlighted)SysML parametrics stats === structural stats23 blocks218 value properties38 part properties0 reference properties0 shared properties12 complex aggregate properties0 primitive properties195 constraint properties - regular0 constraint properties - xfwExternal0 constraint properties - cMathematica

=== instance stats184 block instances1879 value property slots165 part property slots0 reference property slots0 shared property slots53 complex aggregate members0 primitive aggregate members346 constraint property eqns - regular0 constraint property eqns - xfwExternal0 constraint property eqns - cMathematica

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

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

Req. Verificationin FireSat SysML model(including operational costs, etc.)DNA signature auto-generated from SysML parametrics modelModel source: [email protected]

Smart Grid SysML ModelDirk ZwemerINCOSE Smart Grid Challenge Team and Modeling & Simulation Interoperability [email protected]. 30, 2011MBSE Workshop INCOSE IW2011

Smart Grid Model SummaryObjective simulate effect of Smart Meters on electricity consumption

Tools - MagicDraw SysML, ParaMagic, Mathematica, MS Excel

Metric - Total Daily Expense for all Users

SmartGrid Parametric Model

Source Subtypes

Customer Subtypes

SmartGrid Parametric Model

SmartGrid Parametric ModelFor 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.

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

SmartGrid Parametric ModelAt Operations level, cost and supply data are read and pricing signals are generated.

SmartGrid Parametric ModelCustomers with Smart Meters read pricing signals and shift demand pattern during day.

Demand shift obeys elasticity function.

SmartGrid Parametric ModelCustomer demand and daily expense is aggregated. Key metric is total daily expense.

Bulk Generation

CostsPowerCapacityLifetimeVariableFixedCapacityPeriod 1Period 2Period 3Period 4Period 5Period 6Period 7Period 8NameMWYears$/kW-hr$M/yr$/KWMWMWMWMWMWMWMWMWGas50250.021500555557.51010Nuclear50200.007350002525252525252525Solar50100.0010.52000111115.51020

Total15075003131313131384555

Customer Demand

BasePower DemandPricePeriod 1Period 2Period 3Period 4Period 5Period 6Period 7Period 8NameElasticity$/kW-hrMWMWMWMWMWMWMWMWFactory_130.0355557.510152030Neighborhood_110.0351010101010254030

Total15151517.520406060

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

Snowflake CompositionFive (5) LevelsSnowflake de Spring

Snowflakes de Physica

Recent Models: ~Medium Complexity2010-10 Model size = O(100s) equations, O(1000+) variablessupply chain metricsGalaxy with Black Holemfg. sustainability: airframe wingTumbleweedelectronics recycling networkmfg. sustainability: automotive transmissionsAngler FishTurtle BirdTurtleWIP12K equations100K, 1M, ...

System M&S Examples in STKBased on original models by AGI.

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

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



Productionizing/Deploying GIT XaiTools Technology for Executing SysML Parametricswww.InterCAX.com[1] Full disclosure: InterCAX LLC is a spin-off company originally created to commercialize technology from RS Peaks 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 (www.venturelab.gatech.edu) via an InterCAX VentureLab project initiated October 2007.

ContentsSysML parametrics advances 2010-20115-minute primer: fuel tankAdvanced modeling constructs: complex aggregatesDebugging and visualization: DNA signaturesScalability testing & metricsExpanding applicationsSmart 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 progressMBSE & 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, ...)

SysML-Enabled Design & Simulation of Embedded Systems Exploring use of SysML as front-end design tool for embedded systems to support system simulationCollaborative 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 87185-0340 [email protected] (505) 844-7708

Test Case: Hypothetical MachineOriginal Document-based Design Capture (Visio)

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

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

Sample Resulting XML-based Interface ContentAutomatically transforming SysML-based design intent into Orchestra simulation inputs

Sample BenefitsRicher, more flexible/modular/reusable design capture vs. traditional Visio-based approachAutomated transformation to support simulationEnhanced consistencyAdditional design views (at no-extra-charge ): bdds, requirements, ...

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

2010 Chris Paredis*

Exploring System ArchitecturesUsing SysML and ModelCenterOptimization Interoperability (C Paredis et al.)Given:Component modelsObjectives / preferencesFind:Best system architectureBest component parametersBest controller

An Overview of the SysML-ModelicaTransformation Specificationhttp://www.omgwiki.org/OMGSysML/doku.php?id=sysml-modelica:sysml_and_modelica_integrationChris Paredis (Georgia Tech) Y. Bernard (Airbus), R. Burkhart (Deere & Co), H. de Koning (ESA/ESTEC), S. Friedenthal (Lockheed Martin Corp.), P. Fritzson (Linkping University), N. Rouquette (JPL), W. Schamai (EADS)

*Presentation for the INCOSE Symposium 2010 Chicago, IL USA

What is Modelica?(www.modelica.org)State-of-the-art Modeling Language for System DynamicsDifferential Algebraic Equations (DAE)Discrete Events

Formal, object-oriented languageStandardized by the Modelica AssociationOpen language specification tool independentMulti-domain modelingPorts represent energy flow (undirected) or signal flow (directed)Acausal, equation-based, declarative (f-m*a=0)*

A Robot Example in Modelica

SysML-Modelica Transformation Specification:Context & ObjectiveTwo complementary languages for Systems Engineering:Descriptive modeling in SysMLFormal 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 profilea Modelica abstract syntax metamodela mapping between Modelica and the profile

Presentation for the INCOSE Symposium 2010 Chicago, IL USA*

SysML-Modelica Robot Example:Use Cases & Requirements*

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

SysML4Modelica Analytical Model:Relation to Modelica Native Model*

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

Specification Adoption Timeline & Status SysMLSysML RFP: March 20031.0 Specification: September 2007Currently: Revision Task Force 1.3Modelica1.0 Specification: September 19973.1 Specification: May 2009SysML-ModelicaInitial idea: July 2005INCOSE MBSE Challenge Project: August 2007 nowOMG Working Group established: December 2008Approved for public comment (RFC): June 2010Adoption as OMG specification: 2011 (wip)

*

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

*http://doc.omg.org/syseng/2010-6-8

Activity 2a in GIT RT21 Project Leveraged existing capabilities/examplesstatus as of 2011-01-20(with completed examples listed)

Activity 3a in GIT RT21 Project Extended capabilities/examples and created new onesstatus as of 2011-01-20(with completed examples listed)


Curriculum History & Formats OfferedStatistics as of Sept 2010 www.pslm.gatech.edu/coursesFull-semester Georgia Tech academic coursesISYE / ME 8813 & 4803: Since Fall 2007 (~95 students total)Industry short coursesCollaborative development & delivery with InterCAX LLCMultiple [offerings,~students] and formats since Aug 2008SysML 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 2010Coming soon: 201/202, 301/302 (int/adv concepts, OCSMP prep, ...)Georgia Tech Professional Masters academic coursesProfessional Masters in Applied Systems Engineering www.pmase.gatech.eduASE 6005 SysML-based MBSE course - Summer 2010ASE 6006 SE Lab (SysML-based system design project) - Fall 2010

Good Progress ... More Welcome MembersSysML parametrics advances 2010-20115-minute primer: fuel tankAdvanced modeling constructs: complex aggregatesDebugging and visualization: DNA signaturesScalability testing & metricsExpanding applicationsSmart 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 progressMBSE & 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, ...)

****************

****

team update @ mbse workshop speakers: russell peak and dirk zwemer 30 january 2011

Documents

sysml parametrics primer

simulation modelsex

team update

parametrics diagram

coursecopyright georgia

mbse workshopspeakers

space systems

tank block instances