teams and sysml: proof of concept status - · pdf fileteams and sysml: proof of concept status...

43
TEAMS and SysML: Proof of Concept Status Presented to: Modeling and Simulation Committee of the National Defense Industrial Association Systems Engineering Division Presented by: Thomas Haley Naval Undersea Warfare Center David Diederich Applied Research Laboratory Penn State University 17 April 2007 Note: Slides have been updated to incorporate comments from the original presentation -tbh

Upload: vutu

Post on 05-Feb-2018

221 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

TEAMS and SysML:Proof of Concept Status

Presented to:Modeling and Simulation Committee of the National Defense Industrial Association Systems Engineering Division

Presented by:Thomas HaleyNaval Undersea Warfare Center

David DiederichApplied Research LaboratoryPenn State University

17 April 2007

Note: Slides have been updated to incorporate comments from the original presentation -tbh

Page 2: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

2

Outline

• SysML Case Study Motivation • TEAMS Background• TEAMS SysML Proof of Concept• Lessons Learned• TEAMS Perspective: SysML Pros and Cons• Acknowledgements

Page 3: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

3

! Funded by Office of Secretary of Defense, Systems and Software Engineering

! Determine if open standards can be used to describe:– System of systems (SoS) architectures based on

computer models– System components as elements of composable

distributed simulations! Determine whether SysML models can be

used in conjunction with performance simulation models

Motivation:Feasibility of Open Standards

Page 4: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

4

Background: TEAMS Simulation Scope

Campaign

Mission

Engagement

Engineering

Military M&S Resolution Levels

TEAMS Emphasis:“Launch-to-Hit”

Analysis

Page 5: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

5

Background:High-Level M&S Requirements

R’s Pdet Pcl Phit Wheff=Pk X X X X

Torpedo Kill Chain

Other “Stimulus” M&S Components

EnvironmentalAcoustics Targets Countermeasures

Torpedo M&S Components

Sensor Post-DetectionProcessing Tracking Control Hydro-

dynamicsFuze

Page 6: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

6

TEAMS Background

LASWLASWLASWLASWFNCFNCFNCFNC

LASWLASWLASWLASWFNCFNCFNCFNC

WeaponsWeaponsWeaponsWeaponsNNRNNRNNRNNR

WeaponsWeaponsWeaponsWeaponsNNRNNRNNRNNR

D&ID&ID&ID&ID&ID&ID&ID&I

FFPFFPFFPFFPFNCFNCFNCFNCFFPFFPFFPFFPFNCFNCFNCFNC

Today

CMsCMsCMsCMs NewNewNewNewSensorsSensorsSensorsSensors

MultipleMultipleMultipleMultipleWeaponsWeaponsWeaponsWeaponsTargetsTargetsTargetsTargets

Where We Are Going

CMsCMsCMsCMsCMsCMsCMsCMs NewNewNewNewSensorsSensorsSensorsSensors

NewNewNewNewSensorsSensorsSensorsSensors

MultipleMultipleMultipleMultipleWeaponsWeaponsWeaponsWeaponsMultipleMultipleMultipleMultiple

WeaponsWeaponsWeaponsWeaponsTargetsTargetsTargetsTargetsTargetsTargetsTargetsTargets

Where We Are Going

! Problem: Modeling & Simulation Business “Model” Obsolete

– Monolithic– Stove pipes– Single developers– No communication

! Solution: Foster Collaborative M&S Development Environment

– Standardize M&S architecture framework and component models

– Reduce the technology development timeline

– Increase model content, implementation efficiency and reuse

– Reduce cost

Page 7: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

7

Overall TEAMS Goals

! Modeling and Simulation Community Collaboration ! Standardized architecture framework

– Conceptual reference model– Model-based requirements specifications

! Standardized reference model interfaces– Interchangeable & composible components– Extendable to other applications (e.g., XML schema)– Semantically described (e.g., OWL ontology)

! Document standards and requirements ! Cost effective process to achieve interoperability and

composability! Business model for future cross-organization M&S funded

efforts

Page 8: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

8

