Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
ICM |
2024-03-22 15:05 |
Okinawa |
Okinawa Prefectural Museum and Art Museum (Primary: On-site, Secondary: Online) |
An integrated analysis on safety and security for an access point selection system in heterogeneous wireless network services Riku Murata, Norihiko Shinomiya (Soka Univ.) ICM2023-61 |
The proliferation of mobile terminals and the increase in the amount of data traffic can make it difficult for users to ... [more] |
ICM2023-61 pp.83-88 |
SS, MSS |
2024-01-17 13:50 |
Ishikawa |
(Primary: On-site, Secondary: Online) |
A Proposal of Argument Structure Clarification Method for Reviewing Analysis Results of STPA Kazuki Kakimoto, Toshinori Takai, Hajimu Iida (NAIST) MSS2023-54 SS2023-33 |
We propose a method to clarify the process of analysis of information whose derivation process is not clear in the analy... [more] |
MSS2023-54 SS2023-33 pp.13-18 |
KBSE |
2020-03-06 13:30 |
Okinawa |
Tenbusu-Naha (Cancelled but technical report was issued) |
A Method to Analyze the Proximate States to Hazards Based-on State Transition System for Supporting Safety Analysis Yusuke Suzuki, Shinpei Ogata, Yutaro Ohike (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-47 |
STAMP (System-Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) supports system developer... [more] |
KBSE2019-47 pp.7-12 |
SS |
2020-03-05 12:05 |
Okinawa |
(Cancelled but technical report was issued) |
An Approach of Deriving Hazard Transition Series by Cooperation of STAMP/STPA and Model Checking Pan Yang, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.) SS2019-56 |
The demand for research on the hazard analysis of information systems and the construction of countermeasures have been ... [more] |
SS2019-56 pp.93-98 |
KBSE |
2020-01-25 13:55 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
CC-CASE: SAFETY& SECURITY ENGINEERING METHODOLOGY FOR AI/IOT Tomoko Kaneko, Nobukazu Yoshioka (NII) KBSE2019-42 |
We aim to develop a safe and secure development methodology for complex systems in the AI / IoT era. We will show a new ... [more] |
KBSE2019-42 pp.25-30 |
DC |
2019-12-20 14:45 |
Wakayama |
|
Examination of safety evaluation method of railway signal system
-- Combined use of FMEA, FTA and STPA -- Yukiko Sugimoto, Tomoki Kobayashi, Ryota Kouzuki, Naohiro Morishima (Kyosan), Takeshi Mizuma, Upvinder Singh, Maheshuni Shiva Krishna (Univ. of Tokyo) DC2019-81 |
The safety evaluation method for railway signal systems was examined and it was judged that the combination use of FMEA,... [more] |
DC2019-81 pp.17-20 |
SSS |
2019-06-25 15:15 |
Tokyo |
|
Application of STAMP/STPA to railway signalling system Yusuke Takano, Takashi Kawano (JRE) SSS2019-10 |
At present, FTA and FMEA are often used as a safety analysis method and are effective in many cases. In the case of a so... [more] |
SSS2019-10 pp.13-16 |
SSS |
2019-06-25 15:50 |
Tokyo |
|
STAMP/STPA Analysis of Train Approach Warning System and Safety 2.0 Satoru Kitamura, Koji Sugiura, Takashi Kawano (JR East) SSS2019-11 |
JR East has introduced a train approach warning system using GPS. The safety analysis of this system was conducted by co... [more] |
SSS2019-11 pp.17-20 |
SS |
2019-03-04 17:10 |
Okinawa |
|
Formal STAMP Modelling toward Safety Verification of Hybrid Systems Mitsuaki Tsuji, Toshinori Takai (NAIST), Masafumi Katahira, Naoki Ishihama (JAXA), Kazuki Kakimoto, Hajimu Iida (NAIST) SS2018-67 |
Safety-critical systems, for example, autonomous vehicles and space systems, are required to be safe and reliable. Recen... [more] |
SS2018-67 pp.91-96 |
SS |
2018-03-06 11:30 |
Okinawa |
|
Model Checking Application to the Railway Crossing Problem for STAMP/STPA using Timed Automaton Kozo Okano, Shinpei Ogata, Pan Yang (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.) SS2017-64 |
Recent rapid growth of information systems makes us
pay attention to methods for analysis of accident causation
and pr... [more] |
SS2017-64 pp.1-6 |
SSS |
2017-06-20 15:50 |
Tokyo |
|
A consideration about STAMP safety analysis method for railway signalling software Akimasa Okada, Rihito Aman, Takashi Kunifuji (JR East) SSS2017-11 |
At present, FTA and FMEA are often used as a safety analysis method and are effective in many cases. In the case of a so... [more] |
SSS2017-11 pp.19-23 |