Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
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 |
2023-01-20 10:30 |
Ishikawa |
(Primary: On-site, Secondary: Online) |
A method for obtaining requirements and consensus building for new ideas in the vehicle system conceptual design using GSN Masahiro Watanabe (Mazda), Yutaka Matsuno (NU), Toshinori Takai (NAIST) KBSE2022-49 |
[more] |
KBSE2022-49 pp.34-39 |
KBSE |
2021-01-23 13:05 |
Online |
Online |
DevOps Assurance Cases for Autonomous Vehicles Systems Yudai Koike (Nihon Univ.), Manabu Okada (Tier4), Toshinori Takai (Change Vision), Takumi Okuma, Yutaka Matsuno (Nihon Univ.) KBSE2020-29 |
With the advancement of deep learning technologies, autonomous vehicle systems will be realized. However, due to the ind... [more] |
KBSE2020-29 pp.1-6 |
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 |
MSS, SS |
2019-01-15 15:20 |
Okinawa |
|
Towards a framework for computational reconciliation Toshinori Takai (NAIST) MSS2018-63 SS2018-34 |
[more] |
MSS2018-63 SS2018-34 pp.49-54 |
KBSE |
2016-03-04 14:30 |
Oita |
|
An effective method to share understandings about risks of consumer products Hidemitsu Yagi, Toshinori Takai, Hajimu Iida (NAIST) KBSE2015-65 |
For safety critical systems like avionics and railway systems, assuarance cases, some documents to share common understa... [more] |
KBSE2015-65 pp.97-102 |
KBSE |
2015-03-06 13:00 |
Tokyo |
The University of Electro-Communications |
A Proposal of Construction Method of Defeasible GSN Based on Persona
-- An Example of a Risk Case of introducing System Assurance -- Hiroki Izumikawa, Toshinori Takai (NAIST) KBSE2014-61 |
In this paper, we aim to construct more reasonable GSN, than general GSN which usually uses “positive” top goal, by mean... [more] |
KBSE2014-61 pp.55-58 |
KBSE |
2015-03-06 13:45 |
Tokyo |
The University of Electro-Communications |
A modular construction of arguments for assurance cases Toshinori Takai (NAIST), Hiroyuki Kido (utokyo), Yutaka Matsuno (uec) KBSE2014-62 |
Recently, developing safety-critical systems or software requires assurance
cases to describe arguments about risks. ... [more] |
KBSE2014-62 pp.59-64 |
KBSE |
2015-01-26 11:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A report of practical system assurance exercise Toshinori Takai (NAIST), Yutaka Matsuno (UEC) KBSE2014-40 |
We conducted an exercise called textit{system assurance}, which means a
justified confidence about risk-related prope... [more] |
KBSE2014-40 pp.7-11 |
KBSE |
2012-11-22 10:50 |
Ishikawa |
Kanazawa University |
A Writing Method for Assurance Cases Yutaka Matsuno (Nagoya Univ.), Toshinori Takai (Nara Inst.), Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-40 |
Assurance Cases have been recognized as a promising method for dependability assurance.
However, there has not been a ... [more] |
KBSE2012-40 pp.13-17 |
KBSE |
2011-09-21 13:45 |
Overseas |
Ocean Grand Hotel Jeju |
d* Framework: A proposal toward dependability case among actors Yutaka Matsuno (Univ of Tokyo), Toshinori Takai (AIST), Shuichiro Yamamoto (Nagoya Univ.) |
[more] |
|