Japanese

Enabling digital transformations in industries and a society

  1. TOP
  2. Enabling digital transformations in industries and a society
  3. Materialization of reliability in complex systems
  4. 2nd STAMP Workshop in JAPAN

2nd STAMP Workshop in JAPAN

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

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)

  • 10:45–
    11:45

    Tutorial 2 STPA Exercise

    Dr. John Thomas
    MIT(Massachusetts Institute of Technology)

  • 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

  • 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)

    A Brief Survey of STAMP-based Hazard Analysis Tools

    Keishi Okamoto
    National Institute of Technology, Sendai College

    IPA/SEC will provide a STAMP based hazard analysis tool i-STAMP(code name)

    Shogo Ishii　
    IPA

  • 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

    Using STAMP/STPA focusing on “freedom from interference”

    Shigeru Kusakabe
    University of Nagasaki

    Review of STAMP/STPA case studies and explanation support of STPA process using GSN

    Taito Akiyama
    Nihon University

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

    Masatoshi Hori
    Aichi Institute of Technology

    Risk Analysis of multi-purpose batch plants using STAMP/STPA

    Shun Kondo
    Nagoya Institute of Technology

  • 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

    STAMP/STPA with using system model

    Takeo Hashimoto
    Hitachi Industry & Control Solutions, Ltd.

    Prospect for availability of STAMP/STPA as safety analysis in international safety standards

    Hisashi Yomiya
    TOSHIBA CORPORATION

  • 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.

    Application and extension of STAMP/STPA to Railway Signalling System

    Yusuke Takano
    East Japan Railway Company

    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.

    Safety analysis of level crossing obstruction detecting system using STAMP/STPA method

    Satoru Kitamura
    East Japan Railway Company

    Safety requirement analysis of level crossing control system using STAMP/STPA method

    Takashi Kunifuji
    East Japan Railway Company

  • 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

    The STAMP/STPA method of intentions and requirements description level

    Hiroshi Nakamura
    JFP Inc.

    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

November 29　Session

  • 9:00–
    11:30

    An idea how to derive Process Models based on Extending STPA

    Yuko Fukushima
    Nihon Unisys Ltd.

    A Study on STAMP and HAZOP in IoT and deep learning application

    Kiyoshi Ogawa
    Nagoya Municipal Industrial Research Institute.

    Verification of Cyber-Physical Systems Using STAMP / STPA

    Yoshitaka Aoki
    Nihon Unisys Ltd.

    Suggestion of Risk Management Framework by using STAMP/STPA

    Hoonhee Kim
    Information Services International-Dentsu, Ltd.

    A rubber “STAMP” was analyzed using “STAMP” based Process Analysis

    Hajime Tamanaha
    OMRON Automotive Electronics Co.Ltd.

  • 11:30–
    12:00

    Closing Speech

    Dr. Shigeru Kanemoto
    Program Committee Chair

Poster