International organization, developers of TOGAF architectural framework

- Wants TEAMS as test case for TOGAF 8.1.1 and 9.0

- Interest in using TEAMS to test synergy between DoDAF and TOGAFframeworks

- Wants TEAMS for its process to incorporate Ontologies (relationships of components)

Organizations Looking to TEAMS

TEAMS is quickly yielding highly visible and transitionable results.

International organization, developers of several business communications standards

- Wants TEAMS as test case for their TOGAF/ Model Driven Architecture (MDA) synergy effort

The Open Systems Joint Task Force of the Office of Secretary of Defense (OSD)

- Wants to convert TEAMS UML artifacts to the newly approved SysML standard to demonstrate utility of the new standard

Page 9: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

9

The Process: TOGAF ADM

The Open Group: IT ConsortiumOffers Consortia Services

TOGAF: The Open Group Architecture Framework

ADM: Architecture Development Method

Page 10: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

10

Baseline Technology Architecture

AArchitecture

Vision

AArchitecture

Vision

PingServer

Signal InjectionInterface

ScenarioFile

ReverberationGenerator

SignalGenerator

NTS

BasebandAcousticData

Origin-Based Simulators

RunData

I/FBoard

Signal Parameter Generator (SPG)

Target Models

Acoustic Data

Origin 2000

I/OFire Control

I/F

Dynamics

AfterbodyInterface

Fiber OpticRing

RecordI/F

RecordingData

Data Record

Display

HLA

Post Run Tools:Glance

Quick Look

EnvironmentGeneration

Tools

Scenario Setup Tools:Interface

Preset

Pg 6Pg 10

Pg 11Pg 14

Pg 14

Pg 21

Pg 23

Pg 8

Pg 22

Pg 31

Pg 26

Pg 26

Pg 27

Pg 32

Pg 26

OBJECT ACOUSTICSActive Target StrengthTarget Radiated NoiseCountermeasuresMagnetics“Artificial” TargetsPlatform SensorsRemote Sensors

DYNAMICSWeapon 6 DOFWeapon 3 DOFSubmarineSurface ShipAircraftCountermeasure

OTHERCommand and ControlPropulsionPropulsors

Multiple ObjectAcoustics and DynamicsInterface

SensorsTactical

Processor

ControlServosAutopilot

Propulsion

Post-DetectionProcessor

Tracker

SonarController

SignalProcessor

Pro

p

ENVIRONMENTAL ACOUSTICSSound Propagation MultipathsAmbient NoiseReverberationSurface and Bottom TypesWakeIce

WEAPON/PLATFORM ACOUSTICSSelf-NoiseRadiated NoiseBeam FormingPulse Types

Submarines, surface ships, and platform sensors

OBJECT ACOUSTICSActive Target StrengthTarget Radiated NoiseCountermeasuresMagnetics“Artificial” TargetsPlatform SensorsRemote Sensors

OBJECT ACOUSTICSActive Target StrengthTarget Radiated NoiseCountermeasuresMagnetics“Artificial” TargetsPlatform SensorsRemote Sensors

DYNAMICSWeapon 6 DOFWeapon 3 DOFSubmarineSurface ShipAircraftCountermeasure

DYNAMICSWeapon 6 DOFWeapon 3 DOFSubmarineSurface ShipAircraftCountermeasure

OTHERCommand and ControlPropulsionPropulsors

Multiple ObjectAcoustics and DynamicsInterface

SensorsTactical

Processor

ControlServosAutopilot

Propulsion

Post-DetectionProcessor

Tracker

SonarController

SignalProcessor

Pro

p

SensorsTactical

Processor

ControlServosAutopilot

Propulsion

Post-DetectionProcessor

Tracker

SonarController

SignalProcessor

Pro

p

ENVIRONMENTAL ACOUSTICSSound Propagation MultipathsAmbient NoiseReverberationSurface and Bottom TypesWakeIce

WEAPON/PLATFORM ACOUSTICSSelf-NoiseRadiated NoiseBeam FormingPulse Types

