Model-Based Systems Engineering (MBSE) Challenge: Modeling & Simulation Interoperability (MSI) Team Status Update
Model-Based Systems Engineering (MBSE) Challenge: Modeling & Simulation Interoperability (MSI) Team Status Update
Model-Based Systems Engineering (MBSE) Challenge: Modeling & Simulation Interoperability (MSI) Team Status Update
Model-Based Systems Engineering (MBSE) Challenge Modeling & Simulation Interoperability (MSI) Team Status Update
... with Applications to Mechatronics, Other Cyber-Physical Systems, and Beyond ...
Presenter Russell Peak - Georgia Tech Other Team Leaders Chris Paredis, Leon McGinnis, Sandy Friedenthal, Roger Burkhart, Manas Bajaj
v2.0
Portions are Copyright 2010 by Georgia Tech Research Corporation, Atlanta, Georgia 30332-0415 USA. All Rights Reserved. Permission to reproduce and distribute without changes for non-commercial purposes (including internal corporate usage) is hereby granted provided this notice and a proper citation are included.
Collaboration Approach
Primary Current Team Leadership Deere & Co.
Roger Burkhart
InterCAX
Manas Bajaj
Lockheed Martin
Sandy Friedenthal
Vendor Support
Page 2
Contents
Phase 1 Synopsis (8/2007-7/2008) Phase 2 Highlights (8/2008-Present)
Addressing key needs per Phase 1 experiences: Education Research & Development Productionization / Commercialization Applications
Page 5
2. Behavior
interaction state machine
Slipping
detTrkLos()Gripping
sendSignal()
RegainTraction
activity/ function
modBrkFrc()
modBrkFrc(traction_signal:boolean)
definition
use
sendAck()
3. Requirements
Copyright Georgia Tech and InterCAX. All Rights Reserved. SysML and MBSE: A Quick-Start Course
4. Parametrics
6
Primary Impacts
Enabling Capabilities Increased Knowledge Capture & Completeness Increased Modularity & Reusability Increased Traceability Reduced Manual Re-Creation Increased & Data Entry Errors Automation Reduced Modeling Effort Increased Analysis Intensity
RSA/E+ / SysML
Factory Model
No Magic / SysML
Excavator System Model
Operational Scenario
RSA/E+ / SysML
Excavator Executable Scenario
NX / MCAD Tool
Excavator Boom Model
ModelCenter
Optimization Model
Ansys FactoryCAD
Factory Layout Model FEA Model
Mathematica
Reliability Model
Excel Excel
Production Ramps Cost Model
Dymola
Dig Cycle Model
eM-Plant
Factory Simulation
1 1 -1-2 2 a 11 1
MCAD Tools
NX
Optimizers
ModelCenter
Mathematica
Operations ... Req. & Objectives Dig Site Req. & Objectives
Leg en d
Tool & native model interface (via XaiTools, APIs, ...) Parametric or algorithmic relationship (XaiTools, VIATRA, ...) Composition relationship (usage) Native model relationship (via tool interface, stds., ...)
Dump Trucks
FEA Solvers
Ansys
1 1-1 -1 11 1 1
This talk overviews Phase 1 experiences and lessons learned from an excavator testbed that interconnects simulation models with associated diverse system models, design models, and manufacturing models. The goal is to enable advanced model-based systems engineering (MBSE) in particular and model-based X (MBX) [1] in general. Our method employs SysML as the primary technology to achieve multi-level multi-fidelity interoperability, while at the same time leveraging conventional modeling & simulation tools including mechanical CAD, factory CAD, spreadsheets, math solvers, finite element analysis (FEA), discrete event solvers, and optimization tools. This work is sponsored by several organizations including Deere and Lockheed and is part of the Modeling & Simulation Interoperability Team [2] in the INCOSE MBSE Challenge (with applications to mechatronics as an example domain).
[1] The X in MBX includes engineering (MBE), manufacturing (MBM), and potentially other scopes and contexts such as model-based enterprises (MBE). [2] http://www.pslm.gatech.edu/projects/incose-mbse-msi/
Citation
RS Peak, CJJ Paredis, LF McGinnis, DA Zwemer (2008-12) Simulation & Analysis Using SysMLExperiences Applying SysML in an Excavator Testbed and More. OMG SysML Information Days, Burlingame CA.
http://eislab.gatech.edu/pubs/seminars-etc/2008-12-omg-sysml-info-days-peak/
Contact
Russell.Peak@gatech.edu, Georgia Institute of Technology, Atlanta, www.msl.gatech.edu
10
Contents
Phase 1 Synopsis (8/2007-7/2008) Phase 2 Highlights (8/2008-Present)
Addressing key needs per Phase 1 experiences: Education Research & Development Productionization / Commercialization Applications
Summary
11
12
Course Context 000.01 Introduction and course overview SysML 101: Essentials for Understanding SysML Models 101.01 MBSE context & motivation 101.02 SysML introduction & overview; Course examples overview 101.03 Structure concepts: block basics (bdd), instances; packages (pkg) 101.04 Structure concepts: block internals, ports, flows (ibd) 101.05 Upfront concepts: use cases (uc); requirements (req) 101.06 Behavior concepts: activities, actions (act) 101.07 Behavior concepts: interactions/sequences (seq); state machines (stm) 101.08 Structure concepts: block parametrics (par) 101.09 Cross-cutting SysML concepts, methods, and processes 101.99 Wrapup SysML 101
13
from myro import * initialize("com29") senses() beep(1, 440) forward(1, 1) turnRight(1, .4) forward(1, 1) beep(1, 440) turnRight(1, .4) forward(1, 1) turnRight(1, .4) forward(1, 1) stop()
15
16
decision node
17
18
19
Contents
Phase 1 Synopsis (8/2007-7/2008) Phase 2 Highlights (8/2008-Present)
Addressing key needs per Phase 1 experiences: Education Research & Development Productionization / Commercialization Applications
Summary
20
System-E/MCAD/CAE interoperability Design-mfg interoperability; mfg simulation Others (not shown here)
Graph transformations Etc.
21
Chris Paredis
Georgia Tech
22
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
23
motor torque
24 24
Scope:
Cover the Modelica constructs needed for the Modelica Standard Library to be used in SysML 25
Simple Example
fixed1
g n i r p s
s a m
m=1
SysML4Modelica
Modelica
Formal, Bidirectional Transformation
27
Current Status
Draft of Transformation Specification
Part Part Part Part I Introduction II SysML4Modelica profile III Modelica meta-model IV SysML-Modelica mapping,
a bidirectional mapping between the SysML4Modelica profile and the Modelica meta-model
28
SysML-Modelica 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
Next Steps: Open source reference implementations Submit RFC for vote at March OMG meeting
http://www.omgwiki.org/OMGSysML/doku.php? id=sysml-modelica:sysml_and_modelica_integration
29
30
Panorama Tool by Andy Scott (Undergrad Research Asst.) and Russell Peak (Director, Modeling & Simulation Lab)
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
b. Mini Snowman f. ?
_____ 3. 3-year company financial model _____ 4. UAV road scanning system model _____ 5. Car gas mileage model
c. Snowflake
_____ 6. Airframe mechanical part model _____ 7. Design verification model (automated test for two Item 6. designs) [see answers at the end of this presentation]
g. Robot d. Mouse
www.msl.gatech.edu
31
power e6 e7
power
power
power e9
e8 p3 p r2 : PowerBalance {p = p1 + p2 + p3} p1 p2
Model DNA signature (a.k.a. flattened graph) auto-generated from SysML model
power e6 e7
power
power
power e9
e8 p3 p r2 : PowerBalance {p = p1 + p2 + p3} p1 p2
33
34
35
Comp 11
Comp1m
Mapping Relationships
(Parametrics)
Mapping Relationships
(Parametrics)
mCAD models
(NX, Pro/E, CATIA,)
Copyright InterCAX All rights reserved
eCAD models
(Board Station, CR5000,)
CAE models
(FEA, CFD,)
PCA = printed circuit assembly PCB = printed circuit board (bare substrate w/ metal traces ...) BGA = ball grid array (a type of electronic component)
MCAD ECAD
Design Domain
System Model
NX MCAD
a Create a system model (e.g. with MagicDraw SysML) b Create a CAD domain model (e.g. with Siemens NX) Import the CAD model into SysML as a CAD Model block Connect (map) the CAD model to the system model using SysML parametrics Control an auto-synch process: updates in CAD model updates in system mo
Copyright InterCAX All rights reserved
ParaMagic is used to execute the resulting total model. It computes systemlevel cost & weight from all nested subsystem-level & component-level models (originating from MCAD / ECAD / tools), and it verifies related requirements.
41
42
RSA/E+ / SysML
Factory Model
No Magic / SysML
Excavator System Model
Operational Scenario
RSA/E+ / SysML
Excavator Executable Scenario
NX / MCAD Tool
Excavator Boom Model
ModelCenter
Optimization Model
Ansys FactoryCAD
Factory Layout Model FEA Model
Mathematica
Reliability Model
Excel Excel
Production Ramps Cost Model
Dymola
Dig Cycle Model
eM-Plant
Factory Simulation
1 1 -1-2 2 a 11 1
43
MCAD Tools
NX
Optimizers
ModelCenter
Mathematica
Operations ... Req. & Objectives Dig Site Req. & Objectives
Leg en d
Tool & native model interface (via XaiTools, APIs, ...) Parametric or algorithmic relationship (XaiTools, VIATRA, ...) Composition relationship (usage) Native model relationship (via tool interface, stds., ...)
Dump Trucks
FEA Solvers
Ansys
1 1-1 -1 11 1 1
44
45
46
On Demand Simulation
Off-Line Modeler Descriptive Model Libraries Model Translator Analytic Model Libraries User
COTS Solver
On demand simulation puts simulation methodology in the hands of the problem owners
47
eM-Plant Simulation
48
Contents
Phase 1 Synopsis (8/2007-7/2008) Phase 2 Highlights (8/2008-Present)
Addressing key needs per Phase 1 experiences: Education Research & Development Productionization / Commercialization Applications
Summary
49
MCAD Tools
NX
Optimizers
ModelCenter
Mathematica
Operations ... Req. & Objectives Dig Site Req. & Objectives
Leg en d
Tool & native model interface (via XaiTools, APIs, ...) Parametric or algorithmic relationship (XaiTools, VIATRA, ...) Composition relationship (usage) Native model relationship (via tool interface, stds., ...)
Dump Trucks
FEA Solvers
Ansys
1 1-1 -1 11 1 1
50
Vendor Artisan EmbeddedPlus No Magic Telelogic/IBM Sparx Systems n/a Others <tbd> Studio
SysML Tool
Yes
E+ SysML / RSA MagicDraw Rhapsody Enterprise Arch. XMI import/export Others <tbd>
[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.
51
52
Contents
Phase 1 Synopsis (8/2007-7/2008) Phase 2 Highlights (8/2008-Present)
Addressing key needs per Phase 1 experiences: Education Research & Development Productionization / Commercialization Applications
Summary
53
block TransportMode
-SPrD1 1..*
-Part_BoM 1..*
ar [Block] Factory [
e2
PartCOGSCosts : USD(000)
low : USD(000)
constraint USC8 : UnitSumComplex {high = sum(low )} low : Real [1..*] high : Real [1..*] e6 WTG : Real [1..*] e17
constraint high : Real US9 : UnitSum {high = sum(low )} low : Real [1..*]
e18
ProjectWTG : Real
constraint DS10 : DollarSum {high = sum(low )} ProdValue : USD(000) e1 low : USD(000) high : USD(000) constraint DS11 : DollarSum {high = sum(low )} ProdVAR : USD(000) e4 low : USD(000) high : USD(000) e5
ProjValue : USD(000)
e7
ProjVAR : USD(000)
[SystemB_v2h_rsp.mdzip]
58
[SystemB_v2h.mdzip]
59
Aluminum Cast and Machined Components More Room for Internal Parts Fewer Manufacturing Operations Heavier
Rolled, Bent, Stamped Sheet Metal Less Room for Internal Parts More Manufacturing Operations Lighter
Source: Bras, Romaniw, et al. 10/2009 www.sdm.gatech.edu
61 61
Ob
12/21/09
Contents
Phase 1 Synopsis (8/2007-7/2008) Phase 2 Highlights (8/2008-Present)
Addressing key needs per Phase 1 experiences: Education Research & Development Productionization / Commercialization Applications
Primary Impacts
Enabling Capabilities Increased Knowledge Capture & Completeness Increased Modularity & Reusability Increased Traceability Reduced Manual Re-Creation Increased & Data Entry Errors Automation Reduced Modeling Effort Increased Analysis Intensity
64
Primary contacts
Russell Peak [Russell.Peak @ gatech.edu] Sandy Friedenthal [sanford.friedenthal @ lmco.com] Roger Burkhart [BurkhartRogerM @ JohnDeere.com]
Page 65
Contents
Phase 1 Synopsis (8/2007-7/2008) Phase 2 Highlights (8/2008-Present)
Addressing key needs per Phase 1 experiences: Education Research & Development Productionization / Commercialization Applications
67
Comp 11
Comp1m
Mapping Relationships
(Parametrics)
Mapping Relationships
(Parametrics)
Mapping Relationships
(Parametrics)
mCAD models
(NX, Pro/E, CATIA,)
Copyright InterCAX All rights reserved
eCAD models
(Board Station, CR5000,)
CAE models
(FEA, CFD,)
System model of a Mini Satellite with a electronic comp (BGA) Author: System Engr.
PCA = printed circuit assembly PCB = printed circuit board (bare substrate w/ metal traces ...) BGA = ball grid array (a type of electronic component)
Comp 11
Comp1m
Mapping Relationships
(Parametrics)
Mapping Relationships
(Parametrics)
Mapping Relationships
(Parametrics)
mCAD models
(NX, Pro/E, CATIA,)
Copyright InterCAX All rights reserved
eCAD models
(Board Station, CR5000,)
CAE models
(FEA, CFD,)
CAD (Siemens NX) model of the BGA assembly Author: Mechanical Design Engineer
Copyright InterCAX All rights reserved
CAD (Siemens NX) model of the BGA assembly Author: Mechanical Design Engineer
Copyright InterCAX All rights reserved
Challenges
x The system engineer needs to propagate component requirements (e.g. weight, height) from the system model (SysML) to mechanical design model (NX) x The CAD engineer needs to propagate component properties (NX) to system model (SysML) to verify the design in system context (repeated as the design progresses) x The system engineer and mechanical engineer need to map/connect component properties in NX model and component properties in SysML model.
Copyright InterCAX All rights reserved
Design Domain
System Model
NX MCAD
a Create a system model (e.g. with MagicDraw SysML) b Create a CAD domain model (e.g. with Siemens NX) Import the CAD model into SysML as a CAD Model block Connect (map) the CAD model to the system model using SysML parametrics Control an auto-synch process: updates in CAD model updates in system mo
Copyright InterCAX All rights reserved
The mapping (non-directed connections) between the BGA component in the Mini Satellite system model (SysML) and the MCAD NX model (now exposed in SysML) can now be specified by the user ... (the starting point shown here) ...
The resulting system model - MCAD model connections (as specified by the user in a SysML parametrics diagram) are shown here. This parametric diagram is executable and is an integral aspect of the overall system model.
ParaMagic is used to execute the resulting total model. It computes systemlevel cost & weight from all nested subsystem-level & component-level models (originating from MCAD / ECAD / ... tools), and it verifies related requirements.
Comp 11
Comp1m
Mapping Relationships
(Parametrics)
Mapping Relationships
(Parametrics)
Mapping Relationships
(Parametrics)
mCAD models
(NX, Pro/E, CATIA,)
Copyright InterCAX All rights reserved
eCAD models
(Board Station, CR5000,)
CAE models
(FEA, CFD,)
SysML
Enterprise Databases
Part libraries Material libraries
STEP AP210 Facts - O(100 man-yrs) in development - 1000+ concepts - Edition 1 released in 2001 - Edition 2 releasing soon (2010) - In-production at Rockwell Collins, Boeing, NASA,
4 components
9 PCB stratums
Copyright InterCAX All rights reserved
Comp 11
Comp1m
Mapping Relationships
(Parametrics)
Mapping Relationships
(Parametrics)
Mapping Relationships
(Parametrics)
mCAD models
(NX, Pro/E, CATIA,)
Copyright InterCAX All rights reserved
eCAD models
(Board Station, CR5000,)
CAE models
(FEA, CFD,)
PCA
PCB
Packaged components
Contents
Phase 1 Synopsis (8/2007-7/2008) Phase 2 Highlights (8/2008-Present)
Addressing key needs per Phase 1 experiences: Education Research & Development Productionization / Commercialization Applications
[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 is being fostered by the GIT VentureLab incubator program (www.venturelab.gatech.edu) via an InterCAX VentureLab project initiated October 2007.
97
Selected projects
Deere: System dynamics (fluid power, ...) Lockheed: System design & analysis integration NASA: Enabling technology (SysML, ...) NIST: Design-analysis interoperability (DAI) TRW Automotive: DAI/FEA (steering wheel systems ... )
98
99
Publications (cont.)
Shah AA, Schaefer D, Paredis CJJ (2009) Enabling Multi-View Modeling with SysML Profiles and Model Transformations. International Conference on Product Lifecycle Management, Bath, UK. Kerzhner AA, Paredis CJJ (2009) Using Domain Specific Languages to Capture Design Synthesis Knowledge for Model-Based Systems Engineering. Proceedings of the ASME 2009 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, San Diego, CA, DETC2009-87286. J.M. Jobe, T.A. Johnson and C.J.J. Paredis, Multi-Aspect Component Models: A Framework for Model Reuse in SysML, in Proceedings of IDETC/CIE 2008, paper no. DETC200849339, Brooklyn, NY, 2008. W. Schamai, P. Fritzson, C. Paredis and A. Pop, "Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations," Proceedings of the 7th International Modelica Conference, pp. 612-621, Como, Italy, 20-22 September, 2009.
100
Integrating Design with Simulation & Analysis Using SysML Mechatronics/Interoperability Team Status Report
Abstract
This presentation overviews work-in-progress experiences and lessons learned from an excavator testbed that interconnects simulation models with associated diverse system models, design models, and manufacturing models. The goal is to enable advanced model-based systems engineering (MBSE) in particular and model-based X1 (MBX) in general. Our method employs SysML as the primary technology to achieve multi-level multi-fidelity interoperability, while at the same time leveraging conventional modeling & simulation tools including mechanical CAD, factory CAD, spreadsheets, math solvers, finite element analysis (FEA), discrete event solvers, and optimization tools. This work is currently sponsored by several organizations (including Deere and Lockheed) and is part of the Mechatronics & Interoperability Team in the INCOSE MBSE Challenge.
Citation
Peak RS, Burkhart RM, Friedenthal SA, Paredis CJJ, McGinnis LF (2008) Integrating Design with Simulation & Analysis Using SysMLMechatronics/Interoperability Team Status Report. Presentation to INCOSE MBSE Challenge Team, Utrecht, Holland. http://eislab.gatech.edu/pubs/seminars-etc/2008-06-incose-is-mbse-mechatronics-msi-peak/ [1] The X in MBX includes engineering (MBE), manufacturing (MBM), and potentially other scopes and contexts such as model-based enterprises (MBE).
101
Citation
Peak RS, Burkhart RM, Friedenthal SA, Wilson MW, Bajaj M, Kim I (2007) Simulation-Based Design Using SysML. INCOSE Intl. Symposium, San Diego. Part 1: A Parametrics Primer
http://eislab.gatech.edu/pubs/conferences/2007-incose-is-1-peak-primer/
102
Citation
DR Tamburini, RS Peak, CJ Paredis, et al. (2005) Composable Objects (COB) Requirements & Objectives v1.0. Technical Report, Georgia Tech, Atlanta. http://eislab.gatech.edu/projects/nasa-ngcobs/
Associated Project
The Composable Object (COB) Knowledge Representation: Enabling Advanced Collaborative Engineering Environments (CEEs). http://eislab.gatech.edu/projects/nasa-ngcobs/
103
Speaker Biosketch
Russell S. Peak focuses on knowledge representations that enable complex system interoperability and simulation automation. He originated composable objects (COBs), the multi-representation architecture (MRA) for CAD-CAE interoperability, and context-based analysis models (CBAMs)a simulation template knowledge pattern that explicitly captures design-analysis associativity. This work has provided the conceptual foundation for SysML parametrics and its validation. He teaches this and related material, and is principal investigator on numerous research projects with sponsors including Boeing, DoD, IBM, NASA, NIST, Rockwell Collins, Shinko Electric, and TRW Automotive. Dr. Peak joined the GIT research faculty in 1996 to create and lead a design-analysis interoperability thrust area. Prior experience includes business phone design at Bell Laboratories and design-analysis integration exploration as a Visiting Researcher at Hitachi in Japan.
Citation
RS Peak (2007) Leveraging Simulation Templates & Processes with SysML: Applications to CAD-FEA Interoperability. Developing a Design/Simulation Framework, CPDA Workshop, Atlanta. http://eislab.gatech.edu/pubs/conferences/2007-cpda-dsfw-peak/
104
Panorama Tool by Andy Scott (Undergrad Research Asst.) and Russell Peak (Director, Modeling & Simulation Lab)
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
b. Mini Snowman f. ?
__e__ 3. 3-year company financial model __c__ 4. UAV road scanning system model __b__ 5. Car gas mileage model
c. Snowflake
__d__ 6. Airframe mechanical part model __f __ 7. Design verification model (automated test for two Item 6. designs) [answers shown above]
g. Robot d. Mouse
www.msl.gatech.edu
105