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 |
RCC, ISEC, IT, WBS |
2024-03-13 09:15 |
Osaka |
Osaka Univ. (Suita Campus) |
Research on safety verification of Japanese stamp Uehara Asato (NTT-Me), Matsuzawa Yuito, Sugita Makoto (SUS) IT2023-75 ISEC2023-74 WBS2023-63 RCC2023-57 |
In recent years, machine learning has been used with high accuracy in the security field for handwriting appraisal and f... [more] |
IT2023-75 ISEC2023-74 WBS2023-63 RCC2023-57 pp.1-4 |
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 |
EMM, EA, ASJ-H |
2021-11-15 09:00 |
Online |
Online |
[Poster Presentation]
Speech Manipulation Detection Method Using Audio Watermarking
-- Frame Synchronization Method -- Kota Muroi, Kazuhiro Kondo (Yamagata Univ.) EA2021-33 EMM2021-60 |
The tampering detection method using digital watermarking in interrogation audio has a problem that many false positives... [more] |
EA2021-33 EMM2021-60 pp.37-42 |
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 |
HCS |
2020-03-04 13:30 |
Online |
Online Meeting |
[Online] The facilitation effects of the emotions by "LINE stamp" on chat communication. Takashi Yasuda (Matsuyama Shinonome Col.), Sachiko Takagi (Tokiwa Univ.) HCS2019-86 |
The purpose of this study was to examine the difference in the effect of communication between emoticon types (face-mark... [more] |
HCS2019-86 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 13:55 |
Wakayama |
|
Consideration of safety analysis application in railway signal system
-- Safety analysis using FMEA, STAMP and HAZOP -- Tomoki Kobayashi, Yukiko Sugimoto, Ryota Kouduki, Naohiro Morishima (Kyosan), Upvinder Singh, Maheshuni Shiva Krishna, Takeshi Mizuma (UTokyo) DC2019-79 |
Railway signal system design requires a safety analysis method suitable for large-scale and complex systems.Safety analy... [more] |
DC2019-79 pp.7-10 |
DC |
2019-12-20 14:20 |
Wakayama |
|
STAMP & FTA
-- Proposal of New Safety Evaluation Method using STAMP & FTA -- Upvinder Singh, Takeshi Mizuma (UTokyo), Hideo Nakamura (NU), Yukiko Sugimoto (Kyosan) DC2019-80 |
Modern railway signaling systems are becoming more and more complex with the increased use of software. Conventional saf... [more] |
DC2019-80 pp.11-15 |
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 |
DC |
2018-12-14 15:25 |
Okinawa |
Miyako Seisyonen-No-Ie |
Stydy on the safety evaluation using STAMP and FMEA/FTA in combination Yasunori Miyama, Keitg Ishikawa (Kyosan Electric MFG), Takeshi Mizuma (Tokyo UNV.) DC2018-65 |
FMEA/FTA, which is a conventional evaluation method, can extract failure modes and abnormal phenomena, calculate probabi... [more] |
DC2018-65 pp.37-40 |
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 |
COMP |
2016-04-22 10:20 |
Nara |
|
Checkpointing and Rollback Using Lamport Clocks for Hybrid P2P Systems Sen Moriya (Kindai Univ.) COMP2016-1 |
The author considers a rollback algorithm for hybrid P2P systems which consist of multiple peers and a single server. Th... [more] |
COMP2016-1 pp.1-8 |
CW (2nd) |
2013-03-11 |
Kanagawa |
|
A Stamp Rally System with Bingo Function Using a Mobile Phone. Akira Hattori, Tasuku Kobayashi, Haruo Hayami (KAIT) |
We developed a system for playing a bingo game using a mobile phone and a QR code. Our system combines a stamp rally and... [more] |
|
IA |
2012-10-19 14:30 |
Overseas |
Phuket |
Design and Implementation of File Authentication System using Timestamp Mechanism for a Distributed File System Tetsuya Ogaki (Univ. of Electro-Comm./NICT), Hidenobu Watanabe, Tsukasa Iwama, Mitsue Den, Ken T. Murata (NICT) IA2012-47 |
Gfarm, a distributed file system for a petabyte scale data intensive computing or a shared storage for big data, is grad... [more] |
IA2012-47 pp.79-84 |
NS |
2012-01-26 10:00 |
Okinawa |
Ryukyu University |
Development and Evaluation of FeliCa Stamp Rally Ver.2 System Takanori Takahashi, Shogo Hori, Ryoko Matsumoto, Hiroshi Kobayashi (Tokyo Denki Univ.) NS2011-149 |
FeliCa stump rally events, which are science and technology exhibitions for young people, have been held under the colla... [more] |
NS2011-149 pp.23-28 |