IEICE Technical Committee Submission System
Conference Schedule		 Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 12 of 12  /   
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
R 2018-10-26
15:05		 Tokyo Kikai-Shinko-Kaikan Bldg. Proposal of argument pattern with goal transformation of assurance case
Tsutomu Koshiyama (Nihon Univ.), Takai Toshinori (NAIST), Yutaka Matsuno, Sei Takahashi (Nihon Univ.) R2018-36		 (To be available after the conference date) [more] R2018-36
pp.13-18
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]
 Results 1 - 12 of 12  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

[Return to Top Page]

[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan