740 likes | 892 Views
International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA. Modeling & Simulation Interoperability (MSI) Challenge Team INCOSE MBSE Initiative http://www.omgwiki.org/MBSE/doku.php?id=mbse:modsim. Team Update @ MBSE Workshop Speakers: Russell Peak and Dirk Zwemer 30 January 2011.
E N D
International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Modeling & Simulation Interoperability (MSI)Challenge Team INCOSE MBSE Initiativehttp://www.omgwiki.org/MBSE/doku.php?id=mbse:modsim Team Update @ MBSE Workshop Speakers: Russell Peak and Dirk Zwemer 30 January 2011
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, ...
Modeling & Simulation Interoperability Team (MSI) Team Members http://www.omgwiki.org/MBSE/doku.php?id=mbse:modsim
Modeling & Simulation Interoperability Team (MSI) New Members & New Collaborations in 2010-2011 Jeffery Banks (Northrop Grumman) SysML parametrics modeling & simulation for information systemsusing 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
Contents SysML parametrics advances 2010-2011 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, ...)
SysML Parametrics Primer: Fuel_Tank block & instances on block definition diagram (bdd), parametrics diagram (par) ft310 gauge 10.2 gal SysML parametrics diagram Capturing equation-based knowledge ft330 gauge 5.5 gal
instance ft330 state 1.1 (after solving) Fuel_Tank parametrics executionParaMagic interoperating w/ equation solvers such as Mathematica instance ft330 state 1.0 (before solving) Given my current_amount, how full is my tank? state 1.0 (before solving)
instance ft330 state 2.1 (after solving) Fuel_Tank parametrics executionChanging input/output direction (causality) in the same instance instance ft330 state 2.0 (after changing causalities, and before solving) What current_amount will give me a tank that is half full? state 2.1 (after solving)
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)
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)
Contents SysML parametrics advances 2010-2011 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, ...)
object-oriented, multi-directional, multi-dimensional do-loops Complex AggregatesEnabling advanced scalable modeling using exact same structure model
object-oriented, multi-directional, multi-dimensional do-loops Complex AggregatesEnabling advanced scalable modeling using exact same structure model
Contents SysML parametrics advances 2010-2011 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, ...)
“DNA Signatures”Autogenerated from SysML parametrics Updates 2010-2011 - Complex and primitive aggregates - Animation - Hide/show based on SysML structure Model DNA Signature of instance ft330 (flattened equation structure auto-generated from SysML)
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 Complexity e. Cactus a. Snowman 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) b. Mini Snowman f. ? c. Snowflake g. Robot d. Mouse www.msl.gatech.edu
Recent Models: ~Medium Complexity2010-10 Model size = O(100s) equations, O(1000+) variables supply chain metrics mfg. sustainability: airframe wing electronics recycling network “Turtle” “Tumbleweed” “Galaxy with Black Hole” mfg. sustainability: automotive transmissions “Angler Fish” “Turtle Bird”
Recent Models: ~Medium Complexity F-86 Cast Wing Section [adapted from Bras, Romaniw, et al.] – p1/3 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 cast wing – total assembly (JoinNosesToSpar highlighted)
Recent Models: ~Medium Complexity F-86 Cast Wing Assembly [adapted from Bras, Romaniw, et al.] – p2/3 cast 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 model Model source: Dirk.Zwemer@InterCAX.com
Contents SysML parametrics advances 2010-2011 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, ...)
Smart Grid SysML Model Dirk Zwemer INCOSE Smart Grid Challenge Team and Modeling & Simulation Interoperability Team dirk.zwemer@intercax.com Jan. 30, 2011 MBSE Workshop INCOSE IW2011
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
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.
SmartGrid Parametric Model At Bulk Generation level, output supply is aggregated and weighted average cost is calculated.
SmartGrid Parametric Model At Operations level, cost and supply data are read and pricing signals are generated.
SmartGrid Parametric Model Customers with Smart Meters read pricing signals and shift demand pattern during day. Demand shift obeys elasticity function.
SmartGrid Parametric Model Customer demand and daily expense is aggregated. Key metric is total daily expense.
Results: SmartGrid vs DumbGrid Daily Expense: SmartGrid $60,228 DumbGrid $66,477
Contents SysML parametrics advances 2010-2011 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, ...)
Snowflake CompositionFive (5) Levels Snowflake de Spring
Recent Models: ~Medium Complexity2010-10 Model size = O(100s) equations, O(1000+) variables supply chain metrics mfg. sustainability: airframe wing electronics recycling network “Turtle” “Tumbleweed” “Galaxy with Black Hole” mfg. sustainability: automotive transmissions WIP 12K equations 100K, 1M, ... “Angler Fish” “Turtle Bird”
Contents SysML parametrics advances 2010-2011 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, ...)
System M&S Examples in STK Based 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, ...)
Contents SysML parametrics advances 2010-2011 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, ...)
Productionizing/Deploying GIT XaiTools™Technology for Executing SysML Parametrics www.InterCAX.com [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 (www.venturelab.gatech.edu) via an InterCAX VentureLab project initiated October 2007.
Contents SysML parametrics advances 2010-2011 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, ...)