WEAPON/PLATFORM ACOUSTICSSelf-NoiseRadiated NoiseBeam FormingPulse Types

Submarines, surface ships, and platform sensors

Oce an

SoundSpee d

Absorption

Bounda ryRe fle ction

Scatte ring

Sona r Transmitte r

Tra jectory

Bea m(fre q)

S igna l

T

Sonar Rece iver

Bea m(fre q)

RR

Tra jectory Signa l

Eige nra y

de lay, loss (freq), dire ctions

Ta rge t

Tra je ctoryhighlights

Source

Traje ctoryS igna lBe a m

Filte rs , De lays

Re verbe ration

Ta rge t Echo

One-way S igna l

G enerateBroa dba nd

Noise Spe ctra

Any Exte rnal S igna l

Acoustic Environmental

Model

Magnetic Environmental

Model

Visual Environmental

Model

Radar Environmental

Model

Wake Environmental

Model

Other Acoustic Emissions

OR

Other Visual Emissions

Other Radar Emissions

Other WaKeEmissions

Acoustic Propagation Model

Magnetic Propagation Model

Visual Propagation Model

Radar Propagation Model

Wake Propagation Model

Acoustic Sensors

Magnetic Sensors

Visual Sensors

Radar Sensors

Wake Sensors

Data Displays

Data Fusion

Acoustic Emissions

Magnetic Emissions

Visual Emissions

Radar Emissions

Wake Emissions

Naval Platform

Man-in-the-Loop Control

Rule-Base Behavior

Scripted Behavior

Other Magnetic Emissions

KinematicModel

Acoustic Environmental

Model

Magnetic Environmental

Model

Visual Environmental

Model

Radar Environmental

Model

Wake Environmental

Model

Other Acoustic Emissions

OR

Other Visual Emissions

Other Radar Emissions

Other WaKeEmissions

Acoustic Propagation Model

Magnetic Propagation Model

Visual Propagation Model

Radar Propagation Model

Wake Propagation Model

Acoustic Sensors

Magnetic Sensors

Visual Sensors

Radar Sensors

Wake Sensors

Data Displays

Data Fusion

Acoustic Emissions

Magnetic Emissions

Visual Emissions

Radar Emissions

Wake Emissions

Naval Platform

Man-in-the-Loop Control

Rule-Base Behavior

Scripted Behavior

Other Magnetic Emissions

KinematicModel

Sensor

Tactics

Motion

EnduranceEmitters

& Reflectors

Launcher

Sensor

Shape

Sensor

Tactics

Motion

Shape

Endurance

Reflectors

Launcher

Shape Tactics

MotionMotion

CASSANDRA:Common Elements

WAF Architecture TRM’s CARLEE

SST Component Models

CASSANDRA Common Elements

ORBIS Object Examples

Common Architecture Framework

PingServer

Signal InjectionInterface

ScenarioFile

ReverberationGenerator

SignalGenerator

NTS

BasebandAcousticData

Origin-Based Simulators

RunData

I/FBoard

Signal Parameter Generator (SPG)

Target Models

Acoustic Data

Origin 2000

I/OFire Control

I/F

Dynamics

AfterbodyInterface

Fiber OpticRing

RecordI/F

RecordingData

Data Record

Display

HLA

Post Run Tools:Glance

Quick Look

EnvironmentGeneration

Tools

Scenario Setup Tools:Interface

Preset

Pg 6Pg 10

Pg 11Pg 14

Pg 14

Pg 21

Pg 23

Pg 8

Pg 22

Pg 31

Pg 26

Pg 26

Pg 27

Pg 32

Pg 26

OBJECT ACOUSTICSActive Target StrengthTarget Radiated NoiseCountermeasuresMagnetics“Artificial” TargetsPlatform SensorsRemote Sensors

DYNAMICSWeapon 6 DOFWeapon 3 DOFSubmarineSurface ShipAircraftCountermeasure

OTHERCommand and ControlPropulsionPropulsors

Multiple ObjectAcoustics and DynamicsInterface

SensorsTactical

Processor

ControlServosAutopilot

Propulsion

