1. An Introduction to SysML
Finn Overgaard Hansen and
Peter Gorm Larsen
TISYSE
An Introduction to SysML

2. An Introduction to SysML
Agenda
What is SysML?
Relationship between UML and SysML
Examples of Extensions
Industrial Control
Concluding Remarks
TISYSE
An Introduction to SysML

3. SysML is a Critical Enabler for Model Driven SE
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 XMI and the evolving AP233 standard (in-process)
SysML is a Critical Enabler for Model Driven SE
TISYSE
An Introduction to SysML

4. An Introduction to SysML
SysML Background
UML for System Engineering RFP issued – 28 March 2003
SysML Partners Kickoff meeting – 6 May 2003
Chaired by S. Friedenthal and C. Kobryn
v0.9 Submission to OMG – 10 Jan 2005
Addendum stereotypes chapter – 30 May 2005
SST and SP split – 30 August 2005
SST/SP revised submissions to OMG – 14 November 2005
INCOSE and OMG Evaluations – December 2005 thru January 2006
SysML Merge Team (SMT) submission v0.99 (ad/ ) – 13 February 2006
SMT formally announced February 2006
OMG Systems Modeling Language (OMG SysML) Specification - Final Adopted Specification ptc/ – 6 July 2006 – Final public version planned in April 2007.
TISYSE
An Introduction to SysML

5. An Introduction to SysML
SysML Partners
Industry
American Systems, EADS Astrium, BAE SYSTEMS, Boeing, Deere & Company, Eurostep, Israel Aircraft Industries, Lockheed Martin, Motorola, Northrop Grumman, oose.de, Raytheon, THALES
Government
DoD/OSD, NASA/JPL, NIST
Vendors
Artisan, Ceira, Gentleware, IBM/Rational, I-Logix, PivotPoint Technology, Popkin, Project Technology, 3SL, Telelogic, Vitech
Liaisons
AP-233, CCSDS, EAST, INCOSE, Rosetta
TISYSE
An Introduction to SysML

6. An Introduction to SysML
SysML Context
Systems - Operations
Services - Enterprise
Layers
DoDAF
DoD
Architectural
Framework
across
multiple
levels
(Zachman
And MoDAF
are similar)
UPDM
Unified
Modeling
Language
(UML)
Profile
for
DoDAF
and
ModAF
FEA-DEA-BEA
Federal and Defense
Enterprise
Architectures
Enterprise
Architects
SOA
Architecture
based on
services
SCBA
FEA extension to
Services and
Components
Program
Architects
SysML
UML Extension
for Systems
Engineering
SDF
Service Interface
Descriptions
System
Architects
And
Engineers
MDA
UML Models
For software
Architecture,
Components and
interfaces
Software
Architects
SCA
Component Interface
Description
Developers
Testbeds such as Federated Development and Certification Environment (FDCE)
including Live Systems, Modules, Components ,Services and Simulations
TISYSE
An Introduction to SysML

7. SysML Specification Outline
Preface
Part I - Introduction
Part II – Structural Constructs
Model Elements
Blocks
Ports and Flows
Constraint Blocks
Part III – Behavioral Constructs
Activities
Interactions
State Machines
Use Cases
Part IV – Crosscutting Constructs
Allocations
Requirements
Profiles & Model Libraries
Part V Appendices
Diagrams
Sample Problem
Non-Normative Extensions
Model Interchange *
Requirements Traceability
Terms and Definitions *
BNF Diagram Syntax Definitions
TISYSE
An Introduction to SysML

8. Harmony – a System Engineering Development Process
TISYSE
An Introduction to SysML

9. An Introduction to SysML
Agenda
What is SysML?
Relationship between UML and SysML
Examples of Extensions
Industrial Control
Concluding Remarks
TISYSE
An Introduction to SysML

10. Relationship Between SysML and UML
UML4SysML
SysML Profile
TISYSE
An Introduction to SysML

11. SysML Diagram Taxonomy
TISYSE
An Introduction to SysML

12. Major Extensions to UML 2
New Diagram Types
Requirement Diagram (visual modeling of requirements)
Parametric Diagram (showing relations between parameters)
Structure Diagram
Block Definition Diagram (based on UML class diagram with blocks instead of classes)
Internal Block Diagram (based on UML composite structure diagram with restrictions and extensions)
Activity Diagram
extensions for continuous flow modeling
extensions to support disabling control and control operators.
accommodate needs of Extended Functional Flow Block Diagrams (EFFBDs)
TISYSE
An Introduction to SysML

13. An Introduction to SysML
Agenda
What is SysML?
Relationship between UML and SysML
Examples of Extensions
Industrial Control
Concluding Remarks
TISYSE
An Introduction to SysML

