Systems Modeling Language (SysML) Tutorial - OMG SysML

69 downloads 251 Views 4MB Size Report
Copyright © 2006-2009 by Object Management Group. Published and used by ... found on the OMG SysML Website at http://www.omgsysml.org/. • Refer to “A Practical Guide to SysML” by Friedenthal, Moore, and. Steiner for ...... To 100 deg C.
OMG Systems Modeling Language (OMG SysML™) Tutorial September, 2009 Sanford Friedenthal Alan Moore Rick Steiner

(emails included in references at end) Copyright © 2006-2009 by Object Management Group. Published and used by INCOSE and affiliated societies with permission.

OMG SysML™ Specification • Specification status – – – –

Adopted by OMG in May ’06 Available Specification v1.0 in Sept ’07 Available Specification v1.1 in Nov ‘08 Revision task force for v1.2 in process



Multiple vendor implementations available



This tutorial is based on the OMG SysML available specification (formal/2007-09-01)



This tutorial, the specifications, papers, and vendor info can be found on the OMG SysML Website at http://www.omgsysml.org/



Refer to “A Practical Guide to SysML” by Friedenthal, Moore, and Steiner for language details and reference

4/15/2008

Copyright © 2006-2008 by Object Management Group.

2

Objectives & Intended Audience At the end of this tutorial, you should have an awareness of: • Motivation of model-based systems engineering approach • SysML diagrams and language concepts • How to apply SysML as part of a model based SE process • Basic considerations for transitioning to SysML This course is not intended to make you a systems modeler! You must use the language. Intended Audience: • Practicing Systems Engineers interested in system modeling • Software Engineers who want to better understand how to integrate software and system models • Familiarity with UML is not required, but it helps

4/15/2008

Copyright © 2006-2008 by Object Management Group.

3

Topics • Motivation & Background • Diagram Overview and Language Concepts • SysML Modeling as Part of SE Process – Structured Analysis – Distiller Example – OOSEM – Enhanced Security System Example

• SysML in a Standards Framework • Transitioning to SysML • Summary • Class Exercise

4/15/2008

Copyright © 2006-2008 by Object Management Group.

4

Motivation & Background

SE Practices for Describing Systems Past



Specifications



Interface requirements



System design



Analysis & Trade-off



Test plans

Future

Moving from Document centric to Model centric 4/15/2008

Copyright © 2006-2008 by Object Management Group.

6

System Modeling Requirements

Start

Engine

Shift

Accelerate

Transmission

Brake

Transaxle

Control Input

Power Equations

Vehicle Dynamics

Mass Properties Model Structural Model Safety Model Cost Model

Integrated System Model Must Address Multiple Aspects of a System 4/15/2008

Copyright © 2006-2008 by Object Management Group.

7

Model Based Systems Engineering Benefits •

Shared understanding of system requirements and design – Validation of requirements – Common basis for analysis and design – Facilitates identification of risks • Assists in managing complex system development – Separation of concerns via multiple views of integrated model – Supports traceability through hierarchical system models – Facilitates impact analysis of requirements and design changes – Supports incremental development & evolutionary acquisition • Improved design quality – Reduced errors and ambiguity – More complete representation • Supports early and on-going verification & validation to reduce risk • Provides value through life cycle (e.g., training) • Enhances knowledge capture 4/15/2008

Copyright © 2006-2008 by Object Management Group.

8

System-of-Systems Interactions

Boundaries

Modeling Needed to Manage System Complexity 4/15/2008

Copyright © 2006-2008 by Object Management Group.

9

Modeling at Multiple Levels of the System MCE (CRC) MCE (CRC)

MCE (CRC)

AWACS

LINK 16 LINK 16

AMDPCS FAAD C3I

LINK 16 LINK 16

Patriot ICC

E-2C

AWACS

F/A-18

RIVET JOINT

MCE

F-15C

ABMOC Subsystem Operator Interface Hardware

SIAP

Power Generation and Distribution

ACDS (CVN)

Voice Comm Hardware includes MSE

Power

Operational Models

Power

Data Processing Terminal Hardware DDG-51 AEGIS Destroyer

Power

Power

JTIDS Terminal

TCIM

Power

Software

CG

EPLRS or SINGARS Terminal TAOM

PLGR (GPS)

Force Level Control System

Voice & TADIL-B Data

Power

Power

Patriot ICC

A2C2 Subsystem

Operator Interface Power Hardware

AMDPCS

Power

Power Generation and Distribution

Voice Comm Hardware includes MSE

Power

Data Processing Terminal Hardware

FAAD C3I

1 Rationale/UJTL Number OP 5.1.1 Comm Op Info

Provide SA/Support Engagements

OP 5.1.1 Comm Op Info

Provide SA/Support Engagements

EPLRS or SINGARS Terminal

Power

OP 5.1.1 Comm Op Info

Power

Force Level Control System

PLGR (GPS)

OP 5.1.1 Comm Op Info

Power

Provide SA/Support Engagements Provide SA/Support Engagements

OP 5.1.1 Comm Op Info

Network Plan

11

Correlate Track Files

Provide SA/Support Engagements

OP 5.1.1 Comm Op Info

Provide SA/Support Engagements

OP 5.1.1 Comm Op Info

Provide SA/Support Engagements

OP 5.1.1 Comm Op Info

Provide SA/Support Engagements

Manage BMDS Track File Data

Network Interface Module

Correlation Module

13

Attempt to Correlate with BMDS Track

Track Data

Network Track MSG

HIC

Track Mangement S/W Module

9 Latency: SA/Eng Support

10 11 Message Remarks Error Rate REF: CEC A-spec Table 3-3 and Host reqmts

CEP

Yes

Binary IAW IDD Secret xx secs/xx secs

xx %

CEP

Yes

Binary IAW IDD Secret xx secs/xx secs

xx %

Host Host

Navigation data to support data Host fusion and composite tracking Engagement Support Requests to support data fusion and composite tracking Track number management to support data fusion and composite tracking Composite Track State Update to support data fusion and composite tracking Associated Measurement Reports to support data fusion and composite tracking IFF Assignments to support data fusion and composite tracking ID recommendations to support data fusion and composite tracking

8 Class

Host

Host

Host

CEP CEP

Yes Yes

Binary IAW IDD Secret xx secs/xx secs Binary IAW IDD Secret xx secs/xx secs

xx %

Respond w hen requested

xx %

CEP

Yes

Binary IAW IDD Secret xx secs/xx secs

xx %

REF:CEC SRS and Host Nav. spec

CEP

Yes

Binary IAW IDD Secret xx secs/xx secs

xx %

AEGIS only

Host-CEP CEP-Host

Yes

Binary IAW IDD Secret xx secs/xx secs

xx %

Changes sent immediately

CEP

Host

Yes

Binary IAW IDD Secret xx secs/xx secs

xx %

REF: CEC IDDs for each host

CEP

Host

Yes

Binary IAW IDD Secret xx secs/xx secs

xx %

REF: CEC A-spec Table 3-3. SPY only

CEP

Host

Yes

Binary IAW IDD Secret xx secs/xx secs

xx %

When assigned or changed

CEP

Host

Yes

Binary IAW IDD Secret xx secs/xx secs

xx %

When assigned or changed

Sensor cues to support data CEP fusion and composite tracking

Host

Yes

Binary IAW IDD Secret xx secs/xx secs

xx %

REF: CEC A-spec Table 3-3. SPY only

BMDS Track

Track Management Module

Track Data

Network Interface S/W

CEC Information Exchange Requirements - Classified SECRET when filled in 3 4 5 6 7 Sending Receiving Critical Format Information Characterization Node Node Radar measurements to support data fusion composite tracking IFF measurements to support data fusion and composite tracking IFF interrogation requests to support data fusion and composite tracking ID Changes to support data fusion and composite tracking

Correlated Track

12

Correlation S/W Module

Provide SA/Support Engagements Provide SA/Support Engagements

OP 5.1.1 Comm Op Info

CID Criteria Network Network Track Data Receive Network Track Data Track File

Provide SA/Support Engagements Provide SA/Support Engagements

OP 5.1.1 Comm Op Info

OP 5.1.1 Comm Op Info

OP 5.1.1 Comm Op Info

JDN

Event/Action

Power

JTIDS Terminal

Software

2

TCIM

Voice & TADIL-B Data

BMDS Track Data

Verify CID, Correlation, and Assoicated Track Data

Track File

Request Possible BMDS Track File Matches

Track Data

Send Track File Data

Correlate Tracks

BMDS Track Data

Session Activated Update Track File Data

yes no

/ initialize Complete ( Correlation CreateCorrelation New Results BMDS Track ) [ set not null ] / Send Results

Idle

Network Track File Received ( File Data ) [ number tracks > 0 ] / Input Network Track

Correlating TracksMonitor Correlation Process On entry / match state vectors Do / corr state vectors Do / corr LPE Do / corr PIP Do / corr RCS Do / corr CID On exit / corr BMDS Track #

BMDS Track Display

BMDS Track Data Track MSG Data

System Models

Correlation Results

Correlation Possible

Prepared Track MSG

HIC

Track File Request

Send BMDS Track Data to JDN

Receiving Network Track File Data On entry / receive file data Do / store track data On exit / request matching data

corr fail / is new BMDS Track corr success / is corr BMDS Track

BMDS Track File Data Received ( File Data ) / Correlate Tracks Receiving BMDS Track File Data On entry / receive file data Do / store track data

System Design

Suggest Documents