Font Size Change

HOMESoftware Reliability EnhancementSEC's activitiesComplex Systems2nd Japanese STAMP Workshop

PRINT PAGE

Software Reliability Enhancement

2nd Japanese STAMP Workshop

Organizer Information-Technology Promotion Agency, Japan (IPA)
Keio University
Japan Manned Space Systems Corporation (JAMSS)
Information Processing Society of Japan
Sponsorship Japan Embedded Systems Technology Association (JASA)
Date November 27-29, 2017
Venue Keio University North Building Conference Hall
(Mita Campus, 2-15-45 Mita, Minato-ku, Tokyo, Japan)
Executive
Committee
Members
Chair: Takaaki Matsumoto (IPA)
Member: Shigeru Kanemoto (The university of Aizu), Hideki Nomoto (JAMSS), Seikou Shirasaka (Keio University), Shigeru Kusakabe (University of Nagasaki), Keishi Okamoto (National Institute of Technology, Sendai College), Takashi Kawano (JR East), Satoru Kitamura (JR East), Hiroshi Nakamura (JFP Inc.), Yukihiro Mihara (IPA), Keisuke Toyama(IPA), Shogo Ishii (IPA)
Steering
Committee
Members
Chair: Shigeru Kanemoto(The university of Aizu)
Member: Hideki Nomoto (JAMSS), Seikou Shirasaka (Keio University), Shigeru Kusakabe (University of Nagasaki), Keishi Okamoto (National Institute of Technology, Sendai College), Takasi Kawano (JR East), Satoru Kitamura (JR East), Hiroshi Nakamura (JFP Inc.), Yukihiro Mihara (IPA), Keisuke Toyama(IPA), Shogo Ishii (IPA)
Presentation
Abstracts
Download herePDF

Agenda

November 27 Keynote Speech & Tutorials
9:35–
9:45
Welcome and Introduction

Dr. Takaaki Matsumoto
Executive Committee Chair (IPA)
9:45–
10:45
Tutorial 1
STAMP and STPA introduction

Dr. John Thomas
MIT(Massachusetts Institute of Technology)
DocumentPDF文書[3.94MB]
10:45–
11:45
Tutorial 2
STPA Exercise

Dr. John Thomas
MIT(Massachusetts Institute of Technology)
DocumentPDF文書[1.16MB]
11:45–
12:45
Break
12:45–
14:15
Keynote 1
Advanced STPA topics

Dr. John Thomas
MIT(Massachusetts Institute of Technology)
14:15–
14:30
Break
14:30–
15:30
Keynote 2
Situations of STAMP in Europe

Dr. Nektarios Karanikas
European STAMP Workshop Board
DocumentPDF文書[2.51MB]
15:30–
15:40
Break
15:40–
17:00
Integration of Security into CAST
Christoph Senn, Carmen Frischknecht, Benjamin Contreras, Sven Krauss
ZHAW(Zurich University of Applied Sciences)
OverviewPDF文書[120KB] DocumentPDF文書[4.8MB]

A Brief Survey of STAMP-based Hazard Analysis Tools
Keishi Okamoto
National Institute of Technology, Sendai College
OverviewPDF文書[233KB]

IPA/SEC will provide a STAMP based hazard analysis tool i-STAMP(code name)
Shogo Ishii 
IPA
OverviewPDF文書[165KB]
17:00–
17:20
Welcome Message

Dr. Shigeru Kusakabe
Program Committee
17:20–
18:00
STAMP tool Demo
i-STAMP(developing code)

IPA , Change Vision
November 28 Session
9:00–
10:50
Applying STAMP/STPA to project management focusing on motivation
Shigeru Kusakabe
University of Nagasaki
OverviewPDF文書[243KB]

Using STAMP/STPA focusing on “freedom from interference”
Shigeru Kusakabe
University of Nagasaki
OverviewPDF文書[235KB]

Review of STAMP/STPA case studies and explanation support of STPA process using GSN
Taito Akiyama
Nihon University
OverviewPDF文書[513KB]

Risk analysis of autonomous driving system using STAMP/STPA
- confluence on highway

Masatoshi Hori
Aichi Institute of Technology
OverviewPDF文書[320KB]

Risk Analysis of multi-purpose batch plants using STAMP/STPA
Shun Kondo
Nagoya Institute of Technology
OverviewPDF文書[57.5KB]
10:50–
11:00
Break
11:00–
12:30
STAMP/STPA Application Guide for Automotive
~From JASPAR Functional Safety WG Activity Result~

Yoshihiro Miyazaki
JASPAR
OverviewPDF文書[417KB]

STAMP/STPA with using system model
Takeo Hashimoto
Hitachi Industry & Control Solutions, Ltd.
OverviewPDF文書[389KB]

Prospect for availability of STAMP/STPA as safety analysis in international safety standards
Hisashi Yomiya
TOSHIBA CORPORATION
OverviewPDF文書[56.7KB]
12:30–
13:30
Break
13:30–
16:00
Safety Assessment of Closed-Loop Level Crossing Control Systems by Means of Systems-Theoretic Accident Model and Processes (STAMP)
Tetsuya Takata
Kyosan Electric Mfg.Co.,LTD.
OverviewPDF文書[56.6KB]

Application and extension of STAMP/STPA to Railway Signalling System
Yusuke Takano
East Japan Railway Company
OverviewPDF文書[234KB]

A Proposal of The Refinement STPA Guide Words on Human Factor of Supervisory Control Systems for Safety (Security) Analysis of Automated Vehicles
Yasuhiko Nagai
Hitachi, Ltd.
OverviewPDF文書[320KB]

Safety analysis of level crossing obstruction detecting system using STAMP/STPA method
Satoru Kitamura
East Japan Railway Company
OverviewPDF文書[305KB]

Safety requirement analysis of level crossing control system using STAMP/STPA method
Takashi Kunifuji
East Japan Railway Company
OverviewPDF文書[250KB]
16:00–
16:10
Break
16:10–
17:40
Hazard analysis for power assist bicycle/Comparison of STAMP/STPA and numerical simulation analysis
Shigeru Kanemoto
The university of Aizu
OverviewPDF文書[388KB]

The STAMP/STPA method of intentions and requirements description level
Hiroshi Nakamura
JFP Inc.
OverviewPDF文書[73.6B]

A Proposal to identify unsafe control actions in STAMP/STPA by simulation using State Transition Specification of Control Structure and guide word
Yasuko Fukuzawa
Osaka Institute of Technology
OverviewPDF文書[271KB]
November 29 Session
9:00–
11:30
An idea how to derive Process Models based on Extending STPA
Yuko Fukushima
Nihon Unisys Ltd.
OverviewPDF文書[56.9KB]

A Study on STAMP and HAZOP in IoT and deep learning application
Kiyoshi Ogawa
Nagoya Municipal Industrial Research Institute.
OverviewPDF文書[235KB] Verification of Cyber-Physical Systems Using STAMP / STPA
Yoshitaka Aoki
Nihon Unisys Ltd.
OverviewPDF文書[57.3KB] Suggestion of Risk Management Framework by using STAMP/STPA
Hoonhee Kim
Information Services International-Dentsu, Ltd.
OverviewPDF文書[690KB]

A rubber “STAMP” was analyzed using “STAMP” based Process Analysis
Hajime Tamanaha
OMRON Automotive Electronics Co.Ltd.
OverviewPDF文書[366KB]

11:30–
12:00
Closing Speech

Dr. Shigeru Kanemoto
Program Committee Chair

Poster