1st STAMP Workshop in Japan

• 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

yusyu Embedded Software Technology Consortium (QUEST)

December 5-7, 2016

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

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

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

• Details here(PDF:202 KB)

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

John Thomas
MIT

• Software IV&V and STAMP(Japanese)(PDF:1.1 MB)

Nobuyuki Hoshino
Japan Manned Space Systems Corp. (JAMSS)

• Research Issues for integrating System Theory and Assurance Case(Japanese)(PDF:1.1 MB)

Shuichiro Yamamoto
Nagoya University

• Safety of Socio-Technical Systems and Resilience Engineering(Japanese)(PDF:1.7 MB)

Masaharu Kitamura
Research Institute for Technology Management Strategy (TeMS)

• STAMP and FRAM(Japanese)(PDF:1.4 MB)

Hideki Nomoto
Japan Manned Space Systems Corp. (JAMSS)

• STAMP modeling of greenhouse control(Japanese)(PDF:933 KB)

• Daisaku Arita, University of Nagasaki
• Shigeru Kusakabe, University of Nagasak

• Trial to apply STAMP/STPA-sec for mitigating damage of an intranet from targeted attacks(Japanese)(PDF:1.2 MB)

• Masahiko Kato, University of Nagasaki
• Shigeru Kusakabe, University of Nagasaki

• Safety thinking for complex system design based on STAMP/STPA(Japanese)(PDF:1.2 MB)

• Shigeru Kanemoto, School of Computer Science and Engineering, University of Aizu

• A Trial of STAMP/STPA in ET Robot Contest and Design and Implementation of Web-based STPA tool(Japanese)(PDF:3.2 MB)

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

• A case study on applying STAMP/STPA to a two-wheel-pendulum of ET Robot Contest(Japanese)(PDF:446 KB)

• Fuga Ohtomo*, Yutaro Kikuchi*, Katsuaki Rikitake*, Keishi Okamoto*
• *National Institute of Technology, Sendai College

• Safety Analysis of Aquatic Segway, “MINAMO”, using STAMP/STPA(Japanese)(PDF:820 KB)

• Masanori Seino*, Shigeru Kanemoto*
• *School of Computer Science and Engineering, University of Aizu

• Examination of STAMP/STPA for health support system using ID card size sensor (Japanese)(PDF:4.3 MB)

• Ryousuke Kobayashi, Graduate School of Aichi Institute of Technology
• Nobuyuki Ito, Mitsubishi Electric Engineering
  Katsuhiro Naito*, Tadanori Mizuno*, Naoya Chujo*
• *Aichi Institute of Technology

• STPA for human-machine interaction system using two-wheel-pendulum(Japanese)(PDF:1.3 MB)

Chiharu Sasaki
Software Reliability Enhancement Center (SEC)
Information-technology Promotion Agency, Japan (IPA)

• A Study of Applying STAMP/STPA to an Enterprise System(Japanese)(PDF:1.1 MB)

Akira Mukaiyama, NEC

• Trial which applied STAMP to software fault of embedded system different from control system(Japanese)(PDF:2.3 MB)

Yutaka Hada
Quality Promotion Division Software Engineering Center, NEC Communication Systems, Ltd..

• STAMP / STPA analysis on functional specification of Level Crossing Control in the Station Logic Control Device(Japanese)(PDF:1.8 MB)

Rihito Aman
R&D Center of JR East Group Advanced Railway System Development Center

• A proposal for "hint words" to identify hazard causal factors for systems including human(Japanese)(PDF:543 KB)

Yukihiro Mihara
Software Reliability Enhancement Center (SEC)
Information-technology Promotion Agency, Japan (IPA)

• Quantitative assessment by means of STAMP and how to use STAMP in product development processes (Japanese)(PDF:1.6 MB)

Tetsuya Takata
Development Center Kyosan Electric Mfg.Co.,LTD.

• Extending STPA trial for identifying UCA(Japanese)(PDF:372 KB)

Yuko Fukushima
Technology Research & Innovation Nihon Unisys, Ltd.

• Verification Using Model Checking Technique in STAMP/STPA(Japanese)(PDF:522 KB)

Yoshitaka Aoki
Technology Research & Innovation Nihon Unisys, Ltd.