| 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, SC | 2019-11-09 10:45 |
Nagano | Shinshu University | Consideration of system assurance on real IT system development project Takuya Saruwatari, Misao Yano, Hiroshi Oyama (NTT DATA) KBSE2019-34 SC2019-31 |
Many individual considerations to assure the system are occurred in IT system development project. In this paper, we inv... [more] | KBSE2019-34 SC2019-31 pp.65-70 |
| SANE | 2018-11-09 09:10 |
Overseas | China (Xuchang) | Initial Analysis of Impact of DME Ranging Error Caused by Propagation Issue on Integrity Assurance Atsushi Kezuka, Takayuki Yoshihara, Naoki Fujii (ENRI) SANE2018-82 |
GNSS which is used for aircraft navigation is vulnerable because GNSS signals from the satellite are weak. Construction ... [more] | SANE2018-82 pp.133-136 |
| 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 |
| ET | 2017-11-11 16:40 |
Tokyo | Sophia Univ. | Analysis of Latent Needs for IT Consultation within a University using a Topic Model Yusuke Kometani, Takashi Satoh (The Univ. of Kitakyushu) ET2017-66 |
When trouble comes, we often try to implement a workaround as a temporal solution. This approach is generally useless to... [more] | ET2017-66 pp.69-74 |
| 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 | 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 | 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 |
|
| ET | 2015-11-20 13:30 |
Chiba | Kisarazu College | [Invited Talk]
Proposing a new Postgraduate Program for Faculty Development for the Globalization of Engineering Education Madhumita Bhattacharya, Steven J Coombs (Tokyo Tech) ET2015-63 |
This research describes the process of designing a faculty development program for enabling globalization of engineering... [more] | ET2015-63 pp.25-28 |
| 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 | 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-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 | 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 |
[Return to Top Page]