1st STAMP Workshop in Japan

Organizer: Kyusyu University

Information Technology Promotion Agency, Japan (IPA)

Japan Manned Space System Corporation (JAMSS)

Japan Embedded System Association (JASA)

Japan Management of Technology (MOT) Society
Sponsorship: yusyu Embedded Software Technology Consortium (QUEST)
Date: December 5-7, 2016
Venue: December 5, 2016

Innamori Center, Kyusyu University (Ito Campus, 744 Motooka, Nishi-ku, Fukuoka-

December 6-7, 2016

West New Plaza, Kyusyu University (2-16-23 Nishishin, Sawara-ku, Fukuoka-shi)
Executive Committee Members: Chair: Keijiro Araki (Kyusyu University)

Member: Shigeru Kusakabe (University of Nagasaki), Shigeru Kanemoto (University of Aizu), Hideki Nomoto (JAMSS), Nobuyuki Hoshino (JAMSS), Keishi Okamoto (National Institute of Technology, Sendai College), Hiroshi Nakamura (Rentacoarch), Yukihiro Mihara (IPA/SEC), Shogo Ishii (IPA/SEC)
Steering Committee Members: Chair: Keijiro Araki(Kyusyu University)

Member: Shigeru Kusakabe (University of Nagasaki), Shigeru Kanemoto (University of Aizu), Hideki Nomoto (JAMSS), Nobuyuki Hoshino (JAMSS), Keishi Okamoto (National Institute of Technology, Sendai College), Hiroshi Nakamura (Rentacoarch), Yukihiro Mihara (IPA/SEC), Shogo Ishii (IPA/SEC)
Agenda: Details here(PDF:202 KB)

document download

Title/Download: STAMP/STPA Beginner Introduction(PDF:3.0 MB)

STAMP/STPA Intermediate Tutorial(PDF:607 KB)

STPA Applied to Automotive Automated Parking Assist(PDF:691 KB)
Speaker: John Thomas
MIT

Title/Download: Research Issues for integrating System Theory and Assurance Case(Japanese)(PDF:1.1 MB)
Speaker: Shuichiro Yamamoto
Nagoya University

Title/Download: Safety of Socio-Technical Systems and Resilience Engineering(Japanese)(PDF:1.7 MB)
Speaker: Masaharu Kitamura
Research Institute for Technology Management Strategy (TeMS)

Title/Download: STAMP modeling of greenhouse control(Japanese)(PDF:933 KB)
Speaker: Daisaku Arita, University of Nagasaki

Shigeru Kusakabe, University of Nagasak

Title/Download: Trial to apply STAMP/STPA-sec for mitigating damage of an intranet from targeted attacks(Japanese)(PDF:1.2 MB)
Speaker: Masahiko Kato, University of Nagasaki

Shigeru Kusakabe, University of Nagasaki

Title/Download: Safety thinking for complex system design based on STAMP/STPA(Japanese)(PDF:1.2 MB)
Speaker: Shigeru Kanemoto, School of Computer Science and Engineering, University of Aizu

Title/Download: A Trial of STAMP/STPA in ET Robot Contest and Design and Implementation of Web-based STPA tool(Japanese)(PDF:3.2 MB)
Speaker: Junro Abe*, Yuya Furukawa*, Keishi Okamoto**, Yutaka Matsuno*

*Department of Computer Engineering, College of Science and Technology, Nihon University

** National Institute of Technology, Sendai College

Title/Download: A case study on applying STAMP/STPA to a two-wheel-pendulum of ET Robot Contest(Japanese)(PDF:446 KB)
Speaker: Fuga Ohtomo*, Yutaro Kikuchi*, Katsuaki Rikitake*, Keishi Okamoto*

*National Institute of Technology, Sendai College

Title/Download: Safety Analysis of Aquatic Segway, “MINAMO”, using STAMP/STPA(Japanese)(PDF:820 KB)
Speaker: Masanori Seino*, Shigeru Kanemoto*

*School of Computer Science and Engineering, University of Aizu

Title/Download: Examination of STAMP/STPA for health support system using ID card size sensor (Japanese)(PDF:4.3 MB)
Speaker: Ryousuke Kobayashi, Graduate School of Aichi Institute of Technology

Nobuyuki Ito, Mitsubishi Electric Engineering
Katsuhiro Naito*, Tadanori Mizuno*, Naoya Chujo*

*Aichi Institute of Technology

Title/Download: STPA for human-machine interaction system using two-wheel-pendulum(Japanese)(PDF:1.3 MB)
Speaker: Chiharu Sasaki
Software Reliability Enhancement Center (SEC)
Information-technology Promotion Agency, Japan (IPA)

Title/Download: A Study of Applying STAMP/STPA to an Enterprise System(Japanese)(PDF:1.1 MB)
Speaker: Akira Mukaiyama, NEC

Title/Download: Trial which applied STAMP to software fault of embedded system different from control system(Japanese)(PDF:2.3 MB)
Speaker: Yutaka Hada
Quality Promotion Division Software Engineering Center, NEC Communication Systems, Ltd..

Title/Download: STAMP / STPA analysis on functional specification of Level Crossing Control in the Station Logic Control Device(Japanese)(PDF:1.8 MB)
Speaker: Rihito Aman
R&D Center of JR East Group Advanced Railway System Development Center

Title/Download: A proposal for "hint words" to identify hazard causal factors for systems including human(Japanese)(PDF:543 KB)
Speaker: Yukihiro Mihara
Software Reliability Enhancement Center (SEC)
Information-technology Promotion Agency, Japan (IPA)

Title/Download: Quantitative assessment by means of STAMP and how to use STAMP in product development processes (Japanese)(PDF:1.6 MB)
Speaker: Tetsuya Takata
Development Center Kyosan Electric Mfg.Co.,LTD.

Title/Download: Extending STPA trial for identifying UCA(Japanese)(PDF:372 KB)
Speaker: Yuko Fukushima
Technology Research & Innovation Nihon Unisys, Ltd.

Title/Download: Verification Using Model Checking Technique in STAMP/STPA(Japanese)(PDF:522 KB)
Speaker: Yoshitaka Aoki
Technology Research & Innovation Nihon Unisys, Ltd.