| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| MSS, CAS, SIP, VLD | 2023-07-06 11:00 |
Hokkaido | (Primary: On-site, Secondary: Online) |
Lifetime improvement of Memristor-based Hyperdimensional Computing Inference Accelerator by Error Detection and Built-in Self Repair Tetsuro Iwasaki, Michihiro Shintani (KIT)  CAS2023-5 VLD2023-5 SIP2023-21 MSS2023-5 |
The implementation of hyperdimensional computing in memristors is expected to realize a highly efficient inferencer for ... [more] | CAS2023-5 VLD2023-5 SIP2023-21 MSS2023-5 pp.22-27 |
| KBSE | 2018-03-01 16:30 |
Okinawa | Trial and Evaluation of D-Case Workshop Yuto Onuma, Yutaka Matsuno (NU) KBSE2017-61 |
In recent years, cases have been occurring which impair the reliability of Japanese industries such as camouflage of ins... [more] | KBSE2017-61 pp.133-137 |
|
| KBSE | 2018-01-25 16:00 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Proposal on Model Based Dependability using ArchiMate Shuichiro Yamamoto (Nagoya Univ.) KBSE2017-35 |
Traditional assurance approaches independently develop assurance cases for architecture diagrams. This paper proposes a ... [more] | KBSE2017-35 pp.19-24 |
| R | 2017-12-15 15:30 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | An overview of IEC 62856 Open systems dependability
-- Consensus Building, Accountability Achievement, Failure Response and Change Accommodation -- Yoshiki Kinoshita, Makoto Takeyama (KU) R2017-59 |
IEC 62853 Open systems dependability, which is being developed by IEC TC56 at the stage of AFDIS (Approved for Final Dra... [more] | R2017-59 pp.19-23 |
| KBSE | 2017-01-24 11:30 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Trend and Issues on Assured Architecture Development Method for O-DA Shuichiro Yamamoto (Nagoya Univ.) KBSE2016-36 |
The O-DA (Open Dependability through Assuredness) is a The Open Group standard proposed by authors. O-DA standardizes ba... [more] | KBSE2016-36 pp.31-36 |
| KBSE | 2014-11-06 14:45 |
Kyoto | Doshisha Univ.(Kanbai-kan 3F, Muromachi Campus, Kyoto) | A Comparative capability analysis on the context description methods for CDM Masanori Matsumura, Shuji Morisaki, Noritoshi Atsumi, Shuichiro Yamamoto (Nagoya Univ.) KBSE2014-30 |
In case of describing D-Case diagrams based on CDM(Context Dependency Matrix), the system components as well as conditio... [more] | KBSE2014-30 pp.13-18 |
| KBSE | 2014-03-06 15:35 |
Okinawa | Okinawaken-Seinenkaikan | A consideration on method to assure business process with D-Case Kenta Murai, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-86 |
Business Process Modeling Notation (BPMN) is proposed as a notation to make it easy to understand and improve business p... [more] | KBSE2013-86 pp.43-48 |
| KBSE | 2014-03-07 13:45 |
Okinawa | Okinawaken-Seinenkaikan | A proposal of the D-Case review method by extracting word relationship Masanori Matsumura, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-95 |
(To be available after the conference date) [more] | KBSE2013-95 pp.97-102 |
| KBSE | 2013-09-12 16:30 |
Tokyo | The University of Electro-Communications | Consistency check of D-case (dependability case) produced from DFD (data flow diagram) Nada Olayan, Shuichiro Yamamoto, vaise Patu, Yutaka Matsuno (Nagoya Univ.) KBSE2013-44 |
After producing the D-case based on DFD, a question about the consistency of the produced D-case is raised. In this pape... [more] | KBSE2013-44 pp.47-52 |
| DC, CPSY (Joint) |
2013-08-01 17:30 |
Fukuoka | Kitakyushu-Kokusai-Kaigijyo | Assure-It: An Administration tool for Ensuring Runtime Synchronization of Assurance Cases Shunsuke Shida, Atsushi Uchida, Kimio Kuramitsu (Yokohama National Univ.) DC2013-19 |
In this study, we extend GSN, which is common notation of Assurance Cases, in order to use the idea of Runtime Synchroni... [more] | DC2013-19 pp.15-19 |
| KBSE | 2013-05-31 10:45 |
Kanagawa | Keio University | A consideration for on an experiment to extract terms of Dependability Case Masanori Matsumura, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-7 |
The Word Relationship Diagram (WRD) clarifies word relationship in the Dependability. However, we have not yet defined t... [more] | KBSE2013-7 pp.37-42 |
| KBSE | 2013-03-15 09:30 |
Tokyo | Shibaura Institute of Technology | A proposal on a rule to construct a word of Dependability Case Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-79 |
We reports examples of application evaluation and the discussion to evaluate usability of the rules to consistently iden... [more] | KBSE2012-79 pp.61-66 |
| KBSE | 2013-03-15 10:05 |
Tokyo | Shibaura Institute of Technology | A Consideration on Dependability Case decomposition patterns Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.) KBSE2012-80 |
Dependability case is attracted to assure system safety and availability. Categories of argumentation patterns to decomp... [more] | KBSE2012-80 pp.67-72 |
| KBSE | 2013-03-15 10:40 |
Tokyo | Shibaura Institute of Technology | Applying Techniques of Programming Languages to Assurance Case Tool Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-81 |
GSN (Goal Structuring Notation) is a graphical notation widely used to construct, which are required for the system assu... [more] | KBSE2012-81 pp.73-78 |
| KBSE | 2013-03-15 11:25 |
Tokyo | Shibaura Institute of Technology | A proposal on architecture based verification case Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-82 |
Although formal method is attracted to verify system correctness, it is not practical to verify every property of system... [more] | KBSE2012-82 pp.79-83 |
| KBSE | 2013-01-28 16:05 |
Tokyo | Kikai-Shinko-Kaikan Bldg | A Consideration on Introducing Responsibility Attributes to Dependability Case Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-61 |
Although dependability case is attracted to assure system safety and availability, methods and guidelines how to describ... [more] | KBSE2012-61 pp.19-24 |
| KBSE | 2013-01-29 11:15 |
Tokyo | Kikai-Shinko-Kaikan Bldg | A proposal on a rule to contact a word of Dependability Case Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-63 |
A few graphical notations for dependability cases have been proposed including GSN(Goal Structuring Notation). However, ... [more] | KBSE2012-63 pp.29-34 |
| KBSE | 2012-11-22 12:00 |
Ishikawa | Kanazawa University | A Proposal on Inference Method for Dependability Context Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-42 |
System assurance has become of great importance in many areas, and assurance cases have been used for assuring dependabi... [more] | KBSE2012-42 pp.25-30 |
| KBSE | 2012-11-23 11:10 |
Ishikawa | Kanazawa University | Application of D-Case to the data-upload flow diagram scenario of the Distributed E-Learning System called KISSEL Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-51 |
This paper (1) briefly describes and explain about the D-case technique and E-learning system (web portal) called KISSEL... [more] | KBSE2012-51 pp.79-83 |
| KBSE | 2012-11-23 12:30 |
Ishikawa | Kanazawa University | A Consideration on Introducing Responsibility Attributes to Dependability Case Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.) KBSE2012-52 |
Although dependability case is attracted to assure system safety and availability, methods and guidelines how to achieve... [more] | KBSE2012-52 pp.85-90 |
[Return to Top Page]