Integrating UML/SysML and
GSN/Assurance Case:
New Tool Demonstration
Kenji Hiranabe (Change Vision, Inc)
Kenji Taguchi (AI...
Agenda
• Introduction
• Background and Goals
• Our GSN Demo
• Conclusion
• Future Ideas
Change Vision, Inc. Overview
• Founded February 22, 2006
• Representative
- President and CEO

: Kenji Hiranabe

• Locatio...
Fukui

Tokyo
Astah Family

Astah

Community
Astah

Professional
Astah

Lightweight, easy-to-use, and free UML modeler,
For free.
Full-f...
wide acceptance in Brazil
Germany
Taiwan
India
Poland
France
UK
Others

10486
7480
5278
4505
4235
3435
50737

France
Polan...
Our Projects

Kenji Taguchi

GSN/Assurance Case

Today!
Kenji Hiranabe

Noriaki Ando

SysML to RTC
Last Year

Toshihiro Ok...
Example GSN(and Legend)
Goal
(Claim)

InContextOf

G1

C1

C2

Control System is
acceptably safe to
operate

Operating Rol...
Astah GSN
•Conformance to “GSN COMMUNITY STANDARD V1”
•“Yorkish” style diagram
•Focus on Usability
•Multi-Platform
– Mac/L...
Demo
Problem Description
Demonstrate the movements
(Spiral and Back-and-Forth) by
controlling multiple autonomous Controller PC...
SysML: Overview
SysML: req [Core requirements]
SysML: req [Robot requirements]
SysML: req [Controller requirements]
SysML: bdd [Context diagram]
SysML: bdd System Struture&Interface
GSN for the system
C1

G1
System is acceptably
safe to operate

S1
Argument over each
component

Robot Module

Control mod...
GSN – UML/SysML
Drag & Drop
UML/SysML Diagrams
on GSN Elements

You can jump to
the diagram
Module

You can create GSN
inside Modules.
Robot Module
G2
Robot is acceptably
safe

G3

G4

Max speed is lower
than 10cm/sec

Sn1
Safety
functional
requirements

Op...
Import/Export XMI

SACM ver 1.0
(Structured
Assurance Case
Metamodel)
with some
restrictions
Conclusion
• We have developed a new GSN tool.
• GSN and SysML/UML in one solution, and
implemented links between each oth...
Difficulties
• Relationship between GSN models and SACM’s
is not known for some elements
• Difficult to adopt SACM as the ...
GSN - SACM
GSN Ver. 1.0

SACM Ver1.0

GSN Ver. 1.0

SACM Ver1.0

Goal

Claim

Module

Argumentation?

Context

Information...
Future Topics
• Traceability and impact analysis from/to
GSN to SysML via the tool.
• Further support for modular extensio...
Thank you
We are exhibiting the
tools. Please visit us.
Kenji Hiranabe

Toshihiro Okamura

Free Trial Download:
astah.net/...
Upcoming SlideShare
Loading in...5
×

OMG Astah GSN Demonstration

3,578

Published on

At OMG meeting on Dec. 12, 2014, we presented astah GSN.

We have been developing a new GSN(Goal Structuring Notation) tool on top of our UML/SysML tool "Astah" to covert both system's Design Model(as UML/SysML) and Assurance Case Model(as GSN) together.
In this session, we will demonstrate and explain how we have integrated the two models in the same user interface.

Published in: Technology
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
3,578
On Slideshare
0
From Embeds
0
Number of Embeds
9
Actions
Shares
0
Downloads
6
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

OMG Astah GSN Demonstration

  1. 1. Integrating UML/SysML and GSN/Assurance Case: New Tool Demonstration Kenji Hiranabe (Change Vision, Inc) Kenji Taguchi (AIST)
  2. 2. Agenda • Introduction • Background and Goals • Our GSN Demo • Conclusion • Future Ideas
  3. 3. Change Vision, Inc. Overview • Founded February 22, 2006 • Representative - President and CEO : Kenji Hiranabe • Locations – US Office 66 Front St, Berea, Ohio, 44017, USA – Headquarters Ueno HS Building 8th floor, 2-7-7, Ueno, Taito-ku, Tokyo 110-0005 Japan – Fukui Office 3-111 Toiyacho, Fukui City, Fukui 918-8231 Japan
  4. 4. Fukui Tokyo
  5. 5. Astah Family Astah Community Astah Professional Astah Lightweight, easy-to-use, and free UML modeler, For free. Full-featured edition with UML, ERD, DFD, Flowchart, CRUD, Mind Maps and Requirements Table integrated together. Simple SysML Edition June, 2013 SysML Astah GSN NEW Simple GSN Edition (α) α NEW Dec, 2013
  6. 6. wide acceptance in Brazil Germany Taiwan India Poland France UK Others 10486 7480 5278 4505 4235 3435 50737 France Poland 1% 1% India 1% Germany 3% Others 14% UK 1% Taiwan 2% USA 3% China 3% Brazil 30% There is a big user community in Brazil . Half of the non-JP users are in Brazil. Japan 41%
  7. 7. Our Projects Kenji Taguchi GSN/Assurance Case Today! Kenji Hiranabe Noriaki Ando SysML to RTC Last Year Toshihiro Okamura Geoffrey Biggs
  8. 8. Example GSN(and Legend) Goal (Claim) InContextOf G1 C1 C2 Control System is acceptably safe to operate Operating Role and Context Context Control System Definition SupportedBy C3 G2 Tolerability targets (Ref Z) All identified hazards have been eliminated or sufficiently mitigated Assumption C4 Hazards identified from FHA (Ref Y) Strategy A1 S1 All hazards have been identified Argument over each identified hazards A Module G4 G5 Hazard H1 has been eliminated Probability of Hazard H2 occuring < 1x10-6 per year Sn1 Formal Verification Solution (Evidence) M2 Probability of Hazard H3 occuring < 1x10-3 per year
  9. 9. Astah GSN •Conformance to “GSN COMMUNITY STANDARD V1” •“Yorkish” style diagram •Focus on Usability •Multi-Platform – Mac/Linux/Win •Integration with UML/SysML •SACM XMI import/export
  10. 10. Demo
  11. 11. Problem Description Demonstrate the movements (Spiral and Back-and-Forth) by controlling multiple autonomous Controller PC kinect robots from externally. Operator can switch between the autonomous mode and demonstration mode. Wi-Fi Hardware architecture is already known, we use Roomba Receiver PC with PC that can control it using Wi-Fi and use Kinect to switch the mode. Operator Roomba
  12. 12. SysML: Overview
  13. 13. SysML: req [Core requirements]
  14. 14. SysML: req [Robot requirements]
  15. 15. SysML: req [Controller requirements]
  16. 16. SysML: bdd [Context diagram]
  17. 17. SysML: bdd System Struture&Interface
  18. 18. GSN for the system C1 G1 System is acceptably safe to operate S1 Argument over each component Robot Module Control module Robot is acceptably safe Control System is acceptably safe System Definition (BDD: Demo components)
  19. 19. GSN – UML/SysML Drag & Drop UML/SysML Diagrams on GSN Elements You can jump to the diagram
  20. 20. Module You can create GSN inside Modules.
  21. 21. Robot Module G2 Robot is acceptably safe G3 G4 Max speed is lower than 10cm/sec Sn1 Safety functional requirements Operator can stop Robot anytime G5 C1 (Req: Stop immediately) Everyone can stop Robot by pushing the power button anytime
  22. 22. Import/Export XMI SACM ver 1.0 (Structured Assurance Case Metamodel) with some restrictions
  23. 23. Conclusion • We have developed a new GSN tool. • GSN and SysML/UML in one solution, and implemented links between each other. • An Easy-to-use tool(Astah GSN) boosts effectiveness of assurance case modeling. • Need standard to exchange GSN models (hope to see SACM 2.0).
  24. 24. Difficulties • Relationship between GSN models and SACM’s is not known for some elements • Difficult to adopt SACM as the data format for GSN tools because SACM is still under development • Hard part in using SACM(ARM) as GSN tools – Can not recognize the kind of a element before adding a relationship. (Ex. Solution)
  25. 25. GSN - SACM GSN Ver. 1.0 SACM Ver1.0 GSN Ver. 1.0 SACM Ver1.0 Goal Claim Module Argumentation? Context InformationElement Contract ? Strategy ArgumentReasoning Away Goal CitationElement? Solution InformationElement linked using an AssertedEvidence instance Away Solution CitationElement? Away Context CitationElement? SupportedBy AssertedInference(Or AssertedEvidence when linked to Solution). The arrow head attaches to the source element. ToBeSupporte ? dByContract InContextOf AssertedContext. The arrow head attaches to the source element. Elements of Argument Patterns Undeveloped ToBeSupported = true Assumption Claim linked using an XXRelation instance? Justification Claim linked using an YYRelation instance? ? SACM 1.0 is not ready for GSN Extensions
  26. 26. Future Topics • Traceability and impact analysis from/to GSN to SysML via the tool. • Further support for modular extensions and pattern extensions. • SACM XMI with modular extensions and pattern extensions.
  27. 27. Thank you We are exhibiting the tools. Please visit us. Kenji Hiranabe Toshihiro Okamura Free Trial Download: astah.net/gsn Michael Jesse Chonoles
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×