Post-DetectionProcessor

Tracker

SonarController

SignalProcessor

Pro

p

ENVIRONMENTAL ACOUSTICSSound Propagation MultipathsAmbient NoiseReverberationSurface and Bottom TypesWakeIce

WEAPON/PLATFORM ACOUSTICSSelf-NoiseRadiated NoiseBeam FormingPulse Types

Submarines, surface ships, and platform sensors

OBJECT ACOUSTICSActive Target StrengthTarget Radiated NoiseCountermeasuresMagnetics“Artificial” TargetsPlatform SensorsRemote Sensors

OBJECT ACOUSTICSActive Target StrengthTarget Radiated NoiseCountermeasuresMagnetics“Artificial” TargetsPlatform SensorsRemote Sensors

DYNAMICSWeapon 6 DOFWeapon 3 DOFSubmarineSurface ShipAircraftCountermeasure

DYNAMICSWeapon 6 DOFWeapon 3 DOFSubmarineSurface ShipAircraftCountermeasure

OTHERCommand and ControlPropulsionPropulsors

Multiple ObjectAcoustics and DynamicsInterface

SensorsTactical

Processor

ControlServosAutopilot

Propulsion

Post-DetectionProcessor

Tracker

SonarController

SignalProcessor

Pro

p

SensorsTactical

Processor

ControlServosAutopilot

Propulsion

Post-DetectionProcessor

Tracker

SonarController

SignalProcessor

Pro

p

ENVIRONMENTAL ACOUSTICSSound Propagation MultipathsAmbient NoiseReverberationSurface and Bottom TypesWakeIce

WEAPON/PLATFORM ACOUSTICSSelf-NoiseRadiated NoiseBeam FormingPulse Types

WEAPON/PLATFORM ACOUSTICSSelf-NoiseRadiated NoiseBeam FormingPulse Types

Submarines, surface ships, and platform sensors

Oce an

SoundSpee d

Absorption

Bounda ryRe fle ction

Scatte ring

Sona r Transmitte r

Tra jectory

Bea m(fre q)

S igna l

T

Sonar Rece iver

Bea m(fre q)

RR

Tra jectory Signa l

Eige nra y

de lay, loss (freq), dire ctions

Ta rge t

Tra je ctoryhighlights

Source

Traje ctoryS igna lBe a m

Filte rs , De lays

Re verbe ration

Ta rge t Echo

One-way S igna l

G enerateBroa dba nd

Noise Spe ctra

Any Exte rnal S igna l

Acoustic Environmental

Model

Magnetic Environmental

Model

Visual Environmental

Model

Radar Environmental

Model

Wake Environmental

Model

Other Acoustic Emissions

OR

Other Visual Emissions

Other Radar Emissions

Other WaKeEmissions

Acoustic Propagation Model

Magnetic Propagation Model

Visual Propagation Model

Radar Propagation Model

Wake Propagation Model

Acoustic Sensors

Magnetic Sensors

Visual Sensors

Radar Sensors

Wake Sensors

Data Displays

Data Fusion

Acoustic Emissions

Magnetic Emissions

Visual Emissions

Radar Emissions

Wake Emissions

Naval Platform

Man-in-the-Loop Control

Rule-Base Behavior

Scripted Behavior

Other Magnetic Emissions

KinematicModel

Acoustic Environmental

Model

Magnetic Environmental

Model

Visual Environmental

Model

Radar Environmental

Model

Wake Environmental

Model

Other Acoustic Emissions

OR

Other Visual Emissions

Other Radar Emissions

Other WaKeEmissions

Acoustic Propagation Model

Magnetic Propagation Model

Visual Propagation Model

Radar Propagation Model

Wake Propagation Model

Acoustic Sensors

Magnetic Sensors

Visual Sensors

Radar Sensors

Wake Sensors

Data Displays

Data Fusion

Acoustic Emissions

Magnetic Emissions

Visual Emissions

Radar Emissions

Wake Emissions

Naval Platform

Man-in-the-Loop Control

Rule-Base Behavior

Scripted Behavior

