Model Based Systems Engineering using SysML 4th...
Transcript of Model Based Systems Engineering using SysML 4th...
![Page 1: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/1.jpg)
Model Based Systems Engineering using SysML
4th MODPROD Workshop on Model-Based Product Development
February 10, 2010
Sanford FriedenthalLockheed [email protected]
![Page 2: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/2.jpg)
Topics
Model-based Systems Engineering (MBSE) Motivation and Scope
System Modeling Using SysML
System Model as an Integration Framework
SysML-Modelica Integration
SysML Status
Summary
![Page 3: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/3.jpg)
MBSE Motivation and Scope
![Page 4: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/4.jpg)
SE Practices for Describing Systems
Specifications
Interface requirements
System design
Analysis & Trade-off
Test plans
Moving from Document centric to Model centric Moving from Document centric to Model centric
PastPast FutureFuture
![Page 5: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/5.jpg)
Model-based Systems Engineering (MBSE)
Formalizes the practice of systems development through use of modelsBroad in scope– Integrates with multiple
modeling domains across life cycle from system of systems to component
Results in quality/productivity improvements & lower risk– Rigor and precision– Communications among
system/project stakeholders– Management of complexity
Life Cycle Support
Vert
ical
Inte
grat
ion
© Copyright Lockheed Martin Corporation All Rights Reserved
![Page 6: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/6.jpg)
© Copyright Lockheed Martin Corporation All Rights Reserved
•• DocumentDocument--Based System EngineeringBased System Engineering::
•• ModelModel--Based System Engineering:Based System Engineering:
System Description
Where is truth? Document
1 A<B
Document 2
A=B
Document 3
A>B
Model Repository
Inconsistencies within and among documents
Model enforces consistency
![Page 7: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/7.jpg)
System Modeling Using SysML
![Page 8: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/8.jpg)
System Modeling
Start Shift Accelerate Brake
Engine Transmission Transaxle
ControlInput
PowerEquations
VehicleDynamics
MassProperties
ModelStructuralModel
SafetyModel
CostModel
Requirements
Integrated System Model Must AddressIntegrated System Model Must AddressMultiple Aspects of a SystemMultiple Aspects of a System
![Page 9: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/9.jpg)
What is SysML?A graphical modeling language in response to the UML for Systems Engineering RFP developed by the OMG, INCOSE, and AP233– a UML Profile that represents a subset of UML 2 with
extensions
Supports the specification, analysis, design, verification, and validation of systems that include hardware, software, data, personnel, procedures, and facilities
Supports model and data interchange via XML Metadata Interchange (XMI®) and the evolving AP233 standard (in-process)
SysML is Critical Enabler for MBSESysML is Critical Enabler for MBSE
![Page 10: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/10.jpg)
SysML Diagram Taxonomy
SysML Diagram
StructureDiagram
BehaviorDiagram
Use CaseDiagram
ActivityDiagram
Internal BlockDiagram
Block DefinitionDiagram
SequenceDiagram
State MachineDiagram
ParametricDiagram
RequirementDiagram
Modified from UML 2
New diagram type
Package Diagram
Same as UML 2
![Page 11: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/11.jpg)
definition use
4 Pillars of SysML – ABS Example1. Structure 2. Behavior
3. Requirements 4. Parametrics
sd ABS_ActivationSequence [Sequence Diagram]
d1:TractionDetector
m1:BrakeModulator
detTrkLos()
modBrkFrc()
sendSignal()
modBrkFrc(traction_signal:boolean)
sendAck()
interactionstate machine
stm TireTraction [State Diagram]
Gripping Slipping
LossOfTraction
RegainTractionactivity/function
![Page 12: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/12.jpg)
SysML Model Used to Elaborate System and Component Requirements
![Page 13: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/13.jpg)
System Model as anIntegration Framework
![Page 14: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/14.jpg)
Modeling Domains
MBSE Must Integrateacross Modeling Domains
Ops/Mission Analysis
System Design
AlgorithmDevelopment
SoftwareDesign
HardwareDesign
Human System Integration
PerformanceSimulation
EngineeringAnalysis
ManufacturingLogisticsSupport
Integration& Test
© Copyright Lockheed Martin Corporation All Rights Reserved
![Page 15: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/15.jpg)
Using System Architecture Modelas an Integration Framework
System Architecture Model
Req’ts Allocation &Design Integration
Software ModelsHardware Models
Q
QSET
CLR
S
R
∫G(s)U(s)
Analysis Models Verification Models
© Copyright Lockheed Martin Corporation All Rights Reserved
![Page 16: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/16.jpg)
. . . . .
UC
. . . . .
UC
UC
System Level• Derives Subsystems• Allocates Requirements to Subsystems
Element Level• Derives Hardware and Software Components• Allocates Requirements to Components
Sub-System 1
Spec
SubSystem 2
Spec
System 1Spec
System 2Spec
. . .
UC
SW Comp 1
Spec
A-Spec
B-Spec
Mission Concept of Operations
Using the System Architecture Modelto Flowdown Requirements
Trade Studies, Simulation, Specification Reviews, etc.
Trade Studies, Simulation, Specification Reviews, etc.
Trade Studies, Simulation, Specification Reviews, etc.SW
Comp XSpec
. . .
Component Design & Implementation Level
UC
Comp 1Software
Comp XSoftware
. . .
System-of-System Level• 1st Level Of Decompositions• How Our System Contributes to
the Overall Mission
Behavior,Structure &
Requirements
Behavior,Structure &
Requirements
Behavior,Structure &
Requirements
(from John Watson/LMCSysML Info Days presentation)
© Copyright Lockheed Martin Corporation All Rights Reserved
![Page 17: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/17.jpg)
Complete Subsystem Specs
Analyze System Services
Analyze System Level Requirements
Analyze Subsystem Collaboration to Satisfy the System Services
Derive and Allocate Requirements to Subsystem
Identify the Subsystem
Continue?No
Incorporate Additional Analysis as Needed
System Decomposition Process using SysML
SatComms
Forward Message from Regional Command
Forward Message to Regional Cmd
Forward Message to Regional Cmd
Weapon
Fire Weapon
Correct Course
Weapon System
Receive Order
Evaluate Engagement
Start Enagement
Terminate Engagement
Monitor Weapon
Send Guidance Command
[Correction Needed]
Send Status Change
[Status Change]
Weapon Intercept?[No]
SatComms
Forward Message from Regional Command
Forward Message to Regional Cmd
Forward Message to Regional Cmd
Weapon
Fire Weapon
Correct Course
Weapon System
Receive Order
Evaluate Engagement
Start Enagement
Terminate Engagement
Monitor Weapon
Send Guidance Command
[Correction Needed]
Send Status Change
[Status Change]
Weapon Intercept?[No]
SatComms
Forward Message from Regional Command
Forward Message to Regional Cmd
Forward Message to Regional Cmd
Weapon
Fire Weapon
Correct Course
Weapon System
Receive Order
Evaluate Engagement
Start Enagement
Terminate Engagement
Monitor Weapon
Send Guidance Command
[Correction Needed]
Send Status Change
[Status Change]
Weapon Intercept?[No]
SatComms
Forward Message from Regional Command
Forward Message to Regional Cmd
Forward Message to Regional Cmd
Weapon
Fire Weapon
Correct Course
Weapon System
Receive Order
Evaluate Engagement
Start Enagement
Terminate Engagement
Monitor Weapon
Send Guidance Command
[Correction Needed]
Send Status Change
[Status Change]
Weapon Intercept?[No]
[Correction Needed][Status Change]
[No]
The Subsystem shall ....The Subsystem shall ....Derived
Requirements
SatComms
Forward Message from Regional Command
Forward Message to Regional Cmd
Forward Message to Regional Cmd
Weapon
Fire Weapon
Correct Course
Weapon System
Receive Order
Evaluate Engagement
Start Enagement
Terminate Engagement
Monitor Weapon
Send Guidance Command
[Correction Needed]
Send Status Change
[Status Change]
Weapon Intercept?[No]
SatComms
Forward Message from Regional Command
Forward Message to Regional Cmd
Forward Message to Regional Cmd
Weapon
Fire Weapon
Correct Course
Weapon System
Receive Order
Evaluate Engagement
Start Enagement
Terminate Engagement
Monitor Weapon
Send Guidance Command
[Correction Needed]
Send Status Change
[Status Change]
Weapon Intercept?[No]
SatComms
Forward Message from Regional Command
Forward Message to Regional Cmd
Forward Message to Regional Cmd
Weapon
Fire Weapon
Correct Course
Weapon System
Receive Order
Evaluate Engagement
Start Enagement
Terminate Engagement
Monitor Weapon
Send Guidance Command
[Correction Needed]
Send Status Change
[Status Change]
Weapon Intercept?[No]
SatComms
Forward Message from Regional Command
Forward Message to Regional Cmd
Forward Message to Regional Cmd
Weapon
Fire Weapon
Correct Course
Weapon System
Receive Order
Evaluate Engagement
Start Enagement
Terminate Engagement
Monitor Weapon
Send Guidance Command
[Correction Needed]
Send Status Change
[Status Change]
Weapon Intercept?[No]
[Correction Needed][Status Change]
[No]
Trade Studies, R&D, Simulation, Specification Reviews, etc.
Input
Yes
. . . . .
UC
. . . . .
UC
(from John Watson/LMCSysML Info Days presentation)
© Copyright Lockheed Martin Corporation All Rights Reserved
![Page 18: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/18.jpg)
System Architecture Model to Support Tradeoff Analysis
System Architecture Model
CostReliability
∫G(s)U(s)
PerformanceSubsystem Alternative1 Alternative2 Alternative3Sensor Sensor1 Sensor2 Sensor3Processor Processor1 Processor2 Processor3Control Control1 Control2 Control3
Criteria Weight Alt 1 Alt 2 Alt 3Performance 0.5 7 5 5Reliability 0.2 4 6 5Cost 0.3 3 5 8Effectiveness 5.2 4.2 5.9
Alt 2 Alt 3
Optimization
AnalysisResults
© Copyright Lockheed Martin Corporation All Rights Reserved
![Page 19: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/19.jpg)
SysML-Modelica Integration
![Page 20: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/20.jpg)
Integrating SysML with SimulationGIT* Project
ModelicaModelicaLexical RepresentationLexical Representation(auto(auto--generated from SysML)generated from SysML)
[Johnson, 2008 [Johnson, 2008 -- Masters Thesis]Masters Thesis]
* Georgia Institute of Technology
![Page 21: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/21.jpg)
SysML-Modelica Working Group
Initiated December 2008 at OMG SE DSIG Meeting
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 and a mapping between the profile and Modelica
Members from both SysML and Modelica Community
Plan– Submit Transformation Spec to OMG at June 2010 meeting
Working Group Site– http://www.omgwiki.org/OMGSysML/doku.php?id=sysml-
modelica:sysml_and_modelica_integration21
– Yves Bernard– Roger Burkhart– Hans-Peter de Koning– Sandy Friedenthal– Peter Fritzson
– Nerijus Jankevicius– Alek Kerzhner– Chris Paredis (Chair)– Nicolas Rouquette– Wladimir Schamai
![Page 22: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/22.jpg)
SysML-Modelica Transformation
22
Transformation SpecificationPart I — IntroductionPart II — SysML4Modelica profilePart III — Modelica meta-modelPart IV — SysML-Modelica mappingAnnex A – Robotic Sample Problem
![Page 23: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/23.jpg)
Classes in SysML4Modelica
23
![Page 24: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/24.jpg)
Robot Model from Modelica Standard Library
24
mot
or to
rque
![Page 25: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/25.jpg)
25
Robot Context Diagram
![Page 26: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/26.jpg)
26
Robot Internal Block Diagram
![Page 27: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/27.jpg)
27
Actuator Internal Block Diagram
![Page 28: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/28.jpg)
28
Computing Overall Robot Effectiveness
![Page 29: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/29.jpg)
29
Trajectory Error Analysis
![Page 30: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/30.jpg)
30
Creating the SysML4Modelica Model
![Page 31: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/31.jpg)
31
SysML4Modelica Analytical Model
![Page 32: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/32.jpg)
SysML Status
![Page 33: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/33.jpg)
OMG SysML™ StatusSpecification– OMG Beta Specification in May ’06– Available Specification v1.0 in Sept ’07– Available Specification v1.1 in Nov ‘08– Revision task force for v1.2 in Dec ‘09– Revision task force for v1.3 in process
Adoption– Multiple vendor implementations available– Increasing number of early adopters across industry– Being introduced into academia– Books available (4)– SysML Certification being developed– DISR Emerging Standard (March 26, 2009)
Information can be found on the OMG SysML Website at http://www.omgsysml.org/
![Page 34: Model Based Systems Engineering using SysML 4th …petfr27/MODPROD2010talks/Day2/modprod2010-Day2... · Model-Based Product Development February 10, 2010 ... Internal Block Diagram](https://reader031.fdocuments.net/reader031/viewer/2022030422/5aaa57c87f8b9a95188df4cf/html5/thumbnails/34.jpg)
SummaryMBSE is a key practice to advance complex systems developmentStandards such as SysML and Modelica are critical enablers of MBSEMultiple tool vendors implementing SysMLSystem architecture model and standards based approach facilitate integration across modeling domainsSysML-Modelica Integration provides synergistic capability for system design and analysisGrowing interest and application of MBSE