14. An Introduction to SysML
SysML Diagram Frames
TISYSE
An Introduction to SysML

15. Blocks are Basic Structural Elements
TISYSE
An Introduction to SysML

16. Block Definition Diagram
TISYSE
An Introduction to SysML

17. Internal Block Diagram
TISYSE
An Introduction to SysML

18. Internal Block Diagram Example
Control signals
TISYSE
An Introduction to SysML

19. Requirements Diagram (NEW)
TISYSE
An Introduction to SysML

20. Parametric Diagram (NEW)
Used to express constraints (equations) between value properties
Provides support for engineering analysis (e.g., performance, reliability)
Constraint block captures equations
Expression language can be formal (e.g., MathML, OCL) or informal
Computational engine is defined by applicable analysis tool and not by SysML
Parametric diagram represents the usage of the constraints in an analysis context
Binding of constraint usage to value properties of blocks (e.g., vehicle mass bound to F= m × a)
Parametrics Enable Integration of Engineering Analysis with Design Models
TISYSE
An Introduction to SysML

21. Example: Defining Vehicle Dynamics
TISYSE
An Introduction to SysML

22. Example: Vehicle Dynamics Analysis – Parametric Diagram
TISYSE
An Introduction to SysML

23. Parametric Example - Usage
Parametric Diagram
TISYSE
An Introduction to SysML

24. Activity Diagram Notation
Flows can be discrete, streaming or control
TISYSE
An Introduction to SysML

25. An Introduction to SysML
SysML EFFBD Profile
TISYSE
An Introduction to SysML

26. An Introduction to SysML
Allocations
Provides general relationship to map one model element to another
Includes specific subclasses of allocation with constraints on their usage
Behavioral
Structural
Flow
Explicit allocation of activities to swim lanes (e.g. activity partitions)
Graphical and/or tabular representations
TISYSE
An Introduction to SysML

27. Different Allocation Representations
Explicit Allocation of
Activity to Swim Lane
Allocate Relationship
Compartment Notation
Callout Notation
TISYSE
An Introduction to SysML

28. Example - SysML Allocation to SW and HW
TISYSE
An Introduction to SysML

29. 4 Pillars of SysML ABS Example
1. Structure
2. Behavior
interaction
definition
state
machine
activity/
function
use
Structure
e.g., system hierarchies, interconnections
Behavior
e.g., function-based behaviors, state-based behaviors
Properties
e.g., parametric models, time variable attributes
Requirements
e.g., requirements hierarchies, traceability
3. Requirements
TISYSE
An Introduction to SysML
4. Parametrics

30. Cross Connecting Model Elements
2. Behavior
1. Structure
satisfy
allocate
value binding
4 types of cross-connecting principles:
Allocation
Requirement satisfaction/derivation
Value Binding/Parametrics
Requirement Verification
verify
TISYSE
3. Requirements
An Introduction to SysML
4. Parametrics

31. An Introduction to SysML
Agenda
What is SysML?
Relationship between UML and SysML
Examples of Extensions
Industrial Control
Concluding Remarks
TISYSE
An Introduction to SysML

32. An Introduction to SysML
System Modeling
TISYSE
An Introduction to SysML

33. Combining Model-Driven and Model Based Design in Industrial Machine Control
MDD: Model Driven Development
in Rhapsody (Telelogic)
MBD: Model Based Design
in Simulink (Mathworks)
TISYSE
An Introduction to SysML

34. MDD versus MBD Feature Comparison
                                                            
Table 1. MDD versus MBD feature comparison
TISYSE
An Introduction to SysML

35. Complementary Tool Solution
The Rhapsody MDD environment covers standard UML 2.0 / SysML based software and systems design
Simulink is the de-facto standard for dynamic systems modeling
allowing block diagrams of complex dynamic (mathematical) algorithms to be captured and analyzed
Simulink connection to Rhapsody
TISYSE
An Introduction to SysML

36. Rhapsody – Simulink Integration (1)
TISYSE
An Introduction to SysML

37. Rhapsody – Simulink Integration (2)
Model and
Code
Imported
into
Rhapsody
TISYSE
An Introduction to SysML

38. An Introduction to SysML
Agenda
What is SysML?
Relationship between UML and SysML
Examples of Extensions
Industrial Control
Concluding Remarks
TISYSE
An Introduction to SysML

39. An Introduction to SysML
Concluding Remarks
SysML contains many interesting extensions of UML
It will be good to get a more common language between different disciplines
Question is what kind of validation can be made with these different models
What about common semantics?
What about time connectivity between discrete event an continuous simulators?
TISYSE
An Introduction to SysML