Other Magnetic Emissions

KinematicModel

Sensor

Tactics

Motion

EnduranceEmitters

& Reflectors

Launcher

Sensor

Shape

Sensor

Tactics

Motion

Shape

Endurance

Reflectors

Launcher

Shape Tactics

MotionMotion

CASSANDRA:Common Elements

WAF Architecture TRM’s CARLEE

SST Component Models

CASSANDRA Common Elements

ORBIS Object Examples

Common Architecture Framework

Sonar System Toolset (SST)

Weapons Analysis Facility (WAF) Technology Requirements Model (TRM)

ConceptualReference

Model

ConceptualReference

Model

Page 11: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

11

Computation Independent Model (CIM) is a domain view of a system that does not show detailed structure.

Using MDA in SE Context

Transition

Validation

Verification

IntegrationImplementation

RequirementsDevelopment

DesignSolution

LogicalAnalysis

Core Technical SE ProcessesCIM

PIM

PSM

Code

Platform-Independent Model (PIM) represents business functionality and behavior, undistorted by technology detailsPlatform-Specific Model (PSM) defines mappings for generation of implementation from the PIM.

The implementation (code) for technology selected by the developer

Page 12: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

The Method: Model Driven Architecture (MDA)MDA

Computational Independent Model (CIM)

MDA Computational Independent Model (CIM)

1. Propagation• Ray Tracing• Bottom Scattering

2. Platform/Vehicle and Tracking

• Location• Orientation• Time/Space/Position

Information (TSPI)• Kinematics

3.System Components (Platform/Torpedo)

• Propulsion• Sonar

4. G&C – Signal Processing Chain

• Command and Control• Tactics

5. Targets• Highlights• Active Sources• Non-Acoustic

7. Simulation Run Info & Management

• Time• Events

8. Environment• Sound Velocity Profile (SVP)• Surface Wave• Bottom Characteristics• Boundary Characteristics• Bathymetry• Bottom Scatter Strengths• Environmental False Targets

9. Model Description• Fidelity• Level of Detail• Validity• Launchers• Submarine and Surface Ship

Classes• Inter-platform Communication

(relationships)

6. Data Interchange• Precision• Units• Errors• Tolerances• Uncertainty

TEAMS Conceptual Reference Model

MDAComputationalIndependentModel (CIM)

Page 13: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

3322

2233 4455

33

11

88

6,76,788

88

11

11

1. Propagation• Ray Tracing• Bottom Scattering

2. Platform/Vehicle and Tracking

• Location• Orientation• Time/Space/Position Information (TSPI)• Kinematics

3.System Components(Platform/Torpedo)

• Propulsion• Sonar

4. Signal Proc. Chain

