| 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 # | |
| KBSE | 2023-01-20 11:15 |
Ishikawa | (Primary: On-site, Secondary: Online) |
An Assurance Case Approach for Analyzing Functional Resonance Shuichiro Yamamoto (IPUT in Nagoya)  KBSE2022-50 |
Functional Resonance Analysis (FRAM) is known as a technique for analyzing complex socio-technical systems, which graphi... [more] | KBSE2022-50 pp.40-45 |
| 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 |
| 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 |
| 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 |
| KBSE | 2017-01-24 10:00 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | A GSN development approach for Feature models Hiroyuki Utsunomiya, Shuichiro Yamamoto (Nagoya Univ.) KBSE2016-34 |
The feature model was known to reuse components for developing similar embedded software. However, the assurance method ... [more] | KBSE2016-34 pp.19-24 |
| KBSE | 2016-11-04 10:45 |
Nagano | Nagano-Engineering Campus, Shinshu University | D-Case: a Consensus Building Method using GSN with Stakeholders Ryuya Ishizu, Yutaka Matsuno (Nihon Univ.) KBSE2016-24 |
Recently, assurance cases have been getting attention as a method for system assurance. However, conventional descriptio... [more] | KBSE2016-24 pp.1-6 |
| KBSE | 2016-03-04 13:10 |
Oita | A Proposal on the Assurance case Capability Index Shuichiro Yamamoto (Nagoya Univ.) KBSE2015-63 |
The appropriate introduction of methods and education materials on the assurance case is difficult for the organizations... [more] | KBSE2015-63 pp.85-90 |
|
| 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-10-30 10:45 |
Tokyo | Nihon Univ. (Surugadai Campus) | Input Analysis Method for Assuring Code Ryouta Miyabayashi, Noritoshi Atsumi, Shuji Morisaki, Shuichiro Yamamoto (Nagoya Univ) KBSE2015-39 |
The vulnerability of software security is often caused by invalid input. To confirm the dependability of software, the... [more] |
KBSE2015-39 pp.17-22 |
| KBSE | 2015-05-26 10:45 |
Tokyo | Research Issues on the Assurance Cases for Software Product Lines Shuichiro Yamamoto (Nagoya Univ.) KBSE2015-8 |
Based on the Product Line Engineering, research issues on assurance cases for software product line by comparing feature... [more] | KBSE2015-8 pp.39-44 |
|
| KBSE | 2015-03-05 16:40 |
Tokyo | The University of Electro-Communications | A Proposal on Evaluating Architecture using Assurance cases with Attributes Shuichiro Yamamoto (Nagoya Univ.) KBSE2014-59 |
The NFR framework was used to quantitatively evaluate software architectures. Assurance cases using GSN have not applied... [more] | KBSE2014-59 pp.43-48 |
| KBSE | 2014-11-06 15:30 |
Kyoto | Doshisha Univ.(Kanbai-kan 3F, Muromachi Campus, Kyoto) | A consideration on a method to assure the business architecture in ArchiMate by using assurance cases Kenta Murai, Shuichiro Yamamoto (Nagoya Univ.) KBSE2014-31 |
ArchiMate is a modeling language to describe the architecture of business layer, application layer, and technology hiera... [more] | KBSE2014-31 pp.19-24 |
| KBSE | 2013-09-13 15:00 |
Tokyo | The University of Electro-Communications | A classification method in identifying security patterns for a dependable Security Case
-- From Security Patterns to D-Case -- Vaise Patu, Nada Olayan, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-52 |
Today's software systems are facing new and complicated challenges in confronting with security issues. There are lots o... [more] | KBSE2013-52 pp.91-96 |
| 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-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-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 | 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 | 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 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]