Font Size Change

HOMESoftware Reliability EnhancementSEC's activitiesComplex Systems1st STAMP Workshop in Japan

PRINT PAGE

Software Reliability Enhancement

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 Kyusyu Embedded Software Technology Consortium (QUEST)
Date December 5-7, 2016
VenueDecember 5, 2016
Innamori Center, Kyusyu University (Ito Campus, 744 Motooka, Nishi-ku, Fukuoka-shi)

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 herePDF文書

document download

Keynote speech/Invited lecture
Title/Download Speaker
STAMP/STPA Beginner IntroductionPDF文書
STAMP/STPA Intermediate Tutorial PDF文書
STPA Applied to Automotive Automated Parking AssistPDF文書
John Thomas
MIT
Software IV&V and STAMPPDF文書(Japanese) Nobuyuki Hoshino
Japan Manned Space Systems Corp. (JAMSS)
Research Issues for integrating System Theory and Assurance CasePDF文書(Japanese)
Shuichiro Yamamoto
Nagoya University
Invited lecture
Title/Download Speaker
Safety of Socio-Technical Systems and Resilience EngineeringPDF文書(Japanese) Masaharu Kitamura
Research Institute for Technology Management Strategy (TeMS)
STAMP and FRAMPDF文書(Japanese) Hideki Nomoto
Japan Manned Space Systems Corp. (JAMSS)
STAMP Short session and General Lecture session
Title/Download Speaker
STAMP modeling of greenhouse controlPDF文書(Japanese) Daisaku Arita, University of Nagasaki
Shigeru Kusakabe, University of Nagasaki
Trial to apply STAMP/STPA-sec for mitigating damage of an intranet from targeted attacksPDF文書(Japanese)
Masahiko Kato, University of Nagasaki
Shigeru Kusakabe, University of Nagasaki
Safety thinking for complex system design based on STAMP/STPAPDF文書(Japanese)
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 toolPDF文書(Japanese)
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 ContestPDF文書(Japanese)
Fuga Ohtomo*, Yutaro Kikuchi*, Katsuaki Rikitake*, Keishi Okamoto*

*National Institute of Technology, Sendai College
Safety Analysis of Aquatic Segway, “MINAMO”, using STAMP/STPAPDF文書(Japanese)
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 PDF文書(Japanese)
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-pendulumPDF文書(Japanese)
Chiharu Sasaki
Software Reliability Enhancement Center (SEC)
Information-technology Promotion Agency, Japan (IPA)
A Study of Applying STAMP/STPA to an Enterprise SystemPDF文書(Japanese)
Akira Mukaiyama, NEC
Trial which applied STAMP to software fault of embedded system different from control systemPDF文書(Japanese)
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 DevicePDF文書(Japanese)
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 humanPDF文書(Japanese)
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 processesPDF文書 (Japanese)
Tetsuya Takata
Development Center Kyosan Electric Mfg.Co.,LTD.
Extending STPA trial for identifying UCAPDF文書(Japanese)
Yuko Fukushima
Technology Research & Innovation Nihon Unisys, Ltd.
Verification Using Model Checking Technique in STAMP/STPA PDF文書(Japanese)
Yoshitaka Aoki
Technology Research & Innovation Nihon Unisys, Ltd.