(Guidance & ControlCommand and ControlTactics

5. Targets• Highlights• Active Sources• Non-Acoustic

7. Simulation Run Info & Management

• Time• Events

8. Environment• Sound Velocity Profile (SVP)• Surface Wave• Bottom Characteristics• Boundary Characteristics• Bathymetry• Bottom Scatter Strengths• Environmental False Targets

9. Model Description• Fidelity• Level of Detail• Validity• Launchers• Submarine and Surface Ship Classes• Inter-platform Communication

(relationships)

6. Data Interchange• Precision• Units• Errors• Tolerances• Uncertainty

TEAMS Conceptual Reference Model

Page 14: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

14

Platform Conceptual Level Diagram

Page 15: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

15

Environment Conceptual Level Diagram

Page 16: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

16

The Method: Model Driven Architecture (MDA)

TEAMS UML Component Diagrams(Now Represented in SysML)

MDA Computational Independent Model (CIM)

MDA Computational Independent Model (CIM)

MDA PlatformIndependentModel (PIM)

Page 17: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

17

TEAMS PSM: Implementation Planning

Fey Rey Propagation Model via HLA*

Jackson Bottom Model via CORBA

In-situ Environmental Data via Web Services

NAVOCEANOSIPRNET Web Site

Applied Physics LabUniversity of Washington

Defense Modeling andSimulation Office

TRM Propagation Tool‘PETE’

Page 18: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

18

TEAMS Proof of Concept

! Port existing UML to SysML– Torpedo system components– Simulation environment

! Extend TEAMS SysML to include:– Requirements traceability– Parametrics and constraints

! Share experiences and lessons learned using SysML for architecture and component modeling

Page 19: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

19

UML to SysML Approach

! Convert UML Class Diagrams to SysML Block Definition Diagrams (BDDs)

! Convert UML Component Diagrams to SysML Internal Block Diagrams (IBDs)

! Represent Behavior relationships between blocks as Activity Diagrams (new!)

! Capture Requirements Traceability (new!)! Capture Parametric Relationships and

Constraints (new!)

Page 20: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

20

TEAMS Perspective:SysML Pros and Cons

Pros! Requirements

– Explicitly lay out requirements and consequences

! Views and Viewpoints– Can separate requirements and model

views based on stakeholders concerns! Structure

– Ability for model structure to verify requirements

! Can search for requirements that aren’t verified

! Can search for model components that aren’t justified

– Separation of structure from behavior! SysML BDDs vs. IBDs and Activities

allow for clear separation! UML allows this, but easier to implement

in SysML! Behavior

– Dashed line for activity flow is more aesthetically pleasing

! vs. UML solid line

Cons! Allocating CIM to PIM

– Difficulty with abstract activities! Exit path dependent on logic within an

activity is not accessible and can’t be modeled

! Not represented well in either UML or SysML – tactical controller example

! Implementing PIM– Not “direct” for some SysML features

! Flow ports, continuous activities, parametric constraints involve more components than just themselves

! Flows in “real systems” easier to represent

! Flows in software modeling are open to interpretation

– Requires additional documentation of model to bridge between SysMLfeature and executable code

Page 21: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

21

TEAMS Perspective:SysML Pros

Pros! Requirements

– Explicitly lay out requirements and consequences! Views and Viewpoints

– Can separate requirements and model views based on stakeholders concerns! Structure

– Ability for model structure to verify requirements! Can search for requirements that aren’t verified! Can search for model components that aren’t justified

– Separation of structure from behavior! SysML BDDs vs. IBDs and Activities allow for clear separation! UML allows this, but easier to implement in SysML

! Behavior– Dashed line for activity flow is more aesthetically pleasing

! vs. UML solid line

Page 22: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

22

Sponsor Requirements

Page 23: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

23

Rationale for Deriving TEAMS Core Values

from Sponsor Requirement(s)

Page 24: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

24

Requirements Traceability: TEAMS Core Values

Page 25: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

25

Sponsor Requirements Mapped to TEAMS Core Values

Page 26: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

26

TEAMS Perspective:SysML Pros

Pros! Requirements

– Explicitly lay out requirements and consequences

! Views and Viewpoints– Can separate requirements and model views based

on stakeholders concerns! Structure

– Ability for model structure to verify requirements! Can search for requirements that aren’t verified! Can search for model components that aren’t justified

– Separation of structure from behavior! SysML BDDs vs. IBDs and Activities allow for clear separation! UML allows this, but easier to implement in SysML

! Behavior– Dashed line for activity flow is more aesthetically pleasing

! vs. UML solid line

Page 27: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

27

TEAMS Stakeholder Requirements

Page 28: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

28

TEAMS Perspective:SysML Pros

Pros! Requirements

– Explicitly lay out requirements and consequences! Views and Viewpoints

– Can separate requirements and model views based on stakeholders concerns

! Structure– Ability for model structure to verify requirements

! Can search for requirements that aren’t verified! Can search for model components that aren’t justified

– Separation of structure from behavior! SysML BDDs vs. IBDs and Activities allow for clear separation! UML allows this, but easier to implement in SysML

! Behavior– Dashed line for activity flow is more aesthetically pleasing

! vs. UML solid line

Page 29: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

29

Torpedo Block Definition Diagram

Page 30: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

30

Torpedo Internal Block Definition Diagram

Page 31: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

31

Torpedo Sensor Activity Diagram

Page 32: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

32

Undersea World Block Definition Diagram

Page 33: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

33

Simulation “World”Internal Block Definition Diagram

Page 34: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

34

Acoustic Properties Internal Block Definition Diagram

Page 35: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

35

TEAMS Perspective:SysML Pros

Pros! Requirements

– Explicitly lay out requirements and consequences! Views and Viewpoints

– Can separate requirements and model views based on stakeholders concerns! Structure

– Ability for model structure to verify requirements! Can search for requirements that aren’t verified! Can search for model components that aren’t justified

– Separation of structure from behavior! SysML BDDs vs. IBDs and Activities allow for clear separation! UML allows this, but easier to implement in SysML

! Behavior– Dashed line for activity flow is more aesthetically

pleasing! vs. UML solid line

Page 36: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

36

Simulation “World” Activity Diagram

Page 37: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

37

Solid Line Representation

Page 38: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

38

TEAMS Perspective:SysML Cons

Cons! Allocating CIM to PIM

– Difficulty with abstract activities! Exit path dependent on logic within an activity is not accessible

and can’t be modeled! Not represented well in either UML or SysML – tactical

controller example! Implementing PIM

– Not “direct” for some SysML features! Flow ports, continuous activities, parametric constraints involve more components than just

themselves! Flows in “real systems” easier to represent! Flows in software modeling are open to interpretation

– Requires additional documentation of model to bridge between SysML feature and executable code

Page 39: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

39

TEAMSTactical Controller Example

Page 40: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

40

TEAMS Perspective:SysML Cons

Cons! Allocating CIM to PIM

– Difficulty with abstract activities! Exit path dependent on logic within an activity is not accessible and can’t be

modeled! Not represented well in either UML or SysML – tactical controller example

! Implementing PIM– Not “direct” for some SysML features

! Flow ports, continuous activities, parametric constraints involve more components than just themselves

! Flows in “real systems” easier to represent! Flows in software modeling are open to interpretation

– Requires additional documentation of model to bridge between SysML feature and executable code

Page 41: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

41

Lessons Learnedand Value Added

! Requirements traceability is VITAL to the success of several TEAMS projects

– ONR TEAMS standard framework and interfaces– OSD-ATL feasibility study– TOGAF/MDA Synergy Project

! SysML was designed with “real” systems in mind– where UML is software oriented

! Perceived concreteness – simulated vs. actual system– not just one way to design interfaces, need recommendations

for implementation! Still need some UML features not present in SysML

– <<Instantiate>> or <<create>> for dynamic allocation! Still need guidance on how to best implement

parametrics and constraints for modeling and simulation

Page 42: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

OMG SE DSIG Recommendation“Clarify the distinction between the domain model and the

simulation design model.”Domain Model- Equivalent to the MDA CIM- Represents the operational domain (e.g., torpedo, submarine platform,

targets, and ocean environment)- Specifies the requirements for the simulation design- Capture in SysML model- Parametrics used to specify constraints (e.g., torpedo dynamics, signalpropagation)

Simulation Design Model- Equivalent to the MDA PIM- Represents the simulation software design- SysML model "transformed" into simulation model (e.g. Map SysML

structure, behavior, and parametrics into simulation components)- Use SysML allocations to specify the CIM/PIM mapping(i.e.,transformation)

*Reference SE DSIG minutes from OMG San Diego Meeting on March 27, 2007

Page 43: TEAMS and SysML: Proof of Concept Status - · PDF fileTEAMS and SysML: Proof of Concept Status ... Slides have been updated to incorporate ... Can search for model components that

43

Acknowledgements

! LtCol Telford / Dwayne Hardy and OSD-ATL, for their interest and continued support

! David Drumheller and ONR, for their vision and continued support

! Sanford Friedenthal, for his expertise and willingness to educate the TEAMS consortium on the nuances of SysML

! Members of The Open Group, Object Management Group, and TEAMS Initiative who contributed to the success of SysML Project

! Sparx Systems, who provided complimentary licenses for Enterprise Architect 6.5 for this SysML effort